Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: The philosophy of logic reformulates existing ideas on a new
 basis --- infallibly correct
Date: Wed, 13 Nov 2024 20:09:27 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <4df1e62967620a2cb8e119de6da3917202716c46@i2pn2.org>
References: <vfli1h$fj8s$1@dont-email.me> <vgnsho$3qq7s$2@dont-email.me>
 <vgo157$n00$1@news.muc.de> <vgo4ia$3sfle$1@dont-email.me>
 <vgo7ri$30iv$1@news.muc.de> <vgo89i$3t6n8$1@dont-email.me>
 <vgoand$2464$1@news.muc.de> <vgobg7$3tnrn$2@dont-email.me>
 <vgodcf$kll$1@news.muc.de> <vgoed9$3ucjr$1@dont-email.me>
 <vgoi51$kll$2@news.muc.de> <vgojp1$3v611$1@dont-email.me>
 <vgol50$kll$3@news.muc.de> <vgom8r$3vue8$1@dont-email.me>
 <vgonlv$kll$4@news.muc.de> <vgoqv6$qht$2@dont-email.me>
 <vgq0dv$1trm$1@news.muc.de> <vgqifj$e0q0$2@dont-email.me>
 <e3866f9771ef87549806453ea06529aed40c6789@i2pn2.org>
 <vgr3qg$hf6i$1@dont-email.me>
 <5b139a59da876d152416698f9a3da421af577560@i2pn2.org>
 <vgrafl$j1e0$1@dont-email.me>
 <89d62cf2d29f44ea454c2e729ac0ea373f242db0@i2pn2.org>
 <vh1aet$21rui$1@dont-email.me>
 <4049456a69741bfb902f59eeff4ada382692f79a@i2pn2.org>
 <vh3au4$2e37l$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 14 Nov 2024 01:09:27 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2350234"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vh3au4$2e37l$2@dont-email.me>
Bytes: 6262
Lines: 118

On 11/13/24 5:58 PM, olcott wrote:
> On 11/13/2024 5:52 AM, Richard Damon wrote:
>> On 11/12/24 11:37 PM, olcott wrote:
>>> On 11/11/2024 9:06 AM, Richard Damon wrote:
>>>> On 11/10/24 5:01 PM, olcott wrote:
>>>>> On 11/10/2024 2:39 PM, joes wrote:
>>>>>> Am Sun, 10 Nov 2024 14:07:44 -0600 schrieb olcott:
>>>>>>> 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 <polcott333@gmail.com> wrote:
>>>>>>>>>>> On 11/9/2024 4:28 PM, Alan Mackenzie wrote:
>>>>>>>>>>>> olcott <polcott333@gmail.com> wrote:
>>>>>>>>>>>>> On 11/9/2024 3:45 PM, Alan Mackenzie wrote:
>>>>>>
>>>>>>>> Sorry, but until you actually and formally fully define your logic
>>>>>>>> system, you can't start using it.
>>>>>>> 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.
>>>>>>> This simple change does get rid of incompleteness because 
>>>>>>> Incomplete(L)
>>>>>>> is superseded and replaced by Incorrect(L,x).
>>>>>> I still can’t see how this makes ~C provable.
>>>>>>
>>>>>
>>>>> If C is not provable it is merely rejected as incorrect
>>>>> not used as any basis to determine that L is incomplete.
>>>>>
>>>>> For many reasons: "A sequence of truth preserving operations"
>>>>> is a much better term than the term "provable".
>>>>>
>>>>
>>>> But since there exist statements that are True but not Provable. 
>>>> except by your incorrect definition of Provable, your logic is just 
>>>> broken.
>>>>
>>>
>>> There cannot possibly be any expressions of language that
>>> are true in L that are not determined to be true on the
>>> basis of applying a sequence of truth preserving operations
>>> in L to Haskell_Curry_Elementary_Theorems in L.
>>>
>>
>> Right, but there can be expressions of language that are true in L by 
>> an INFINITE sequence of truth-preserving operations that are not 
>> provable which needs a FINITE sequence of truth-preserving operations.
>>
> 
> That is not relevant to my point. The Goldbach conjecture
> is provable or refutable by Proof(Olcott).

So, Proof(Olcott) is not what determines Incompleteness, as 
Proof(Olcott) doesn't establish Knowledge, because Proof(Olcott) is just 
a worthless synonym for Truth.

> 
> Expressions that are not provable or refutable by
> Proof(Olcott) are rejected as erroneous rather than
> ruling Formal System(Olcott) is incomplete.

So, Proof(Olcott) isn't a viable term for knowledge, and thus is worthless.

> 
> It never has been the case the the inability to prove or
> refute a self-contradictory expression of language ever
> makes its formal system in any way incomplete.

Since that is the DEFINITION of "Completeness" you are just proving your 
stupidity.

> 
> The only reason that Gödel incompleteness ever worked
> is that it relied on a screwed up definition of True(),
> that diverges from the way that truth really works.

Nope. It uses the totally normal definition of True, and Provable.

YOU are the one that has diverges from the way that truth really works, 
as you have shown it to be a concept foreign to you.

> 
> Every expression that derives all of its truth on the
> basis of relations to other expressions is simply untrue
> when it totally lacks these relations.

But G doesn't do that. G is established in PA based on an infinite chain 
of truth perserving operation in PA from the elementary truths of PA.

> 
> The only other kind of truth that exists is truth that
> relies on direct observation of physical stimuli.

Which is irelevent, just showing your stupidity.

> 
>> INFINITE is not FINITE so there is a difference.
>>
>>> https://www.liarparadox.org/Haskell_Curry_45.pdf
>>> Everything that is true on the basis of its meaning
>>> expressed in language is shown to be true this exact
>>> same way.
>>>
>>
>> But not provable.
>>
>> Truth allows infinite sequences.
>>
>> Provable does.
>>
>> Trying to Define Olcott-Provable to allow infinite sequences, doesn't 
>> make actual Provable allow it.
>>
>> It is just a LIE to use mis-defined terms in your logic, and that 
>> shows that you fundamentally don't understand what you are talking about.
> 
>