16 09 17

Bien que les insolubilia traités par les logiciens médiévaux ne soit pas liés à la sui-réflexivité, la forme d’insoluble la plus connue est celle où l’énoncé de départ (positum) d’une dispute obligationnelle est fourni par une proposition signifiant sa propre fausseté, tel le « Menteur » : Ego dico falsum (« Je dis [le] faux »). L’importance prise par la problématique du « Menteur », dans l’historiographie des insolubilia s’explique par l’intérêt que lui ont porté les premiers travaux de C. Pierce et de B. Russell, mais il est certain qu’elle ne reflète qu’une partie des questions médiévales.
Les principales solutions du « Menteur » proposées du XIIe au XVe siècle peuvent être ramenées à cinq types :
La cassatio : celui qui dit « je dis (le) faux » et ne dit rien d’autre ne dit rien du tout (nihil dicit). Cette solution présente deux variétés : cassation de la puissance – il est impossible de dire « je dis (le) faux » ; cassation de l’acte – il n’est pas impossible de dire « je dis (le) faux », mais en disant cela je ne puis dite quelque chose (« Posito quod aliquis dicat se dicere falsum, in sice dicendo nihil dicit »).
La restrictio : dans la proposition « je dis (le) faux », le prédicat « (le) faux » ne peut supposer pour la proposition dont il fait partie (c’est la solution reprise de nos jours par Russell).
Le transcasus : le verbe « je dis » ne peut référer le moment de l’énonciation, mais exclusivement l’instant (ou un instant) antérieur.
Le secondum quid et simpliciter : cette solution, dite « aristotélicienne », comprend diverses variétés ; les plus répandues reposent sur le principe « aristotélicien » selon lequel deux occurrences d’une même proposition (on dirait aujourd’hui deux tokens) n’ont qu’une identité spécifique (in specie) et non pas numérique (in numero).

Alain de Libera, La philosophie médiévale (Que sais-je ? PUF)
La philosophie médiévale [1989]
P.U.F. 2015
p. 50–51
collection « Que sais-je » corpus énigme fallacies linguistique logique mensonge menteur monnaie moyen âge pierce programme de vérité russell sémantique token vérité