Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception ---
 philosophy of logic
Date: Sat, 1 Mar 2025 11:25:19 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <82c622bcbeb9712d3939e918a3c43ca5d9956b5b@i2pn2.org>
References: <vnh0sq$35mcm$1@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>
 <vpv7jo$8sdm$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 1 Mar 2025 16:25:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2368349"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vpv7jo$8sdm$2@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 3/1/25 10:03 AM, olcott wrote:
> 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.
> 
> 

And the Philosophy of Logic has no power of the Logic System that define 
themselfs. Your problem is it seems you don't even understand the 
Philosophy of Logic, because you can't even use it correctly.

The fact that you "logic" has been shown to be based on lies, and you 
have never defended those lies by even trying to show a reputable source 
to back them up, just shows that you are nothing but an ignorant 
pathetic pathological lying idiot with a total disregard for the truth.

That will be your eternal memory that you leave behind.