Aula 12 - As Proposições Categóricas
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 na tarefa de simbolizar sentenças do português para a Lógica de Primeira Ordem (LPO). Ressalto que a utilidade da lógica depende da nossa capacidade de fazer essa ponte com o mundo real, um processo que exige bom senso e prática, já que a LPO é essencialmente uma linguagem escrita.
[03:10] – Construção da Chave de Simbolização
Explico que, antes de simbolizar, precisamos definir o domínio do discurso (neste exemplo, todas as moedas) e os predicados relevantes (estar no bolso, estar na mesa, ser de 50 centavos ou de 10 centavos). Mostro que a escolha das letras para os predicados (P(x), M(x), C(x), D(x)) serve como auxílio mnemônico.
[06:11] – Proposição Universal Afirmativa (Tipo A)
Analiso a sentença "Todas as moedas no meu bolso são de 50 centavos". Demonstro que a simbolização correta exige o quantificador universal e o condicional (∀x(P(x) → C(x))). Alerto para o erro comum de usar a conjunção (∧), o que implicaria que todas as moedas do mundo estariam no meu bolso.
[11:27] – Regra Geral para Proposições do Tipo A
Estabeleço a regra para sentenças do tipo "Todo F é G". Explico que elas devem ser simbolizadas como ∀x(F(x) → G(x)), tratando o primeiro predicado como antecedente e o segundo como consequente do condicional.
[13:46] – Proposição Particular Afirmativa (Tipo I)
Examino a sentença "Alguma moeda sobre a mesa é de dez centavos". Proponho a paráfrase "Existe uma moeda que está sobre a mesa E é de dez centavos", resultando na forma ∃x(M(x) ∧ D(x)). Explico por que, neste caso, o uso do condicional seria inadequado devido às condições de verdade da LPO.
[17:16] – Regra Geral para Proposições do Tipo I
Sistematizo a simbolização para "Algum F é G" como ∃x(F(x) ∧ G(x)). Reforço que sentenças particulares afirmativas afirmam a existência de ao menos um indivíduo que satisfaz ambos os predicados simultaneamente.
[18:57] – Proposição Particular Negativa (Tipo O)
Abordo a sentença "Nem todas as moedas sobre a mesa são de dez centavos". Demonstro que ela possui duas simbolizações equivalentes: a negação da universal (¬∀x(M(x) → D(x))) ou a afirmação existencial de um contraexemplo (∃x(M(x) ∧ ¬D(x)).
[24:50] – Proposição Universal Negativa (Tipo E)
Analiso "Nenhuma moeda em meu bolso é de dez centavos". Apresento as duas formas equivalentes de simbolização: "Não é o caso que exista uma moeda no bolso que seja de dez centavos" (¬∃x(P(x) ∧ D(x))) ou "Para toda moeda, se ela estiver no bolso, então não é de dez centavos" (∀x(P(x) → ¬D(x))).
[30:09] – As Quatro Proposições Categóricas e o Silogismo
Identifico essas estruturas como as proposições categóricas aristotélicas (A, E, I, O), estudadas há mais de 2.500 anos. Defino o silogismo como um argumento composto exclusivamente por essas sentenças e recomendo o "Teste Estrela" de Harry Gensler para quem desejar um sistema rápido de avaliação.
[33:54] – O Quadrado das Oposições
Apresento o diagrama medieval que organiza as relações entre as quatro proposições: contrariedade (topo), subcontrariedade (base), subalternação (laterais) e contraditoriedade (diagonais). Explico como a LPO revela que as contraditórias são, de fato, a negação uma da outra.
Introduzo o conceito de predicados que nenhum elemento do domínio satisfaz (ex: "ter mais de 100 anos" entre alunos atuais). Explico que, na LPO, nomes não podem ser vazios, mas predicados podem, o que gera consequências lógicas importantes.
[46:29] – O Problema da Importação Existencial
Utilizo uma demonstração formal para provar que, na lógica clássica, "Todo F é G" não sustenta "Algum F é G". Mostro que, se o predicado F for vazio, a premissa universal será verdadeira, mas a conclusão existencial será falsa, revelando a invalidade do argumento.
[53:04] – Verdades por Vacuidade
Explico sentenças que soam estranhas, mas são tecnicamente verdadeiras, como "Todos os humanos com mais de 150 anos se chamam Daniel". Defino-as como vacuamente verdadeiras, pois não existe no domínio ninguém que possa falsificar a afirmação.
[54:19] – Regra para Predicados Vazios e Conclusão
Finalizo estabelecendo que, se um predicado é vazio, qualquer condicional universal iniciado por ele será verdadeiro. Recomendo que assistam à próxima aula antes de realizarem os exercícios do Capítulo 15 para consolidar o entendimento.