Il me semble que le principe de compositionnalité fut l'un des présupposés les plus importants du travail de Tarski quant au concept de vérité. (...)
... la vérité ne peut être définie de manière compositionnelle qu'en conjonction avec un autre concept sémantique comme la satisfaction.
Auteur:
Info: Les principes mathématiques revisités. Cambridge University Press, 1996, édition de poche 1998. Qui a peur d'Alfred Tarksi ? Définitions de vérité pour les langages IF du premier ordre, p. 107
Commentaires: 0