Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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:01:25 -0600
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <vgrafl$j1e0$1@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Nov 2024 23:01:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="5e3d204d1939e67d6d9b2cbe8090f3d7";
	logging-data="624064"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/4GmhlMa7a6AZejL7UMiKX"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+3DjLz9YXv3qPstr0wl/oEmB01Q=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 241110-4, 11/10/2024), Outbound message
In-Reply-To: <5b139a59da876d152416698f9a3da421af577560@i2pn2.org>
Content-Language: en-US
Bytes: 3070

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".

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer