Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 15. May 2024, 04:59:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v218f1$l2sj$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer