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, 04:35:35

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v297m8$2k4a6$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
User-Agent : Mozilla Thunderbird

On 5/17/2024 9:40 PM, Richard Damon wrote:

On 5/17/24 10:19 PM, olcott wrote:
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.
Nope, because you said the value of "true" doesn't exist, truth is dependent on having something to make true.

True(L,x) is defined in terms of its truthmaker.
A whole bunch of expressions are stipulated to have the semantic
property of Boolean true. Being a member of this sat is what makes
them true.

>
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*
Yes, which makes True(L, a sentence proven to be true) to be false.
Thus, it is inconsistant.

*It has nothing that it is true about so it is not true*
*It has nothing that it is true about so it is not true*
*It has nothing that it is true about so it is not true*

Or we can use the arguement that since
p is ~True(L, p) which is false that p is alse

then "a fish" because ~True(English, "a fish") is false that
makes "a fish" false.

~True(L, ~True(L, p) which, since True(L, p) is "established" to be false, and thus ~True(L,p) to be true, we can say that True(L, ~True(L, p) must be true

*ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*

and thus p, being not that is false.
So, we can prove that p is both false and true, and thus your system is BY DEFINITION inconsistant.
>

We can prove that p is both false and true the exact same way
and to the exact same degree that "a fish" is both true and false.
<snip>

*No you said this* (Socratic question)
No, YOU said it first, and I agreed.
What else are you going to make it?
(Socratic reply 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?
>
RED HERRINBG.

p is dead!
Every expression that is neither true nor false
is dead to any system of bivalent logic.

Since you have claimed that True(L, p) is false, by the stipulated definition of p,

Nope I never said that. You agreed that
There are no sequence of true preserving operations applied to
expressions that are stipulated to be true that derive p or ~p.
Likewise for "a fish",
"this sentence is not true" and
"this sentence is true".

it MUST be a true statement, and thus you have

Then you contradict yourself when you said
>> On 5/13/2024 7:29 PM, Richard Damon wrote:
> No, so True(L, p) is false

stiplated that True(L, <a statement proven to be true>) turns out to be false (since that statement IS p), and thus you system is

*Illegal stipulation. It must come from here*
(a) A set of finite string semantic meanings that form an accurate
model of the general knowledge of the actual world.

Thus we can say that p is also the equivalent in L of
>
>
We sure as Hell cannot correctly say that.
Why not?
>
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
*THE ONE LEVEL OF INDIRECT REFERENCE CHANGES EVERYTHING*
In other words, you system doesn't allow the assignement of a statement to have a refenece to itself, which is one of the criteria in Tarski.

>
~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
Nope, "This statment is true" is different then the statement:
P, in L, is defined as ~True(L, P)

Yes that one is: "This sentence is not true"

It it just
P in L is defined as "P is not true."

The prior one is the ordinary Liar Paradox formalized.

The difference is the statement P is not true has the possibility of being a non-truth bearer, but the predicate True(L, p) doesn't have that option.

The predicate simple says True(L, p) is false and False(L,p) is false.
This is the same ESSENTIAL idea as Prolog unable to apply Rules to Facts to derive p or ~p.
The key difference is that my Facts are a complete and accurate model
of the general knowledge of the actual world...

>
>
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
Yep.

>
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.
Nope, because a fish wasn't defined to be any of those sentencds.

"~True(L, p)" is merely a finite string input assigned to the variable named p. We could have as easily have assigned "a fish" to p.

>
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*
Right, and that it the problem. (we don't need the True(L, ~x) part though.

False is defined as True(L,~x) and has no separate existence.

p is defined as ~True(L, p) which you say is false.
thus, we can also say, by the definiton of p that
p is defined as ~True(L, ~True(L, p))

Let's not change the subject away from the point until
after we have mutual agreement that the original p must
be rejected by any bivalent system of logic.
*I wasted 15 years with Ben's change-the-subject rebuttal*
*I wasted 15 years with Ben's change-the-subject rebuttal*
*I wasted 15 years with Ben's change-the-subject rebuttal*
<snip change-the-subject rebuttal>
In future dialogues I may be laser focused on True or False or
rejected and totally ignore the slightest nuance of any slight
trace of any divergence from this one point.
--
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
14 May 24	Re: True on the basis of meaning --- Good job Richard !	113	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard !	2	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard !	1	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	110	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	109	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	5	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	Richard Damon
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	wij
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	olcott
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	Richard Damon
15 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	immibis
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	89	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	88	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	87	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	86	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	5	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	4	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	1	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	78	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	77	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	76	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	75	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	74	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	73	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	72	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	71	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	68	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	67	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	66	olcott
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
23 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)	1	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott