En 1787, Immanuel Kant escribió que la lógica estaba terminada: que desde Aristóteles no había avanzado un paso y que no le hacía falta. Sesenta años después, un matemático inglés hizo justo lo que él había declarado imposible. Este capítulo recorre veinticinco siglos para entender por qué la lógica pudo parecer un asunto cerrado durante dos mil años, y qué fue lo que la volvió a abrir.
En este capítulo
- La lógica no se inventó: lo que se inventó fue mirar cómo razonamos y preguntarse por qué funciona
- Y no pasó una vez, sino tres, sin contacto entre sí: Grecia, la India y China
- Parménides en un poema, y el principio de no contradicción dicho completo por Platón, en un diálogo sobre la justicia
- Los sofistas, que salen mal en esta historia y sin los cuales no habría habido ninguna
- El Organon de Aristóteles: seis obras, y por qué el título no es suyo
- Los estoicos, que trabajaban con proposiciones enteras y estaban adelantados dos mil años — y aun así perdieron
- La India: una inferencia de cinco pasos, y un tetralema que pone sobre la mesa lo que el tercero excluido prohíbe
- China: Mozi, los mohistas y una tradición que no se apagó por falta de ideas, sino por política
- La Edad Media, mal medida: sincategoremáticos, suposición y consecuencias, tres teorías que siguen en pie
- Leibniz, doscientos años antes de tener con qué, y Boole, Frege y Russell, con quienes termina el arco
Para cerrar
¿Te sorprende que tres culturas sin contacto llegaran a herramientas tan parecidas? Cuéntamelo en los comentarios.
Capítulos del video
- 0:00El error de Kant
- 0:36La lógica no se inventó
- 1:08Tres veces, sin contacto
- 1:48Grecia: los primeros rastros
- 1:59Parménides, en un poema
- 2:25Platón: el principio, completo
- 3:09Los sofistas, mal contados
- 3:50Aristóteles: la herramienta que va antes
- 4:13El Organon: instrumento
- 4:42Las seis obras, una por una
- 5:40Lo que los árabes añadieron a la lista
- 6:13Un catálogo cerrado
- 6:46Los estoicos: la otra lógica griega
- 7:05Adelantados dos mil años
- 7:29No gana la mejor idea: gana la que alguien copia
- 8:20India: la lógica como estructura
- 8:47La inferencia en cinco pasos
- 9:24La lógica budista y el tetralema
- 10:22Penetración invariable
- 10:58China: Mozi y los mohistas
- 11:40Apagada por política
- 12:09La paradoja de Gongsun Long
- 12:42La Edad Media, mal medida
- 13:13Los sincategoremáticos
- 14:25La suposición: qué pone un término en lugar de qué
- 15:27Las consecuencias: el si, entonces
- 16:35Requisito para entrar a la universidad
- 16:52Aristóteles vuelve por los árabes
- 17:43Leibniz, doscientos años antes
- 18:10Un lenguaje y una máquina
- 18:59Calculemos
- 19:32Verdaderas en cualquier mundo posible
- 20:06El psicologismo
- 20:37Boole: el razonamiento escrito como álgebra
- 21:09Frege, Russell y Whitehead
- 21:51La lógica filosófica
- 22:32Para qué sirve todo esto