Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien

ARTICLE

Logicité et non-logicité de l’axiomatique

  • Pages : 681 à 704
  •  
  •  
  • URL : Lien externe
  •  
  • Date de création : 04-01-2011
  • Dernière mise à jour : 26-09-2015

Résumé :

Français

L’article se propose d’explorer ce qui, dans la démarche axiomatique de la mathématique contemporaine, excède la dimension logique. À cette fin, on commence par décrire, notamment en faisant appel au point de vue de la correspondance de Curry-Howard, l’extrémalité de l’axiome, sa principale propriété dans une perspective logique. Ensuite on évoque les modalités de l’axiomatisation dans la mathématique actuelle, en distinguant entre une axiomatique conceptuelle, non fondationnelle, liée au programme de classification, et l’axiomatique pure, instituante, par laquelle l’univers des ensembles, par exemple, est supposé donné. Enfin, on analyse philosophiquement ce style instituant, en montrant qu’il est lié pour le mathématicien à une intuition, et qu’il n’est pas absurde de reconnaître dans ce type d’intuition (une variante de) ce que Kant appelait intuition pure dans la Critique de la Raison pure. M.-M. V.

 

Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2021.
Dernière mise à jour : Vendredi 22 octobre 2021