News for hackers. Stuff that matters.
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:

  To prove A, assume not-A and reach a contradiction
This is the non-constructible reasoning par excellence, but the following weaker form is constructible:

  To prove not-A, assume A and reach a contradiction
Intuitionistic logic also allows so-called Ex Falso:

  To prove A, reach a contradiction (without assuming not-A)
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.

There are no comments on this comment yet.