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.