¿Cómo resolvieron Aristóteles o Santo Tomás la paradoja del mentiroso?

Tomás de Aquino no tiene nada que decir sobre la paradoja del mentiroso, según mi conocimiento (informado, pero finito). Sin embargo, un filósofo medieval ligeramente posterior llamado John Buridan ciertamente lo hace.

Eche un vistazo al artículo de Gyula Klima sobre el tema para tener una idea de su solución aquí. En esencia, lo que hace Buridan es decir que la oración del Mentiroso es falsa, pero luego intenta bloquear la inferencia de que la falsedad de la oración del Mentiroso implica que la negación de la oración del Mentiroso es verdadera. Consulte el documento de Klima para obtener detalles sobre cómo se supone que funciona esto.

Esto es lo más cercano que he podido encontrar en Santo Tomás, donde discute si la verdad es inmutable ( Summa Theologica I q. 16 a. 8 ad 3):

Una proposición no sólo tiene verdad, como se dice que las demás cosas la tienen, en cuanto, esto es, en cuanto corresponden a lo que es el designio del intelecto divino sobre ellas; pero se dice que tiene verdad de un modo especial, en cuanto indica la verdad del intelecto, que consiste en la conformidad del intelecto con una cosa. Cuando ésta desaparece, cambia la verdad de una opinión y, en consecuencia, la verdad de la proposición. Así pues, esta proposición Sócrates se sienta es verdadera, en tanto que está sentado, tanto con la verdad de la cosa, en cuanto que la expresión es significativa, como con la verdad de la significación, en cuanto que significa una opinión verdadera. Cuando Sócrates asciende, la primera verdad permanece, pero la segunda cambia.

Y de sus Quæstiones Disputate De Veritate a. 6 , sobre si la verdad es inmutable:

La verdad de una cosa es la causa de la verdad de una proposición, pues se dice que un enunciado es verdadero o falso en la medida en que una cosa existe o no existe.

y

es esencial a una proposición que signifique aquello que se le ha hecho significar.

Así, según Santo Tomás, las "proposiciones" de la paradoja del mentiroso no son en absoluto proposiciones reales porque no les corresponde nada que "exista o no exista" y no "significan aquello de lo que" han "sido hechas". significar."

Las Refutaciones sofísticas de Aristóteles dijeron: "El argumento también es similar con respecto a que el mismo hombre miente y dice la verdad al mismo tiempo" llevó a un arzobispo de Canterbury, Thomas Bradwardine (c. 1300-1349), a escribir sus Insolubles en Oxford entre 1321 y 1324 .

"Insolubilia y la teoría de la significación de Bradwardine". Medioevo: Revista di storia della filosofia medievale , 7: 115–34. reclamación (es:

Porque las opiniones antes mencionadas eran las de los antiguos [lógicos], que entendían poco o nada acerca de los insolubles. Después de ellos surgió el príncipe de los filósofos modernos de la naturaleza, a saber, el maestro Thomas Bradwardine. Fue el primero que descubrió algo valioso sobre los insolubles.