Sémantique tarskienne

 

McDermott a été clair : « Pas de notation sans dénotation », a-t-il dit. Pourtant, il y a encore des couillons pour utiliser le mot « je ». C'est un monde ! Définissez ce « je » ! De suite ! Petits saligauds ! Pots de pisse !

 

(Henri-Marcel Chissant, Hippocastanacées)

Théorie du pachynihil

La sémantique de l'ennui est dénotationnelle à la Tarski.

(Luc Pulflop, Prière d'incinérer. Dégoût)

Théorème de Tarski

En logique mathématique, le théorème de Tarski, ou théorème de non définissabilité de Tarski, s'énonce informellement ainsi : « On ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage. »

Problème de cohabitation avec une belle-mère envahissante ? Sentiment de culpabilité lié à son statut de rescapé ? Besoin compulsif d'« épater le bourgeois » ? Peut-on jamais savoir avec certitude ce qui pousse un homme à engendrer un théorème de logique mathématique ?

(Włodzisław Szczur, Mathématique du néant)

Indécomposabilité du « faire »

De même que la sphère tarskienne n'est pas un ensemble de points, étant conceptuellement antérieure à l'idée même de point puisque définie seulement par des axiomes formulés dans le langage de la méréologie de Leśniewski, le processus défécatoire n'est pas un ensemble de « moments fécaux ».

(Raymond Doppelchor, Océanographie du Rien)

Sémantique tarskienne

Le monde — la « réalité empirique » des philosophes — est bien une « notation sans dénotation », au grand dam de McDermott — et du suicidé philosophique.

(Luc Pulflop, Prière d'incinérer. Dégoût)