Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: The key undecidable instance that I know about --- Truth-bearers
 ONLY
Date: Sun, 16 Mar 2025 07:33:29 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <5d72e950f52cd111995f0cca4b542d4e843c7174@i2pn2.org>
References: <vqkib1$r5np$1@dont-email.me>
 <3b57384a57c71e1880fe3f1df975003c1d743c07@i2pn2.org>
 <vqksgr$sf7f$2@dont-email.me>
 <c2a4c70287c029f462d5579a8602746386f546fc@i2pn2.org>
 <vql4mq$uv13$1@dont-email.me>
 <9a2fbcc7a803bc91d320117f8c8e03e03799e9b3@i2pn2.org>
 <vqlmtf$11p4p$2@dont-email.me>
 <95ca0b344ae29f6911a73c655ddbe1c7214f8519@i2pn2.org>
 <vqo4ke$1l6i0$1@dont-email.me>
 <c5b83ef1ae7f77e3ff1fe97dcb557af5380c2ddd@i2pn2.org>
 <vqo7or$1l6i0$3@dont-email.me> <vqo8bf$1lehl$1@dont-email.me>
 <vr4c6h$3u6l5$1@dont-email.me>
 <c1d1dcbd98982312f2073f3211120ea8e69f7284@i2pn2.org>
 <vr594q$m5ov$3@dont-email.me>
 <a3d8e54bb1f270002760a285e7e02330ce18f0b7@i2pn2.org>
 <vr5dl1$q4oj$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 16 Mar 2025 11:33:29 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="423216"; 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: <vr5dl1$q4oj$6@dont-email.me>
Bytes: 5607
Lines: 107

On 3/15/25 10:39 PM, olcott wrote:
> On 3/15/2025 9:13 PM, Richard Damon wrote:
>> On 3/15/25 9:22 PM, olcott wrote:
>>> On 3/15/2025 3:44 PM, Richard Damon wrote:
>>>> On 3/15/25 1:08 PM, olcott wrote:
>>>>> On 3/10/2025 9:49 PM, dbush wrote:
>>>>>> On 3/10/2025 10:39 PM, olcott wrote:
>>>>>>> On 3/10/2025 9:21 PM, Richard Damon wrote:
>>>>>>>> On 3/10/25 9:45 PM, olcott wrote:
>>>>>>>>> On 3/10/2025 5:45 PM, Richard Damon wrote:
>>>>>>>>>> On 3/9/25 11:39 PM, olcott wrote:
>>>>>>>>>>>
>>>>>>>>>>> LP := ~True(LP)  DOES SPECIFY INFINITE RECURSION.
>>>>>>>>>>
>>>>>>>>>> WHich is irrelevent, as that isn't the statement in view, only 
>>>>>>>>>> what could be shown to be a meaning of the actual statement.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> The Liar Paradox PROPERLY FORMALIZED <is> Infinitely recursive
>>>>>>>>> thus semantically incorrect.
>>>>>>>>
>>>>>>>> But is irrelevent to your arguement.
>>>>>>>>
>>>>>>>>
>>>>>>>>>
>>>>>>>>> "It would then be possible to reconstruct the antinomy of the liar
>>>>>>>>>   in the metalanguage, by forming in the language itself a 
>>>>>>>>> sentence"
>>>>>>>>
>>>>>>>> Right, the "Liar" is in the METALANGUAGE, not the LANGUAGE where 
>>>>>>>> the predicate is defined.
>>>>>>>>
>>>>>>>> You are just showing you don't understand the concept of 
>>>>>>>> Metalanguage.
>>>>>>>>
>>>>>>>>>
>>>>>>>>> Thus anchoring his whole proof in the Liar Paradox even if
>>>>>>>>> you do not understand the term "metalanguage" well enough
>>>>>>>>> to know this.
>>>>>>>>
>>>>>>>> Yes, there is a connection to the liar's paradox, and that is 
>>>>>>>> that he shows that the presumed existance of a Truth Predicate 
>>>>>>>> forces the logic system to have to resolve the liar's paradox.
>>>>>>>>
>>>>>>>
>>>>>>> bool True(X)
>>>>>>> {
>>>>>>>    if (~unify_with_occurs_check(X))
>>>>>>>      return false;
>>>>>>>    else if (~Truth_Bearer(X))
>>>>>>>     return false;
>>>>>>>    else
>>>>>>>     return IsTrue(X);
>>>>>>> }
>>>>>>>
>>>>>>> LP := ~True(LP)
>>>>>>> True(LP) resolves to false.
>>>>>>
>>>>>> ~True(LP) resolves to true
>>>>>> LP := ~True(LP) resolves to true
>>>>>>
>>>>>> Therefore the assumption that a correct True() predicate exists is 
>>>>>> proven false.
>>>>>
>>>>> When you stupidly ignore Prolog and MTT that
>>>>> both prove there is a cycle in the directed graph
>>>>> of their evaluation sequence. If you have no idea
>>>>> what "cycle", "directed graph" and "evaluation sequence"
>>>>> means then this mistake is easy to make.
>>>>>
>>>>
>>>> WHen you claim that Prolog gives answers for logic system more 
>>>> advanced then it, or make unsupported claims about your FRAUD of 
>>>> MTT, you are just showing your stupidity.
>>>>
>>>> Part of your problem, it seems, is that you don't understand the 
>>>> limitations of Prolog, because you can't understand the logic that 
>>>> Prolog can't handle, because you are just too stupid.
>>>
>>> LP := ~True(LP
>>> Try to explain in your own words what this means:
>>> LP specifies a cycle in the directed graph of its evaluation sequence.
>>>
>>
>> The problem is that LP := ~True(LP) is just an approximation in 
>> representation of the actual statement, since you can understand what 
>> x is in the language.
>>
> 
> "This sentence is not True" <is> LP := ~True(LP)
> Tarski got this WRONG
> 
> 

Why do you say that, where did he say he was trying to do what you claim 
he was saying?

He said he go the antinomy of the liar, that is, he got something with 
the same form of contradiction as the liar paradox, not that he got 
exactly the liar paradox.

Your problem is you are too stupid to understand what is being talked 
about, and just assume that they must be just as stupid as you and not 
expressing themselves well.

In reality, all you are doing is showing your own stupidity.

Sorry, but that is the FACTS, a concept that seems foreign to you.