Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: True on the basis of meaning --- Good job Richard ! ---Socratic
 method (agreement)
Date: Wed, 22 May 2024 20:07:48 -0500
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <v2m4t5$1e458$1@dont-email.me>
References: <v1mljr$1q5ee$4@dont-email.me> <v290i2$1a3tk$21@i2pn2.org>
 <v2937a$2jfci$1@dont-email.me> <v294e1$1a3tk$22@i2pn2.org>
 <v297m8$2k4a6$1@dont-email.me> <v2a7p7$1ct7p$2@i2pn2.org>
 <v2ad5l$2qlho$1@dont-email.me> <v2ae6h$1ct7p$5@i2pn2.org>
 <v2am4p$2sdl6$1@dont-email.me> <v2amkc$1ct7p$13@i2pn2.org>
 <v2aobj$2sdma$5@dont-email.me> <v2ap1t$1ct7o$9@i2pn2.org>
 <v2b0jd$2u8oi$1@dont-email.me> <v2b17b$1ct7p$16@i2pn2.org>
 <v2b1dr$2u8oi$3@dont-email.me> <v2b9mo$1ecj9$2@i2pn2.org>
 <v2bb6d$308qd$2@dont-email.me> <v2bc5o$1ecj9$3@i2pn2.org>
 <v2bsog$36vvc$1@dont-email.me> <v2cpb1$1g2n8$1@i2pn2.org>
 <v2cvj6$3ddo5$1@dont-email.me> <v2d0qp$3dlkm$1@dont-email.me>
 <v2d1io$3dplm$1@dont-email.me> <v2evl5$3snmj$1@dont-email.me>
 <v2g2dp$3ugq$1@dont-email.me> <v2hkkl$ggq9$1@dont-email.me>
 <v2ibhe$ksut$1@dont-email.me> <v2k8go$1363g$1@dont-email.me>
 <v2l4hr$188bi$3@dont-email.me> <v2l87m$19619$1@dont-email.me>
 <v2lies$1b4kp$1@dont-email.me> <v2ltgl$1nrfv$2@i2pn2.org>
 <v2m0m5$1dcof$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 23 May 2024 03:07:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ba728845a682305e7e13b3854d529db3";
	logging-data="1511592"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+gjJzhPn/ADj4UKDhDpwnZ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:jjY8CJGvcX6vobCFhHZ+r1RbMcA=
In-Reply-To: <v2m0m5$1dcof$2@dont-email.me>
Content-Language: en-US
Bytes: 3258

On 5/22/2024 6:55 PM, olcott wrote:
> On 5/22/2024 6:01 PM, Richard Damon wrote:
>> On 5/22/24 3:52 PM, olcott wrote:
>>>
>>> I AM TALKING ABOUT THE EXISTENCE OR NON-EXISTENCE OF
>>> AN ACTUAL SEQUENCE OF TRUTH PRESERVING OPERATIONS FROM
>>> EXPRESSIONS OF LANGUAGE KNOWN TO BE TRUE
>>
>> So, you aren't talking about Tarski's proof of the impossibility to 
>> define a Truth Predicate per his definition?
>>

The definition should be ‘materially adequate’ (trafny – a better
translation would be ‘accurate’). This means that the objects satisfying
ϕ should be exactly the objects that we would intuitively count as being
true sentences of L, and that this fact should be provable from the
axioms of the metalanguage.
https://en.wikipedia.org/wiki/Semantic_theory_of_truth

My system does not allow two different levels of L where one can be 
confused into thinking that True(L,LP) is false makes True(M,LP) true.
https://liarparadox.org/Tarski_275_276.pdf

LP := ~True(L, LP)
  True(L,LP)  is false.
  True(L,~LP) is false.
~True(L,LP)  is true.
~True(L,~LP) is true.

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