Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theoryDate : 15. May 2024, 13:16:00
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v225hg$13jac$1@i2pn2.org>
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 29
User-Agent : Mozilla Thunderbird
On 5/15/24 12:11 AM, olcott wrote:
On 5/13/2024 9:31 PM, Richard Damon wrote:
On 5/13/24 10:03 PM, olcott wrote:
On 5/13/2024 7:29 PM, Richard Damon 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,
>
*PLEASE STUDY THIS VERY CAREFULLY SO WE DON'T HAVE TO KEEP*
*GOING OVER THE EXACT SAME POINT MY SHOULDER IS HURTING*
On 5/14/2024 10:44 PM, Richard Damon wrote:
> So, what result SHOULD True(L, x) return? when x is
> the expression ~True(L, x)
>
*YOU ALREADY AGREED THAT*
On 5/13/2024 9:31 PM, Richard Damon wrote:
> No, so True(L, p) is false
*WHEN*
>> On 5/13/2024 7:29 PM, Richard Damon wrote:
>>> ... p defined as ~True(L, p) ...
So, if x being true is defined as there exists a sequence of truth perserving operations to the truth makes, false needs to be defined as a similar sequence of operations to ~x. (or is this not true an ~ isn't always defined?)
So, the True predicate can't correctly say True(L, x) is either, so its result must be that it is a "non-truth-bearer" and thus True can not be a predicate.
Because you don't seem to understand the need for obeying the requirements, and what the requirements actually are, you don't seem to understand the contradiction in your system.
Which of the following is the case in your system, or what other case exist.
FAILURE TO ANSWER WILL PROVE YOU DON'T KNOW WHAT YOU ARE TALKING ABOUT,
so for x defined as ~True(L, x) is
1) True(L, x) is true, in which case x is ~true, or false, so we have the case that True(L, false) has been declared to be true.
2) True(L,x) is false, in which case x is ~false, or true, so we have the case that True(L, true) has been declared to be false.
3) True(L, x) is not a truth value, in which case True is not a predicate.
4) ~ doesn't work, some time ~false is false or ~true is true.
…