Problemita de lógica

Hace un tiempo, Spock, el viajero espacial estudioso de la lógica, llegó a un planeta con tres clases de habitantes: los veraces, los mentirosos y los paradójicos. Los veraces sólo formulan afirmaciones verdaderas. Los mentirosos sólo formulan afirmaciones falsas. Mientras que los paradójicos sólo hacen afirmaciones paradójicas, es decir, afirmaciones a las cuales no se le puede atribuir coherentemente un valor de verdad.

Al poco tiempo de llegar, cuando todavía no había hablado con nadie en el planeta, Spock se encontró con un habitante, que le dijo: "Usted puede deducir si soy veraz o mentiroso".
¿A qué grupo pertenecía ese habitante?

Poco después, Spock se encontró con otro habitante, que le dijo: "Soy mentiroso".
¿A qué grupo pertenecía ese habitante?

Poco después, Spock se encontró con un tercer habitante, que le dijo: "Soy mentiroso o paradójico".
¿A qué grupo pertenecía ese habitante?

Exposición de tesis

Después de varios años de abandono, retomo la escritura de El Topo Lógico. Una de las razones de este silencio, aunque tal vez no la única, fue el largo tiempo que decidí dedicarle a un trabajo de investigación sobre filosofía de la matemática. Trabajo que llegó a un punto culminante el pasado 28 de junio, cuando defendí mi tesis ante un jurado de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires.

El viernes 20 de septiembre expuse un resumen de esa tesis en el IES N° 1 "Alicia Moreau de Justo". Gracias a la amabilidad de la profesora Leila Tajani, puedo compartir aquí un video (en tres partes) de esa exposición.

(Desde este enlace la tesis en sí.)

Parte 1:

Parte 2:

Parte 3: