Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception ---
 philosophy of logic
Date: Sat, 1 Mar 2025 09:03:20 -0600
Organization: A noiseless patient Spider
Lines: 50
Message-ID: <vpv7jo$8sdm$2@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <vp10ic$1e7iv$2@dont-email.me>
 <vp6qjb$2ousc$1@dont-email.me> <vpb1le$3jct4$13@dont-email.me>
 <0f7cd503773838ad12f124f23106d53552e277b8@i2pn2.org>
 <vpbknk$3qig2$1@dont-email.me> <vpc560$3sqf7$1@dont-email.me>
 <vpd5r4$2q85$2@dont-email.me>
 <7e3e9d35d880cfcad12f505dfb39c5650cdd249e@i2pn2.org>
 <vpfo75$js1o$1@dont-email.me>
 <f3c8332f4b42f8e085d4d4dac017ccc8a0dc5a5f@i2pn2.org>
 <vpgt6o$tiun$1@dont-email.me>
 <3cf165ef9793e844dc9d5db82aecbc47f9545367@i2pn2.org>
 <vpiubu$1fvqe$1@dont-email.me>
 <080bf2b1c322247548c6ec61c9f054359062ccd4@i2pn2.org>
 <vpj8c9$1hivf$3@dont-email.me>
 <6fc61a762b56308f9919993f29ba3e77f7ba84c7@i2pn2.org>
 <vpl2q5$23vks$6@dont-email.me>
 <41ca355a1f535e767e17d3f4df3d404eb1e61cef@i2pn2.org>
 <vplr1t$28j3a$2@dont-email.me> <vps1n5$3k4j1$1@dont-email.me>
 <vptbtg$3rlov$2@dont-email.me>
 <f2e04c396dbde6131f5c9cc0b7ff7dfbe887a983@i2pn2.org>
 <vptjsf$3st19$7@dont-email.me>
 <e07a3926bb1c5279d87403b1246659c8c28e8b09@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 01 Mar 2025 16:03:22 +0100 (CET)
Injection-Info: dont-email.me; posting-host="97f905fec9072c5c6bc4c69a1afd3e8e";
	logging-data="291254"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Ge1tKc7Gu+O7dD01oQABr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yeqRwrTOyvYAdZZVTkEnySeeqc0=
In-Reply-To: <e07a3926bb1c5279d87403b1246659c8c28e8b09@i2pn2.org>
X-Antivirus: Norton (VPS 250301-4, 3/1/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 3815

On 3/1/2025 6:49 AM, Richard Damon wrote:
> On 2/28/25 7:20 PM, olcott wrote:
>> On 2/28/2025 5:20 PM, Richard Damon wrote:
>>> On 2/28/25 5:04 PM, olcott wrote:
>>>>
>>>> The bottom line here is that expressions that do not have
>>>> a truth-maker are always untrue. Logic screws this up by
>>>> overriding the common meaning of terms with incompatible
>>>> meanings. Provable(common) means has a truth-maker.
>>>>
>>>>
>>>>
>>>
>>> But the problem is you try to make statements that have been shown to 
>>> have a truth-make untrue, because you don't understand the conneciton 
>>> to the truth-maker.
>>>
>>
>> Your complete ignorance of the philosophy of logic has
>> never been my ignorance of logic. Logic says carefully
>> memorize the rules and do not violate these rules.
>>
>> Philosophy of logic says: What happens when we totally
>> change these rules in many different ways?
>>
>> Do we get a different result when we totally change all
>> of these rules?
>>
>> What if unprovable meant untrue?
>> Would that get rid of undecidability?
>>
>>
>>
> 
> And thus you admit that NONE of your statement applies to the fields 
> they apply to, 

Philosophy of logic corrects the issues with logic.
When we retain the original meanings of the terms
then provable(common) is the truth-maker for true(common).

It is only the weird idiomatic divergence from these common
meanings of common terms using terms-of-the-art meanings
that enables incompleteness(math) and undecidability(logic)
to exist.


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