pen icon Colloque
quote

Analyticité et complétude

JC

Membre a labase

Jocelyne Couture

Résumé du colloque

La reconstruction du concept d'analyticité proposée par Carnap dans Meaning and Necessity s'exprime entièrement par un ensemble de contraintes formelles et ses propriétés peuvent par conséquent être envisagées dans la perspective de la méta-théorie des systèmes formels. De ce point de vue, on peut montrer que la définition de "être analytique dans L" requiert la complétude de L, un aspect cependant, à la lumière des résultats de Gödel, que la complétude ne peut être acquis que pour une langue limitée de ce langage. Le concept de condition d'analyticité de Carnap exclut en fait, la plupart des analyses sémantiques des langues naturelles qu'on a présentées jusqu'ici comme des applications de la définition carnapéenne d'analyticité.

Contexte

Section :
Philosophie
news icon Thème du colloque :
Philosophie
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Philosophie

Autres communications du même congressiste :

news icon

Thème du colloque :

Philosophie