Newsportal USENET - Re: True on the basis of meaning --- Good job Richard ! ---Socratic method

Re: True on the basis of meaning --- Good job Richard ! ---Socratic method

Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 18. May 2024, 03:19:21

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v2937a$2jfci$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 29 30 31 32 33 34
User-Agent : Mozilla Thunderbird

On 5/17/2024 8:33 PM, Richard Damon wrote:

On 5/17/24 9:22 PM, olcott wrote:
On 5/17/2024 8:07 PM, Richard Damon wrote:
>
On 5/13/2024 7:29 PM, Richard Damon wrote:
> Remember, p defined as ~True(L, p) ...
>
You already admitted that True(L,p) and False(L,p) both return false.
This is the correct value that these predicates correctly derived.
>
Right, but that also means that we can show that True(L, true) returns false, which says your logic system is broken by being inconsistant.
>
>
Not at all. Your version of the Truth Teller paradox has
the conventional lack of a truth object as the Liar Paradox
and the Truth Teller paradox: What are they true about?
In other words, you logic doesn't have an absolute idea of truth!!!

It does have an immutably correct notion of {true on the basis
of meaning} and rejects finite strings as not truth bearers on
this basis.

The object that made the statement true, was that True(L, p) said that p wasn't true.

*You agreed that True(L, p) is false and False(L,p) is false*
*You agreed that True(L, p) is false and False(L,p) is false*
*You agreed that True(L, p) is false and False(L,p) is false*

>
This sentence is true.
What is it true about?
It is true about being true.
What is it is true about being true about?
>
This turns out to be Kripke ungrounded yet Kripke did
not know the algorithmic basis for Kripke grounding.
>
*Outline of a Theory of Truth Saul Kripke* (1975)
https://www.impan.pl/~kz/truthseminar/Kripke_Outline.pdf
>
>
>
It seems that now you are now disagreeing with your own self. You are
saying the predicates are broken BECAUSE THEY RETURN THE CORRECT VALUE.
>
>
No, your logic system disagrees with itself, I am just pointing that out.
>
>
All that you pointed out is that you still don't understand
the Truth Teller paradox.
No, YOU don't understand that True MUST be a truth beared, or you are just a liar that your system has a Truth Predicate.
Remember, we started with
p in L is ~True(L, p)
you say True(L, p) is false

*No you said this* (Socratic question)

thus the truth value of p MUST be true, since it is not the falseness of True(L, p)

We test p for True or False if neither it is tossed out on its ass.
It is like we are testing if a person is hungry:
We ask is the person dead? The answer is yes and then you
say what if they are still hungry?

Thus we can say that p is also the equivalent in L of

We sure as Hell cannot correctly say that.
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*

~True(L, ~True(L, p))

~True(English, ~True(English, "a fish")) is true
~True(English, ~True(English, "This sentence is not true")) is true
~True(English, ~True(English, "This sentence is true")) is true

Which since we showed that True(L, p) was false, that means that the outer True predicate sees a true statement (since it is the negation of a false statement)

~True(English, ~True(English, "a fish")) is true

and thus True(L, ~True(L, p)) is true, and thus we can show that p must be false.

By this same reasoning we can show that "a fish" must be false.

Thus we have a contradiction.
So, if you want to claim "Truth Teller Paradox", the only answer is to say that True(L, p) isn't actually a truth-bearer,

*True(L,x) and True(L,~x) (AKA False) ARE ALWAYS TRUTH-BEARERS*
*True(L,x) and True(L,~x) (AKA False) ARE ALWAYS TRUTH-BEARERS*
*True(L,x) and True(L,~x) (AKA False) ARE ALWAYS TRUTH-BEARERS*

and thus it isn't a predicate, and you have lied that your system has one.

>
This is the problem with the assumption that a Truth Predicate exists, and is what Tarksi was pointing out, but which seems to be above your level of understanding.

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

Les messages affichés proviennent d'usenet.

Date	Sujet	#	Auteur
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	65	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	64	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	63	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	62	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	61	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	60	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	59	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	58	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	57	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	56	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	55	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	54	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	53	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	50	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	49	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	48	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	47	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	46	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	45	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	44	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	43	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	42	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	15	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	14	olcott
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	12	Richard Damon
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	11	olcott
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	10	Richard Damon
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	9	olcott
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	8	Richard Damon
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	7	olcott
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	6	Richard Damon
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	5	olcott
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	Richard Damon
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	olcott
21 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	immibis
22 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	immibis
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	26	olcott
22 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	25	olcott
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	24	Richard Damon
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	23	olcott
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	21	Richard Damon
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	6	olcott
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	5	Richard Damon
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	4	olcott
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	3	Richard Damon
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	2	olcott
24 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	1	Richard Damon
25 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	14	olcott
27 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	13	olcott
27 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	12	olcott
28 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	11	olcott
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	10	Richard Damon
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	9	olcott
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	5	Richard Damon
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	4	olcott
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	3	Richard Damon
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	2	olcott
30 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	1	Richard Damon
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	3	Python
29 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	2	olcott
30 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT	1	Richard Damon
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	1	olcott