Aula 7 - A Semântica da Lógica Verofuncional
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
Situo os alunos na transição do estudo da sintaxe (gramática) para a semântica da Lógica Verofuncional (LVF). Estabeleço como objetivo central a compreensão da ideia de verofuncionalidade e como as tabelas de verdade definem o significado dos operadores lógicos.
[02:06] – Semântica vs. Sintaxe
Defino semântica em oposição à sintaxe: enquanto a sintaxe lida com as regras de formação e estrutura simbólica, a semântica estuda o significado das expressões. Utilizo exemplos para mostrar que uma frase pode ser gramaticalmente correta, mas semântica ou informativamente vazia.
[04:17] – Significado na LVF e no Português
Atribuo significados aproximados aos elementos da LVF: as letras sentenciais representam fatos simples, enquanto as sentenças compostas representam fatos complexos. Esclareço que os nomes dos operadores (não, e, ou, se... então) são apenas aproximações pedagógicas para o processo de simbolização.
[08:39] – Influência de Wittgenstein e o Conceito de Fato
Esclareço a inspiração no Tractatus Logico-Philosophicus de Ludwig Wittgenstein. Explico o uso do termo "fato" como um aspecto de uma situação (um estado de coisas possível), diferenciando-o levemente do jargão técnico original do autor.
[11:21] – Limitações da LVF: O Olhar para dentro do Fato
Comparo o português com a LVF para destacar que a lógica é propositalmente cega aos detalhes internos dos fatos. Enquanto a língua natural particulariza as partes de um acontecimento, a LVF trata os fatos simples como unidades básicas não analisáveis.
[14:10] – Relações Verofuncionais entre Fatos
Identifico que, entre infinitas relações possíveis (causa, tempo, importância), a lógica foca apenas naquelas que dependem exclusivamente da ocorrência ou não dos fatos componentes. Demonstro que o valor de verdade de uma sentença composta é determinado apenas pelos valores de suas partes.
[27:18] – Valor de Verdade e a Natureza da LVF
Introduzo formalmente o conceito de valor de verdade (Verdadeiro ou Falso). Explico que, para a LVF, a única característica relevante de uma sentença é o seu valor de verdade, o que justifica o nome "verofuncional".
[31:04] – Analogia com a Aritmética
Utilizo a adição como analogia para explicar as funções de verdade. Assim como a soma toma números e devolve um resultado numérico, os operadores lógicos tomam valores de verdade e devolvem um novo valor de verdade como resultado.
[35:04] – Tabela de Verdade: Negação
Apresento a tabela característica da negação (¬). Demonstro que sua função semântica é a inversão sistemática: se a sentença original é verdadeira, a negada é falsa, e vice-versa.
[36:34] – Tabela de Verdade: Conjunção
Explico a semântica da conjunção (∧), que é verdadeira se, e somente se, ambos os conjuntos forem verdadeiros. Destaco que a conjunção é uma operação simétrica, permitindo a inversão da ordem das sentenças sem alteração do resultado.
[39:37] – Tabela de Verdade: Disjunção Inclusiva
Detalho a disjunção (∨), que é verdadeira quando ao menos um dos disjuntos é verdadeiro. Reforço que o operador padrão da LVF é o "ou" inclusivo e que esta operação também é simétrica.
[41:31] – Tabela de Verdade: Condicional
Analiso a tabela do condicional (→), o operador mais complexo. Explico que ele é falso apenas no caso de o antecedente ser verdadeiro e o consequente ser falso. Utilizo exemplos de promessas para justificar por que o condicional é considerado verdadeiro quando o antecedente é falso, e mostro que ele não é simétrico.
[51:05] – Tabela de Verdade: Bicondicional
Apresento o bicondicional (↔), cuja verdade depende da identidade dos valores de verdade das partes envolvidas. Mostro que ele funciona como um condicional de ida e volta e é uma operação simétrica.
[53:21] – Conflitos entre Lógica e Linguagem Natural
Discuto as dificuldades de aplicação da LVF no português cotidiano. Abordo nuances como a temporalidade oculta no "e", o uso exclusivo do "ou" em cardápios e as esquisitices dos condicionais contrafactuais (subjuntivos), alertando para os limites do sistema verofuncional.
[1:02:02] – Conclusão e Próximos Passos
Finalizo a aula preparando o terreno para a próxima semana, onde aprenderemos as técnicas para construir tabelas de verdade de sentenças complexas e aplicar esses conceitos para avaliar a validade dos argumentos de forma definitiva.