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 ---
 Ultimate Foundation of Truth
Date: Fri, 28 Feb 2025 17:41:09 -0600
Organization: A noiseless patient Spider
Lines: 73
Message-ID: <vpthin$3st19$1@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <vnsm90$1pr86$1@dont-email.me>
 <vnte6s$1tra8$1@dont-email.me> <vnv4tf$2a43e$1@dont-email.me>
 <vo0249$2eqdl$1@dont-email.me> <vo1qae$2s4cr$1@dont-email.me>
 <vo2i10$302f0$1@dont-email.me> <vo4nj4$3f6so$1@dont-email.me>
 <vo5btf$3ipo2$1@dont-email.me> <vo7ckh$q2p$1@dont-email.me>
 <vo7tdg$36ra$6@dont-email.me> <voa09t$idij$1@dont-email.me>
 <7e532aaf77653daac5ca2b70bf26d0a3bc515abf@i2pn2.org>
 <voceuj$14r1q$1@dont-email.me> <vocp21$16c4e$1@dont-email.me>
 <vof6hb$1nh1f$1@dont-email.me> <voflif$1q1mh$2@dont-email.me>
 <vohsmu$29krm$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> <vphcbf$10k3h$1@dont-email.me>
 <vpip7a$1euhp$3@dont-email.me> <vpknvj$220kr$1@dont-email.me>
 <vplbji$25vp2$4@dont-email.me> <vps46b$3kjfq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 01 Mar 2025 00:41:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="f774896c05da03d2a2f11555a920a204";
	logging-data="4092969"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+rUDz2+wSC+Y/eWzx4vWMx"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:+y05Im6hqgEFZqhnYUJAWWw6I3I=
X-Antivirus: Norton (VPS 250228-8, 2/28/2025), Outbound message
Content-Language: en-US
In-Reply-To: <vps46b$3kjfq$1@dont-email.me>
X-Antivirus-Status: Clean
Bytes: 4792

On 2/28/2025 4:46 AM, Mikko wrote:
> On 2025-02-25 21:10:10 +0000, olcott said:
> 
>> On 2/25/2025 9:35 AM, Mikko wrote:
>>> On 2025-02-24 21:44:10 +0000, olcott said:
>>>
>>>> On 2/24/2025 2:58 AM, Mikko wrote:
>>>>> On 2025-02-22 18:42:44 +0000, olcott said:
>>>>>
>>>>>> On 2/22/2025 3:25 AM, Mikko wrote:
>>>>>>> On 2025-02-22 04:44:35 +0000, olcott said:
>>>>>>>
>>>>>>>> On 2/21/2025 7:05 PM, Richard Damon wrote:
>>>>>>>>> On 2/21/25 6:19 PM, olcott wrote:
>>>>>>>>>> On 2/20/2025 2:54 AM, Mikko wrote:
>>>>>>>>>>> On 2025-02-18 03:59:08 +0000, olcott said:
>>>>>>
>>>>>>
>>>>>>>>>> Tarski anchored his whole proof in the Liar Paradox.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> By showing that given the necessary prerequisites, The 
>>>>>>>>> equivalent of the Liar Paradox was a statement that the Truth 
>>>>>>>>> Predicate had to be able to handle, which it can't.
>>>>>>>>>
>>>>>>>>
>>>>>>>> It can be easily handled as ~True(LP) & ~True(~LP), Tarski just
>>>>>>>> didn't think it through.
>>>>>>>
>>>>>>> No, it can't. Tarski requires that True be a predicate, i.e, a truth
>>>>>>> valued function of one term.
>>>>>>
>>>>>> It does not matter a whit what the Hell his misconceptions
>>>>>> required.
>>>>>
>>>>> It is not required by any misconception. It is required by the
>>>>> meanings of the words and symbols, in particular "predicare"
>>>>> and "~".
>>>>
>>>> That none of modern logic can handle expressions
>>>> that are not truth bearers is their error and
>>>> short-coming.
>>>
>>> Why should any logic permit formulas that are not truth-bearers?
>>> (Of course, term expressions are not truth-bearers.)
>>
>> Undecidable expressions are only undecidable because they
>> are not truth bearers. Logic ignores this and faults the
>> system and not the expression
> 
> An undecidable expression is a thruth bearer. 

Truth bearer means unequivocally divided into exactly
one of true or false. It assumes something like the
syllogism that has all of its relevant semantics precisely
specified using categorical propositions.

https://en.wikipedia.org/wiki/Syllogism#Basic_structure

see page 6
https://www.researchgate.net/publication/333907915_Proof_that_Wittgenstein_is_correct_about_Godel 


As I independently figured out and Wittgenstein concurs
true in the system must have a truth bearer in the system.

It is a very stupid idea to have provable outside of the system
to mean true in the system. That G is provable in meta-math does
not make G true in math.

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