Re:To Be or Not to Be – Mathematical Existence and the Axiom...
by loicd on Wednesday November 30, 2022 @04:23AM
(#33798596)
There are weaker forms, those accepted in intuitionistic logic. The law of excluded middle usually appears in mathematical proofs in the form of reasoning by contradiction:
This is the non-constructible reasoning par excellence, but the following weaker form is constructible:
Intuitionistic logic also allows so-called Ex Falso:
Now, if what you wanted is a form of LEM that is non-constructible but 'less' non-constructible than LEM, then I don't know.
[ Parent
| on HN ]
There are no comments on this comment yet.