Re: William T. Parry gets rid of Disjunction introduction
olcott <[email protected]>
| Newsgroups | sci.logic,comp.theory,sci.math,comp.ai.philosophy |
|---|---|
| Organization | A noiseless patient Spider |
| Message-ID | <[email protected]> |
On 7/3/2026 3:17 AM, Mikko wrote: > On 02/07/2026 17:37, olcott wrote: >> >> x = "The Moon is made from green cheese" >> y = "Donald Trump is the one and only Lord and Savior Jesus Christ: >> POE concludes (x ∧ ¬x) ⊢ y >> >> "the principle of explosion is the theorem according to >> which any statement can be proven from a contradiction" >> https://en.wikipedia.org/wiki/Principle_of_explosion >> >> When you pay attention to the meaning of the words >> and correctly apply correct semantic entailment on >> the basis of the meaning of those words then the >> principle of explosion is a PSYCHOTIC BREAK FROM REALITY. > > No, it is not. The premise x above is a break from reality. But that > is not in logic, it was introduced by you. Even without the principle > of explosion it is possible to infer a false conclusion from a false > premise. Yes. From "I am 35 feet tall" ⊢ "I am 35 feet tall" and as you said my premise is literally FALSE (P ∧ ~P) ⊢ FALSE > The principle of explosion merely facilitates tinding a > conclusion that is so obviously false that it convincingly proves > that the remise is false. There is nothing semantically relevant that can be proven from a contradiction besides bare FALSE and bare FALSE only entails bare FALSE. > But false is false even if the proof is > something less obvious. > -- Copyright 2026 Olcott My 28 year goal has been to make "true on the basis of meaning expressed in language" reliably computable for the entire body of knowledge. The complete structure of this system is now defined. The entire body of knowledge expressed in language is comprised of two types of relations between finite strings: (a) *Axioms* Expressions of language that are stipulated to be true. My system bridges the analytic/synthetic distinction by expressly encoding all empirical "atomic facts" in a formal language such as CycL of the Cyc project. (b) *Inference Rules* Expressions of language that are semantically entailed syntactically from (a) and/or (b).