[Home]History of Law of excluded middle

HomePage | Recent Changes | Preferences

Revision 3 . . (edit) September 24, 2001 6:33 pm by Zundark [update link, start with a sentence]
Revision 2 . . July 26, 2001 5:44 pm by Andre Engels [Link with intuitionism]
Revision 1 . . April 3, 2001 3:36 am by Larry Sanger
  

Difference (from prior major revision) (minor diff, author diff)

Changed: 1c1
For any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.
The law of excluded middle states that for any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.

Changed: 3c3,7
If we're being careful, we'll distinguish this from ThePrincipleOfBivalence.
If we're being careful, we'll distinguish this from the principle of bivalence.




If we remove the law of excluded middle from a formal logical system, the result will be a system called 'intuitionistic logic', which is the logic between mathematical intuitionism.

HomePage | Recent Changes | Preferences
Search: