Fiche du document
1983
Copyright PERSEE 2003-2023. Works reproduced on the PERSEE website are protected by the general rules of the Code of Intellectual Property. For strictly private, scientific or teaching purposes excluding all commercial use, reproduction and communication to the public of this document is permitted on condition that its origin and copyright are clearly mentionned.
Sujets proches
Frontier troubles Logical semantics Unified science Semeiotics Significs Intension (Philosophy) Semantics (Logic) Syntactics Logical semantics Unified science Semeiotics Significs Intension (Philosophy) Semantics (Logic) Syntactics Intestacy Descents Intestate succession Inheritance and succession--Law and legislation Hereditary succession Law of succession Bequests Succession, Intestate Descent and distribution Signifiant Sémantique Logique intensionnelle Intensionalité (logique) Intensionnalité (logique) Compréhension (logique) Droit successoral Succession (droit) Biens successoraux Patrimoine successoral Transmission successorale Héritage Droit de succession Droit des successions Héritiers Successions Héritages Dévolution successorale Analyse historique Sciences historiques Science historique Sémasiologie Sémantique (linguistique)Citer ce document
Pascal Engel, « La logique intensionnelle et l'héritage de Frege en sémantique », Histoire Épistémologie Langage, ID : 10.3406/hel.1983.1163
Métriques
Partage / Export
Résumé
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.