Aula 11 - Os Elementos da Lógica de Primeira Ordem
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
ATENÇÃO: os tempos das transições entre trechos desta aula ainda não estão perfeitamente calibrados. O vídeo pode começar alguns segundos antes ou depois. Use as setas do teclado para avançar ou retroceder.
Situo os alunos no encerramento do estudo da lógica verofuncional e apresento a motivação para irmos além. Explico que iniciaremos o estudo da Lógica de Primeira Ordem (LPO), um sistema mais poderoso que nos permitirá simbolizar estruturas do português que a lógica proposicional não alcança.
[02:31] – Os Limites da Lógica Verofuncional: O Exemplo de Samir
Utilizo um argumento intuitivamente válido ("Samir é um lógico; todos os lógicos usam chapéus ridículos; portanto, Samir usa chapéu ridículo") para mostrar a falha da lógica verofuncional. Demonstro que, na LVF, esse argumento é simbolizado como três sentenças atômicas distintas, resultando em uma forma inválida.
[07:50] – "Dividindo o Átomo": A Necessidade de Olhar Dentro da Sentença
Explico que a discrepância entre a validade intuitiva e a simbolização na LVF indica que precisamos olhar para a estrutura formal interna das sentenças. Apresento a LPO como a linguagem que nos permite "dividir o átomo" das sentenças simples em nomes, predicados e quantificadores.
[10:56] – Termos Singulares: Descrições e Nomes Próprios
Defino termos singulares como expressões que se referem a indivíduos específicos. Diferencio termos gerais (como "cachorro") de termos singulares, que podem ser descrições ("o cachorro do Felipe") ou nomes próprios ("Beto").
[13:33] – Nomes na LPO e a Ausência de Ambiguidade
Estabeleço a convenção para nomes na LPO: letras minúsculas de a até r, possivelmente com índices. Ressalto que, ao contrário do português, onde existem homônimos, na LPO um nome (constante individual) refere-se a exatamente um único indivíduo, sem ambiguidades.
[17:10] – Predicados: Expressões Insaturadas
Apresento os predicados como expressões que atribuem propriedades a termos singulares. Caracterizo-os como expressões "incompletas" ou "insaturadas" que possuem lacunas a serem preenchidas por nomes para formar sentenças completas.
[21:41] – Representação de Predicados e Variáveis
Explico como simbolizamos predicados usando letras maiúsculas seguidas de variáveis (x, y, z) que indicam o lugar vazio. Mostro que a combinação de um predicado com um termo singular (nome) resulta em uma sentença atômica da LPO.
[28:11] – Chave de Simbolização na LPO
Demonstro como ampliar a chave de simbolização para incluir nomes e predicados. Utilizo exemplos práticos (como "Emília está brava") para ilustrar a aplicação de predicados a constantes individuais, integrando também os conectivos da LVF (negação, conjunção, condicional).
[32:44] – O Quantificador Universal (∀)
Introduzo o símbolo ∀ para representar a ideia de "todos". Explico que o quantificador universal deve vir acompanhado de uma variável (ex: ∀xA(x)), significando que "para todo x, x possui a propriedade A" ou, de forma simplificada, "todos são A".
[37:43] – O Quantificador Existencial (∃)
Apresento o símbolo ∃ para expressar "alguém" ou "existe ao menos um". Demonstro a leitura formal "existe um x tal que x é A", destacando que na lógica o "existe" admite a possibilidade de haver mais de um indivíduo com a propriedade.
[40:50] – Exemplos de Sentenças Quantificadas Complexas
Analiso como simbolizar sentenças como "Ninguém está bravo" ou "Nem todos estão alegres". Explico o método das paráfrases para encontrar a forma lógica mais clara, mostrando equivalências entre negações e quantificadores.
Abordo um elemento fundamental da comunicação: o domínio do discurso. Explico que a palavra "todos" raramente se refere a tudo no universo, mas sim a um conjunto restrito (ex: "todos os alunos desta sala"). Reforço que o domínio deve ser explicitado na chave de simbolização.
[51:35] – Restrições dos Domínios e dos Nomes
Finalizo com duas regras técnicas essenciais: o domínio do discurso nunca pode ser vazio e cada nome na LPO deve referir-se a exatamente um elemento presente dentro desse domínio.
[53:50] – Orientações Finais e Leitura
Encerro a aula recomendando a leitura atenta do Capítulo 15 do livro, ressaltando que a linguagem da LPO é mais visual e gráfica, tornando-se mais clara na leitura do papel do que na fala.