Analyse logique et analyticité; de Carnap à gödel

Dialectica 51 (2):95–117 (1997)
  Copy   BIBTEX

Abstract

RésuméL'objectif principal de cet article est de clarifier le sens et l'extension du concept d'analyticité tel qu'il s'applique aux systèmes formels de la logique. L'enjeu plus général de cette étude est une évaluation ékthodologique des approches philosophiques axées sur la reconstruction formelle et l'analyse logique des langues naturelles. Nous avons d'abord soutenu que la reconstruction formelle de l'analyticitéélaborée par Rudolf Carnap dans Meaning and Necessity met en place des conditions correspondant aux propriétés éktalogiques de complétude déductive et de néga‐complétude. A la lumère des théorèmes de complétude et d'incomplhde de Kurt Gödel, nous avons ensuite cherchéà déterminer dans quelle mesure et dans quelles circonstances ces propriétés pouvaient être réalisées dans des systèmes formels de la logique. Nous avons conch de cette étude, premièrement que la reconstruction carnapéenne de I'analyticité se butait à des contraintes inhérentes aux formalismes et ne pouvait par conséquent pas constituer une explication du concept d'analyticité, et deuxieèmement, que fort peu de systèmes formels étaient analytiques au sens oú Carnap I'entend et que peu d'entre eux, par conséquent, étaient susceptibles de représenter les conditions de l'analyticité que presuppose une analyse logique du langage

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,199

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
57 (#209,291)

6 months
1 (#448,894)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jocelyne Couture
Université du Québec à Montréal

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references