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

Pascal Engel

pp. 95-116

in: La sémantique logique, Histoire Épistémologie Langage 5 (2), 1983.

Abstract

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.

Cited authors

Frege Gottlob

Engel Pascal