La logique intensionnelle et l'héritage de Frege en sémantique

Pascal Engel: Intensional Logic and the Fregean Heritage in Semantics. Although Frege's logic and «semantics» inspired most later developments, neither Carnap nor Church, who used fregean ideas to build their systems, were faithful to these. The fregean heritage has been distorted in two ways: intensional logic obliterates the distinction between concepts and objects, and Frege recommends an extensional · treatment of logic. This paper tries to restate the fregean doctrine of functions by using combinatory logic, and defends the «neo-fregean» point of view of a logical semantics based on Tarski's theory of truth and Davidson's programme for the semantics of natural language.Engel Pascal. La logique intensionnelle et l'héritage de Frege en sémantique. In: Histoire Épistémologie Langage, tome 5, fascicule 2, 1983. La sémantique logique : Problèmes d'histoire et de méthode, sous la direction de Frédéric Nef. pp. 95-116