Samuel Abraham et F. Kiefer, A theory of structural semantics. La Haye, Mouton, 1966, 98 p.

La théorie sémantique d'Abraham et Kiefer se situe elle-même dans le cadre des tentatives de formalisation linguistique apparues aux États-Unis depuis 1950. Maintenant que la grammaire (comprenant phonologie, morphologie et syntaxe), considérée comme un premier niveau de la description linguistique, a été l'objet de recherches formelles, il s'agit de la compléter par un second niveau : celui de la sémantique. La distinction opérée par Chomsky entre traits formels et traits sémantiques constituait une étape méthodologique nécessaire en vue de l'établissement des grammaires formelles, mais, à la suite de Bar- Hillel, les auteurs réintroduisent la sémantique et considèrent comme postulat de départ que la sémantique peut être érigée, elle aussi, en théorie formelle. Ils adoptent la distinction de Katz et Fodor1 entre traits sémantiques formali- sables (domaine de leur recherche) et traits sémantiques non formalisables (domaine de la sémantique générale et des disciplines annexes : psycholinguistique,...). Mais, s'ils reconnaissent à Katz et Fodor le mérite d'avoir fixé les limites du domaine de la sémantique formelle, les auteurs adressent à ceux-ci maintes critiques, dont la plus grave est de n'avoir pas, malgré certaines formalisations partielles, construit une véritable théorie formelle ; on rencontre en effet, tout au long de l'exposé de Katz et Fodor, un certain nombre de termes traditionnels, dont on sent intuitivement l'importance fondamentale pour la sémantique (par