Re: William T. Parry gets rid of Disjunction introduction
André G. Isaak <[email protected]>
| Newsgroups | sci.logic,comp.theory,comp.ai.philosophy,sci.math |
|---|---|
| Organization | Christians and Atheists United Against Creeping Agnosticism |
| Message-ID | <[email protected]> |
On 2026-07-06 20:44, olcott wrote: > On 7/6/2026 9:41 PM, André G. Isaak wrote: >> On 2026-07-06 20:24, olcott wrote: >> >>> ∀x(φ(x) ∧ ¬φ(x)) ⊢ ⊥ >>> and >>> Γ ⊢ ⊥ >>> -------------------- >>> derivation terminated >> >> That's simply gibberish. >> >> André >> > > How do you think that: > From a contradiction nothing follows > should be encoded? Since you don't understand the formalism you're trying to use, why bother trying to formalize it? You can simply state it in English. but what you're stating is simply false. The fact that *anything* follows from a contradiction isn't some axiom that can be removed from standard logic and replaced with something else. It's a consequence of the basic definitions used. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.