La question des fondements des mathématiques et la théorie des modèles

par Nafiz Samli

Thèse de doctorat en Philosophie

Sous la direction de Alain-Marc Rieu.

Soutenue en 1998

à Lyon 3 .

mots clés

• Modeles (theorie des)
• Théorie des modèles -- Thèses et écrits académiques
• Mathématiques -- Philosophie -- Thèses et écrits académiques

Résumé

La question des fondements est philosophique mais elle requiert une philosophie differente des philosophies de la conscience. Cette etude philosophique applique la logique et les mathematiques mais cette application ne signifie pas l'interiorisation de la question aux mathematiques et ne se limite pas aux formalismes logico-mathematiques disponibles. Cette philosophie, plus precisement, ses concepts, ses propositions, ses methodes de definition, d'assertion et de preuve sont degages, la metatheorie informelle des fondements et tout ce qui est formalisable sont determines, les formalismes logicomathematiques idoines sont choisis. Pour y aboutir, une demarche conceptuelle analytique operatoire est mise en place ou tous les. Aspects de la question, ontologique, methodologique, theorique, humain-, sont determines de facon ordonnee, unifies sans etre confondus, distingues sans etre separes. Comme le corpus de l'ouvrage est exclusivement theorique, une esquisse de la realisation dans le temps de la metatheorie des fondements telle qu'elle est determinee dans le corpus est donnee en annexe.

Pas de résumé disponible.