Proposiciones y verdad

Acerca de este curso

En 1966 el psicólogo Peter Wason mostró a un grupo de personas cuatro tarjetas, E, K, 4 y 7, y les dijo que cada tarjeta tenía una letra por un lado y un número por el otro. La regla que había que comprobar era: si una tarjeta tiene una vocal por un lado, tiene un número par por el otro. La mayoría volteó solo la E, o la E y el 4. La respuesta correcta es la E y el 7. Ese pequeño acertijo es el tipo de pensamiento que entrena este curso, una lectura cuidadosa a la vez.

Las seis unidades empiezan con la frontera entre los enunciados y todo lo demás. Aristóteles escribió en Sobre la interpretación que una plegaria es una oración que no es verdadera ni falsa, así que «Cierra la puerta» no puede ser verdadera ni falsa, mientras que «La puerta está cerrada» sí. Siguen «y», «o» y «no», con la regla de que «p o q» sigue siendo verdadera cuando ambas lo son. Después vienen los condicionales y el contrarrecíproco, y luego las tablas de verdad, donde tres letras dan 8 filas. A menudo se atribuyen las tablas al Tractatus de Wittgenstein, de 1921, y a Emil Post, pero la historia resultó ser más antigua. La validez y la solidez distinguen un buen argumento de unas oraciones verdaderas: «Todos los peces pueden volar. Un salmón es un pez. Por lo tanto, un salmón puede volar» es válido y tiene una conclusión falsa. La última unidad trata los silogismos como «Todas las ballenas son mamíferos», que los estudiantes medievales llamaban Barbara. Cada unidad tiene diagramas de tablas de verdad o de regiones, tarjetas de estudio y 10 u 11 preguntas de práctica con el razonamiento explicado.