Quelques remarques sur la sémantique

Le présent travail répond à une invitation de M. Joseph Dopp, qui a bien voulu me demander quelques éclaircissements sur le but, la méthode et la portée de la sémantique.

La sémantique est une création de M. Alfred Tarski, qui en a publié les idées principales et les résultats fondamentaux entre 1930 et 1936. Récemment, les travaux originaux ont été réédités, en anglais, avec d'autres études de logique du même auteur, dans Logic, Semantics, Metamathematics {Oxford, 1956). Ce beau volume contient également deux articles d'exposition : « The Establishment of Scientific Semantics » et « On the Concept of Logical Consequence » qui avaient déjà paru (en allemand) dans les Actes du Congrès International de Philosophie Scientifique (fasc. 3 et fasc. 7, Paris, 1936). On peut consulter en outre : « The Semantic Conception of Truth and the Foundations of Semantics » (Philosophy and Phenomenological Research, vol. 4, 1944, pp. 341-376); cet article, qui contient des remarques polémiques, a été plusieurs fois réédité (1).

Pendant les dernières années, plusieurs développements ont été élaborés.

1° Les notions centrales de la sémantique ont été reprises par plusieurs auteurs, parmi lesquels je mentionne R. Carnap et J. G. Kemeny.

2° Les concepts et les méthodes sémantiques se sont incorporés aux techniques courantes de la logique mathématique ; notons que les concepts plus anciens de l'« Erfiillungstheorie » et de la « men-