Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct Date: Sun, 10 Nov 2024 16:00:11 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <10b9fd8cb75d3432482ee87143eca266235db750@i2pn2.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 10 Nov 2024 21:00:15 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1871941"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 8514 Lines: 169 On 11/10/24 3:07 PM, olcott wrote: > On 11/10/2024 1:13 PM, Richard Damon wrote: >> On 11/10/24 10:11 AM, olcott wrote: >>> On 11/10/2024 4:03 AM, Alan Mackenzie wrote: >>>> In comp.theory olcott wrote: >>>>> On 11/9/2024 4:28 PM, Alan Mackenzie wrote: >>>>>> olcott wrote: >>>>>>> On 11/9/2024 3:45 PM, Alan Mackenzie wrote: >>>> >>>> [ .... ] >>>> >>>>>>>> Gödel understood mathematical logic full well (indeed, played a >>>>>>>> significant part in its development), >>>> >>>>>>> He utterly failed to understand that his understanding >>>>>>> of provable in meta-math cannot mean true in PA unless >>>>>>> also provable in PA according to the deductive inference >>>>>>> foundation of all logic. >>>> >>>>>> You're lying in your usual fashion, namely by lack of expertise. >>>>>> It is >>>>>> entirely your lack of understanding.  If Gödel's proof was not >>>>>> rigorously >>>>>> correct, his result would have been long discarded.  It is correct. >>>> >>>>> Even if every other detail is 100% correct without >>>>> "true and unprovable" (the heart of incompleteness) >>>>> it utterly fails to make its incompleteness conclusion. >>>> >>>> You are, of course, wrong here.  You are too ignorant to make such a >>>> judgment.  I believe you've never even read through and verified a >>>> proof >>>> of Gödel's theorem. >>>> >>> >>> If you had a basis in reasoning to show that I was wrong >>> on this specific point you could provide it. You have no >>> basis in reasoning on this specific point all you have is >>> presumption. >> >> If you gave some actual formal basis for your reasoning, then perhaps >> a formal reply could be made. >> >> Since your arguement starts with mis-interpreatations of what Godel's >> proof does, you start off in error. >> >>> >>>>> Perhaps you simply don't understand it at that level >>>>> thus will never have any idea that I proved I am correct. >>>> >>>> More lies.  You don't even understand what the word "proved" means. >>>> >>> >>> Here is what Mathworld construes as proof >>> A rigorous mathematical argument which unequivocally >>> demonstrates the truth of a given proposition. A >>> mathematical statement that has been proven is called >>> a theorem. https://mathworld.wolfram.com/Proof.html >>> >>> the principle of explosion is the law according to which any >>> statement can be proven from a contradiction. >>> https://en.wikipedia.org/wiki/Principle_of_explosion >> >> Right, and I have shown your that proof, and you haven't shown what >> statement in that proof is wrong, so you have accepted it. >> >> Thus, YOU are the one disagreeing with yourself. >> >>> >>> Validity and Soundness >>> A deductive argument is said to be valid if and only >>> if it takes a form that makes it impossible for the >>> premises to be true and the conclusion nevertheless >>> to be false. Otherwise, a deductive argument is said >>> to be invalid. >>> >>> A deductive argument is sound if and only if it is >>> both valid, and all of its premises are actually true. >>> Otherwise, a deductive argument is unsound. >>> https://iep.utm.edu/val-snd/ >>> >>> Here is the PL Olcott correction / clarification of all of >>> them. A proof begins with a set of expressions of language >>> known to be true (true premises) and derives a conclusion >>> that is a necessary consequence by applying truth preserving >>> operations to the true premises. >> >> But you aren't allowed to CHANGE those meanings. >> > > Within the philosophy of logic assumptions > can be changed to see where t that lead. But the theories you are talking about aren't in the "Phiosophy of Logic" but in Formal Logic systems, where you can't change them. > >> Sorry, but until you actually and formally fully define your logic >> system, you can't start using it. >> > > We don't really have a symbols for truth preserving operations. So, I guess you are just admitting that you can't define what you are talking about. > When C is a necessary consequence of the Haskell Curry > elementary theorems of L (Thus stipulated to be true in L) > then and only then is C is True in L. > https://www.liarparadox.org/Haskell_Curry_45.pdf And "Necessary Consequence" in formal logic means that if follows from a (potentailly infinite) series of the defined operation on the defined stipulated truths. Godel did exactly that, showing that his statement G, which is that there does not exist a number g that satisfies a particular primative recursive relationship, MUST be true, and can not be proven in that system, as the only sequence in the system that establishes the necessary consequence is one of infinite length, namely being the testing of every possible natural number, and seeing that it does not meet the requirements. > > (Haskell_Curry_Elementary_Theorems(L) □ C) ≡ True(L, C) > > This simple change does get rid of incompleteness because > Incomplete(L) is superseded and replaced by Incorrect(L,x). Nope, just proves that you are too stupid to understand what you are talking about. > >> And, if you want to talk in your logic system, you can't say it >> refutes arguments built in other logic system. >> > > ZFC proves that naive set theory was incoherent. > Russell's paradox still exists in incoherent naive set theory. > No, Russels's paradox proved that naive set theory was incoherent. ZFC was an alternate system proposed to fix the issue, and is immune to Russell's paradox, as it doesn't allow the logic of Russell's paradox to be formed. Note, in some senses ZFC is weaker than Naive Set Theory, as there are concepts in Naive Set Theory that can't be mapped to ZFC, and thus there are other Set Theories used in some applications. As has been pointed out, you are free to try to define your alternate system of logic, but if you want to do that, you need to actually do the work to create it, and not just have a concept of a plan. You can perhaps talk about your ideas, and what they might or might not be able to do, but until you actually build the system, and show what it can do, and PROVE that it can meet the needed requirements, you can't say that you can "solve" the problems that you are trying to refute. A lot of what you talk about is actually old and has been tried before (but of course since you don't know history, you are doomed to repeat it) and while sometimes the results are interesting, they inverably result in systems much "weaker" than classical logic, and I don't think anyone has gotten a system to the point of support a good equivalent of ========== REMAINDER OF ARTICLE TRUNCATED ==========