[FOM] FOM] FOM: The Principle of Excluded Middle
Giuseppina.Ronzitti at univ-nancy2.fr
Mon Oct 17 20:06:11 EDT 2005
A small remark and a question.
in his paper "Begründung der Mengenlhere unabhängig vom logischen Satz vom
ausgeschlossenen Dritten. Erster Teil: Allgemeine Mengenlehere" (1918)
[Foundation of set theory independent of the logical law of excluded middle],
Brouwer (consistently, I would say), does not attack the 'classical principle'
but simply uses some other methods of reasoning, such as the continuity
principle. The two 'principles' are of course incompatible, that is to say they
cannot be both 'principles' of the same theory ... so why (this is my question)
when discussing the validity of the classical principle of excluded middle, the
continuity principle (almost) never enters the scene ?
LHPS Archives H. Poincaré - UMR 7117 (CNRS / Nancy2)
Université Nancy 2
23 Bd Albert Ier
F-54015 Nancy Cedex
Tél / Fax : 33/(0)3 83 96 70 83
More information about the FOM