Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Why Tarski is wrong --- Montague, Davidson and Knowledge Ontology
 providing situational context.
Date: Fri, 21 Mar 2025 18:55:00 -0500
Organization: A noiseless patient Spider
Lines: 50
Message-ID: <vrku8k$2l2ci$1@dont-email.me>
References: <vr1shq$1qopn$1@dont-email.me> <vr2tti$2kq04$3@dont-email.me>
 <vr3u4l$3idjs$2@dont-email.me> <vr4kkr$48ff$2@dont-email.me>
 <7f68c434c15abfc9d4b645992344f0e851f031a3@i2pn2.org>
 <vr4t3e$bkso$5@dont-email.me> <vr50bg$ed3o$5@dont-email.me>
 <vr5abg$m5ov$6@dont-email.me>
 <8ea8c8f1c661d0f2eef855af9b4c171d4f574826@i2pn2.org>
 <vr6po4$1udpn$7@dont-email.me>
 <4965dcbb84fc29c9ba9d3cea39b59a8608bfeb66@i2pn2.org>
 <vr7v51$2u81k$3@dont-email.me>
 <7db5f56a38a6b6eda2b63acc2568f5dedcc55efd@i2pn2.org>
 <vr9fp6$bv13$5@dont-email.me> <vrbrkd$2ii4j$1@dont-email.me>
 <vrbss5$2j07c$1@dont-email.me>
 <2dd0fa97e2387ba4bca36b40ca16925933b35d9a@i2pn2.org>
 <vrfe7q$1oabl$1@dont-email.me>
 <0e92642bf4519e50ba48d51b52d17749c6e19664@i2pn2.org>
 <vri3va$3egq$1@dont-email.me>
 <9495b0ea31b3c2559cf9515bfabe071d48cc9d39@i2pn2.org>
 <vrinjq$kefg$2@dont-email.me>
 <7e65b56232049fe2b950c1502d33545501e1f185@i2pn2.org>
 <vrkqnt$2h2aq$3@dont-email.me>
 <c04d96e6388cb449c8f55ffc0f21c14039d7ef3f@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 22 Mar 2025 00:55:02 +0100 (CET)
Injection-Info: dont-email.me; posting-host="8fc5f39d68b90f4b93314cf283c9eb8e";
	logging-data="2787730"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+3s52xlgtJxiuZ1QZko/XR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yxNeFPZUL+s4prLe775OBjmm58I=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250321-4, 3/21/2025), Outbound message
In-Reply-To: <c04d96e6388cb449c8f55ffc0f21c14039d7ef3f@i2pn2.org>
Content-Language: en-US

On 3/21/2025 6:39 PM, joes wrote:
> Am Fri, 21 Mar 2025 17:54:53 -0500 schrieb olcott:
>> On 3/21/2025 6:48 AM, Richard Damon wrote:
>>> On 3/20/25 11:49 PM, olcott wrote:
>>>> On 3/20/2025 8:31 PM, Richard Damon wrote:
>>>>> On 3/20/25 6:14 PM, olcott wrote:
>>>>>> On 3/19/2025 8:59 PM, Richard Damon wrote:
>>>>>>> On 3/19/25 5:50 PM, olcott wrote:
>>>>>>>> On 3/18/2025 10:04 PM, Richard Damon wrote:
> 
>>>>>>>>> Part of the problem is that most of what we call "Human
>>>>>>>>> Knowledge" isn't logically defined truth, but is just "Emperical
>>>>>>>>> Knowledge", for which we
>>>>>>>>
>>>>>>>> The set of human knowledge that can be expressed in language
>>>>>>>> provides the means to compute True(X).
>>>>>>>
>>>>>>> Of course not, as then True(x) just can't handle a statement whose
>>>>>>> truth is currently unknown, which it MUST be able to handle
>>>>>>>
>>>>>> It employs the same algorithm as Prolog:
>>>>>> Can X be proven on the basis of Facts?
>>>>>
>>>>> And thus you just admitted that your system doesn't even QUALIFY to
>>>>> be the system that Tarski is talking about.
>>>>> You don't seem to understand that fact, because apparently you can't
>>>>> actually understand any logic system more coplicated than what Prolog
>>>>> can handle.
>>>>>
>>>> This concise specification is air-tight.
>>>> The set of all human general knowledge that can be expressed using
>>>> language has no undecidability or undefinability.
>>>>
>>> Nope. Proven otherwise, and you are just showing your stupidity in
>>> maintaining that claim.
>>>
>> Then try and show ALL OF THE DETAILS OF how when one starts with basic
>> facts and only applies truth preserving operations that True(X) is not
>> always correct.

> Look no further than Gödel's proof: the sentence "this sentence is not
> true" is not true, and neither is its negation, where one of them
> must be, since they are syntactically correct.
> 
(1) That is not Gödel's proof
(2) The Liar Paradox is not a truth bearer.

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