Todas las noches, el del clima anuncia: mañana va a llover, o no va a llover. Nunca ha fallado, y no le sirve a nadie. Este capítulo enseña el método que revisa una frase en todos los casos posibles y dice si puede fallar —la tabla de verdad—, y por qué las frases que nunca fallan no dicen nada.
En este capítulo
- Qué quiere decir que una frase sea verdadera: de Aristóteles a la regla de Tarski
- Valores de verdad e interpretaciones: cada combinación es un día posible
- Contingente, contradicción y tautología: las tres maneras en que sale una fórmula
- Las tablas de las cinco conectivas, y la ironía del astronauta
- El colado del concierto: los cuatro casos del si y solo si
- El trigo y el tablero: por qué las tablas crecen tan rápido, y un problema del milenio
- Cómo se llena una tabla, y la nota del refri que empapó la ropa
- La identidad, la no contradicción y el tercero excluido, escritos como tautologías
- Post, Gödel y el acuerdo entre las reglas y las tablas
- Wittgenstein en un campo de prisioneros: las verdades de la lógica no dicen nada
- Con tres valores, ni el pronóstico infalible se salva
Para cerrar
¿Cuál es el caso que no revisaste y te salió caro? Un contrato, una regla de la casa, un plan que funcionaba en todos los escenarios menos en uno. Cuéntamelo en los comentarios.
Capítulos del video
- 0:00El pronóstico infalible
- 0:31De la sintaxis a la semántica
- 1:45La regla de Tarski
- 2:19Letras, días e interpretaciones
- 3:17Contingente, contradicción, tautología
- 4:05Cada conectiva, una máquina
- 4:21La negación
- 4:45La conjunción
- 5:05La disyunción
- 5:36El condicional
- 6:04La ironía del astronauta
- 6:45El colado
- 7:38El si y solo si
- 8:46Cuántos casos hay que mirar
- 10:05El trigo y el tablero
- 10:57Las tablas crecen igual
- 11:33Un problema del milenio
- 12:15Una tabla, paso por paso
- 13:42El paréntesis no es adorno
- 14:04La ropa en la azotea
- 15:36Mover el paréntesis
- 16:42Decir lo mismo
- 17:28La no contradicción
- 18:13El tercero excluido
- 18:45La identidad
- 19:51Reglas y tablas, al mismo lugar
- 21:21La mochila del prisionero
- 22:59Seguras porque no dicen nada
- 23:34Negocios son negocios
- 24:06Con tres valores