n3-al-mukhatabat-journal

La dualité syntaxe/sémantique a été plutôt promue par Carnap, alors que Tarski
a travaillé à la dualité DM: d’un côté la théorie de la démonstration, de l’autre la
théorie des modèles. Aujourd’hui au niveau de la logique propositionnelle on
parle plutôt de la dualité SS, pour la logique du 1er ordre plutôt de la dualité DM.
Mais il est courant aujourd’hui de parler de sémantique de logique du premier
ordre, et les élèves de Tarski ont inversement essayé d’introduire, avec moindre
effet, la terminologie de théorie des modèles pour la sémantique de la logique
propositionnelle.
Quelle est la différence entre théorie des modèles et sémantique? Tarski
lorsqu’il développa la sémantique pour la logique du 1er ordre ne voulait pas la
fonder sur des notions sémantiques : « Je n’utiliserai aucun concept
sémantique si je ne suis pas capable de les réduire à d’autres concepts »
(Tarski, 1935, p. 52). Wilfrid Hodges dans son excellent article où il explique
pourquoi Tarski a mis si longtemps à développer la théorie des modèles, nous
dit que Tarski « était un homme qui était insatisfait avec les notions
philosophiques qu’il ne pouvaient pas manipuler mathématiquement. Et donc il a
défini une relation purement mathématique entre les énoncés et les structures,
AL-MUKHATABAT Numéro 03 Année 01/2012 لىولأا ةن سلا 30 ددعلا تابطانا
292
ISSN: 1737-6432