175205

(2019) Philosophia Scientiae 23 (1).

Axioms as definitions

revisiting Poincaré and Hilbert

Laura Fontanella

pp. 167-183

Un problème fondamental dans la réflexion sur les fondements des mathématiques consiste à déterminer ce qu’est un axiome. Cette question est spécialement importante en vue de l’étude de nouveaux axiomes pour la théorie des ensembles (tels que les axiomes de grands cardinaux) dont la légitimité est fortement controversée ; cet article s’insère dans le débat. En analysant les écrits de Poincaré et de Hilbert, nous observons que, malgré les différences profondes dans la pensée de ces deux logiciens, ils parvinrent à la même conception des axiomes de la géométrie qui ne seraient que des définitions déguisées. Nous généralisons cette conception des axiomes comme définitions de concepts à n’importe quel système axiomatique (en particulier aux axiomes de la théorie des ensembles).

Publication details

DOI: 10.4000/philosophiascientiae.1827

Full citation:

Fontanella, L. (2019). Axioms as definitions: revisiting Poincaré and Hilbert. Philosophia Scientiae 23 (1), pp. 167-183.

This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.