Path: ...!weretis.net!feeder8.news.weretis.net!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
Date: Tue, 14 May 2024 21:59:43 -0500
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <v218f1$l2sj$1@dont-email.me>
References: <v1mljr$1q5ee$4@dont-email.me> <v1mnuj$lbo5$12@i2pn2.org>
 <v1mp1l$1qr5e$4@dont-email.me> <v1mpsh$lbo4$6@i2pn2.org>
 <v1ms2o$1rkit$1@dont-email.me> <v1prtb$2jtsh$1@dont-email.me>
 <v1qjb1$2ouob$2@dont-email.me> <v1qnfv$2q0t7$1@dont-email.me>
 <v1qtnk$2rdui$2@dont-email.me> <v1qvku$qvg3$5@i2pn2.org>
 <v1r0fg$2rva6$1@dont-email.me> <v1r1ci$qvg3$6@i2pn2.org>
 <v1r276$2shtf$1@dont-email.me> <v1r932$qvg3$8@i2pn2.org>
 <v1rdr5$30gkq$1@dont-email.me> <v1rggn$qvg3$11@i2pn2.org>
 <v1rhff$31ege$1@dont-email.me> <v1rhqr$qvg2$3@i2pn2.org>
 <v1rj05$31n8h$2@dont-email.me> <v1rkt4$qvg2$4@i2pn2.org>
 <v1rlj7$324ln$2@dont-email.me> <v1rn85$qvg3$12@i2pn2.org>
 <v1s25g$38fdl$1@dont-email.me> <v1ssv3$qvg3$15@i2pn2.org>
 <v1ta68$3hc9t$1@dont-email.me> <v1ub9v$v37v$1@i2pn2.org>
 <v1ugp1$3tnr6$1@dont-email.me> <v1uie1$v37v$16@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 15 May 2024 04:59:46 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0b1a5f306bf9a6832a28841b3fc547c1";
	logging-data="691091"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+SmZDTOok3NqerULzm7r16"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:B54wrBHd6rrYFSeuAn/w3Y3t3Jo=
Content-Language: en-US
In-Reply-To: <v1uie1$v37v$16@i2pn2.org>
Bytes: 3583

On 5/13/2024 9:31 PM, Richard Damon wrote:
> On 5/13/24 10:03 PM, olcott wrote:
>>>
>>> Remember, p defined as ~True(L, p) is BY DEFINITION a truth bearer, 
>>> as True must return a Truth Value for all inputs, and ~ a truth valus 
>>> is always the other truth value.
>>>
>>
>> Can a sequence of true preserving operations applied to expressions
>> that are stipulated to be true derive p? 
>
> No, so True(L, p) is false
> and thus ~True(L, p) is true.
> 
>>
>> Can a sequence of true preserving operations applied to expressions
>> that are stipulated to be true derive ~p?
> 
> No, so False(L, p) is false,
> 

*Below you already forgot what you said above*
*Below you already forgot what you said above*
*Below you already forgot what you said above*

On 5/14/2024 9:16 PM, Richard Damon wrote:
 > Unless you answer what True(L, x) needs to return when x is defined to
 > be ~True(L, x), you are just showing yourself to be an ignorant liar.

  True(L, x) is false
False(L, x) is false

I really have spent many thousands of hours on this one key point.
There is no detail that I have overlooked.

It has only been recently that I defined the algorithm for True(L,x)
It has only been recently that I defined the algorithm for True(L,x)
It has only been recently that I defined the algorithm for True(L,x)

True(L,x) returns true when x is derived from a set of truth preserving
operations from finite string expressions of language that have been
stipulated to have the semantic value of Boolean true. False(L,x) is
defined as True(L,~x).

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