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 : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theory
Date : 18. May 2024, 17:56:44

Autres entêtes

Organisation : i2pn2 (i2pn.org)
Message-ID : <v2amkc$1ct7p$13@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 30 31 32 33
User-Agent : Mozilla Thunderbird

On 5/18/24 12:48 PM, olcott wrote:

On 5/18/2024 9:32 AM, Richard Damon wrote:
On 5/18/24 10:15 AM, olcott wrote:
On 5/18/2024 7:43 AM, Richard Damon wrote:
No, your system contradicts itself.
>
>
You have never shown this.
The most you have shown is a lack of understanding of the
Truth Teller Paradox.
>
No, I have, but you don't understand the proof, it seems because you don't know what a "Truth Predicate" has been defined to be.
>
My True(L,x) predicate is defined to return true or false for every
finite string x on the basis of the existence of a sequence of truth
preserving operations that derive x from

And thus, When True(L, p) established a sequence of truth preserving operations eminationg from ~True(L, p) by returning false, it contradicts itself. The problem is that True, in making an answer of false, has asserted that such a sequence exists.
To meet your definition, True(L, p) needs to respond some how with a non-truth-bearing answer, which is outside its defined behavior, so it just can not exist.

A set of finite string semantic meanings that form an accurate
verbal model of the general knowledge of the actual world that
form a finite set of finite strings that are stipulated to have the
semantic value of Boolean true.
False(L,x) is defined as True(L,x).

If, as you claim p in L defined as ~True(L, p) results in True(L, p) being false, then p must be a true statement...
The wording of that seems to say that because p is known to be
untrue that this makes p true.

Yep, because p is defined by p := ~True(L, p) if True(L, p) decides that p is untrue and returns falsem then p becomes a true statement, which True has decided incorrectly on.

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