Netzwerk Phänomenologische Metaphysik
175137

(2007) Philosophia Scientiae 11 (2).

Méthode axiomatique et négation chez Hilbert

Eric Audureau

pp. 67-96

a) La doctrine de la connaissance défendue par Hilbert au cours du développement de la théorie de la démonstration est constituée dès la Conférence de Paris de 1900. Elle précède donc la théorie de la démonstration.b) L’application du principe fondamental de l’épistémologie hilbertienne (« Au commencement est le signe ») à la caractérisation de la négation logique est l’un des problèmes principaux de la théorie de la démonstration.c) Pour pouvoir caractériser la négation en termes de manipulation de signes, il faut abandonner la méthode axiomatique et donc sacrifier l’essentiel de la doctrine hilbertienne de la connaissance.

Publication details

DOI: 10.4000/philosophiascientiae.335

Full citation:

Audureau, E. (2007). Méthode axiomatique et négation chez Hilbert. Philosophia Scientiae 11 (2), pp. 67-96.

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.