Proposições e verdade

Sobre este curso

Em 1966, o psicólogo Peter Wason mostrou a algumas pessoas quatro cartas, E, K, 4 e 7, e disse que cada carta tinha uma letra de um lado e um número do outro. A regra a testar era: se uma carta tem uma vogal de um lado, tem um número par do outro. A maioria virou só o E, ou o E e o 4. A resposta certa é E e 7. Esse pequeno enigma é o tipo de raciocínio que este curso treina, uma leitura cuidadosa de cada vez.

As seis unidades começam com a linha entre afirmações e todo o resto. Aristóteles escreveu em Da Interpretação que uma prece é uma frase mas nem verdadeira nem falsa, de modo que “Feche a porta” não pode ser verdadeira nem falsa enquanto “A porta está fechada” pode. E, ou e não vêm a seguir, com a regra de que “p ou q” continua verdadeira quando ambas são verdadeiras. Seguem os condicionais e a contrapositiva, e depois as tabelas-verdade, em que três letras dão 8 linhas. As tabelas costumam ser creditadas ao Tractatus de Wittgenstein, de 1921, e a Emil Post, mas a história acabou se revelando mais antiga. Validade e solidez separam um bom argumento de frases verdadeiras: “Todo peixe voa. Um salmão é um peixe. Logo, um salmão voa” é válido e tem conclusão falsa. A última unidade cobre silogismos como “Todas as baleias são mamíferos”, que os estudantes medievais chamavam de Barbara. Cada unidade tem diagramas de tabelas-verdade ou de regiões, flashcards e 10 ou 11 perguntas de prática com o raciocínio mostrado.