Saltar al contenido

Lógica · Capítulo 13 · Lógica de los términos

Por qué ningún bebé sabe domar cocodrilos

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.

Ver en YouTube

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

  1. 0:00Bebés y cocodrilos
  2. 0:33Cajas cerradas
  3. 1:42Mirar adentro de la frase
  4. 2:11La conceptografía de Frege
  5. 3:04El ojo y el microscopio
  6. 3:23Peirce, por su cuenta
  7. 3:44La lógica de los términos
  8. 4:30Cinco piezas
  9. 4:44Nombres propios
  10. 5:07Predicados
  11. 5:45Qué es un término
  12. 6:20Relaciones
  13. 7:19El lucero de la tarde
  14. 8:22La identidad
  15. 8:36Los tres trabajos del «es»
  16. 9:23Los cuantificadores
  17. 10:01Variables libres y ligadas
  18. 10:53De qué universo se habla
  19. 11:48El cuadrado, por dentro
  20. 12:26Por qué el todos lleva un si
  21. 13:37Todos los hombres no son mortales
  22. 14:03El orden de los cuantificadores
  23. 15:06Aquí no hay tabla
  24. 15:36Church y Turing
  25. 16:26Quitar el todos
  26. 17:06Poner el alguno
  27. 17:23Poner el todos
  28. 17:48El truco de tu tío
  29. 18:41Quitar el alguno
  30. 18:51El yogur de la oficina
  31. 20:06El silogismo, de regreso
  32. 20:52Bárbara y Celarent
  33. 21:28Un Celarent
  34. 22:23Datisi
  35. 23:35Los bebés, probados
  36. 24:18El recorrido por la lógica