Path: ...!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 ---
 Ultimate Foundation of Truth
Date: Sat, 1 Mar 2025 07:49:20 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <56fcc6eb9839729ce5cfee96343d6fab7d7a4811@i2pn2.org>
References: <vnh0sq$35mcm$1@dont-email.me> <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>
 <6320ec8cdc4ab9fc06e5001c0b4069132ce1af58@i2pn2.org>
 <vpn8q6$2jkdj$2@dont-email.me>
 <fde9d3850bbfcfbea9597d90419a0e0a1d8c5552@i2pn2.org>
 <vpop70$2vaf3$1@dont-email.me>
 <bd7d954830f64ed5b718b23323fce66b33b4b89a@i2pn2.org>
 <vppt4h$34vin$1@dont-email.me>
 <118757d760bdecf247749f20c8c9b15518be3d33@i2pn2.org>
 <vprcnm$3gqpb$2@dont-email.me>
 <bc0ba48c5fe3b53a9a83a0f5c2ca76882cdf374a@i2pn2.org>
 <vptj1t$3st19$6@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 12:49:20 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2343039"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vptj1t$3st19$6@dont-email.me>
Bytes: 3967
Lines: 54

On 2/28/25 7:06 PM, olcott wrote:
> On 2/28/2025 8:30 AM, Richard Damon wrote:
>> On 2/27/25 11:06 PM, olcott wrote:
>>> On 2/27/2025 7:00 PM, Richard Damon wrote:
>>>> On 2/27/25 9:33 AM, olcott wrote:>>
>>>>> Yes logic is broken when it does not require a truth-maker
>>>>> for every truth. It is also broken when its idiomatic meaning
>>>>> of the term "provable" diverges from the meaning of the term
>>>>> truth-maker. That every truth must have a truth-maker is outside
>>>>> the scope of what you understand.
>>>>
>>>> But it does, it just you don't seem to understand what a truth makee 
>>>> is?
>>>>
>>>> Where was a statement without a truth-maker used?
>>>>
>>>
>>> Logic remains clueless about the philosophical
>>> notion of truth makers and truth bearers and this is
>>> why logic gets these things incorrectly.
>>>
>>
>> No, you remain clueless about the notion of Logic and its rules.
>>
> 
> Only because logic defines "True" in a way that goes against the
> way that True really works is it impossible to define a truth
> predicate in logic.

No, it doesn't

> 
> The biggest mistake that logic makes is failing to understand
> that an expression can only be true when it has a truth bearer.

No it doesn't, it just allows the truth bearer to be an infinite number 
of steps away from the statement.

> 
> Wittgenstein understood this on page 6
> https://www.researchgate.net/ 
> publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel
> 
> True(common) always requires provable(common) simply another
> way of saying every truth requires a truth-maker.
> 

Nope, just more people who don't understand what was said.

Big thing to note, as I understand that where that quote comes from, it 
was unpublished by Wittgenstein, and he may have not published it 
because he later figured out where he was wrong about it.

The fact that you argument keeps on needing to strawman what logic 
actually says, just proves that you are a liar.