Los bebés no razonan. A quien no razona, se le desprecia. A quien sabe domar cocodrilos, nadie lo desprecia. Luego, ningún bebé sabe domar cocodrilos. Es válido, y la lógica de proposiciones no lo puede probar. Este capítulo, el último del módulo, enseña la lógica que sí lo prueba, renglón por renglón.
En este capítulo
- Por qué hay que abrir las frases: el ejercicio de Lewis Carroll
- Frege, la conceptografía y el primer cuantificador
- Las cinco piezas: nombres, predicados, relaciones, identidad y cuantificadores
- Héspero y Fósforo: los tres trabajos de la palabra «es»
- Variables libres y ligadas, y de qué universo se habla
- El cuadrado de la oposición, escrito por dentro
- El orden de los cuantificadores: alguien para cada quien no es alguien para todos
- Church y Turing: por qué no hay procedimiento que lo decida todo
- Las cuatro reglas nuevas, con Fulano, Mengano y el yogur de la oficina
- Bárbara, Celarent y Datisi, demostrados con herramientas de hoy
- Los bebés y los cocodrilos, probados
Para cerrar
Todo mundo tiene a alguien que lo quiere. Hay alguien que quiere a todo mundo. ¿Cuál de las dos crees que es verdad? ¿Las dos, solo la primera, ninguna? Cuéntamelo en los comentarios.
Capítulos del video
- 0:00Bebés y cocodrilos
- 0:33Cajas cerradas
- 1:42Mirar adentro de la frase
- 2:11La conceptografía de Frege
- 3:04El ojo y el microscopio
- 3:23Peirce, por su cuenta
- 3:44La lógica de los términos
- 4:30Cinco piezas
- 4:44Nombres propios
- 5:07Predicados
- 5:45Qué es un término
- 6:20Relaciones
- 7:19El lucero de la tarde
- 8:22La identidad
- 8:36Los tres trabajos del «es»
- 9:23Los cuantificadores
- 10:01Variables libres y ligadas
- 10:53De qué universo se habla
- 11:48El cuadrado, por dentro
- 12:26Por qué el todos lleva un si
- 13:37Todos los hombres no son mortales
- 14:03El orden de los cuantificadores
- 15:06Aquí no hay tabla
- 15:36Church y Turing
- 16:26Quitar el todos
- 17:06Poner el alguno
- 17:23Poner el todos
- 17:48El truco de tu tío
- 18:41Quitar el alguno
- 18:51El yogur de la oficina
- 20:06El silogismo, de regreso
- 20:52Bárbara y Celarent
- 21:28Un Celarent
- 22:23Datisi
- 23:35Los bebés, probados
- 24:18El recorrido por la lógica