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 : 20. May 2024, 20:59:06

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v2g6hr$4nu0$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/19/2024 6:30 PM, Richard Damon wrote:

On 5/19/24 4:12 PM, olcott wrote:
On 5/19/2024 12:17 PM, Richard Damon wrote:
On 5/19/24 9:41 AM, olcott wrote:
>
True(L,x) is always a truth bearer.
when x is defined as True(L,x) then x is not a truth bearer.
>
So, x being DEFINED to be a certain sentence doesn't make x to have the same meaning as the sentence itself?
>
What does it mean to define a name to a given sentence, if not that such a name referes to exactly that sentence?
>
>
p = ~True(L,p) // p is not a truth bearer because its refers to itself
Then ~True(L,p) can't be a truth beared as they are the SAME STATEMENT, just using different "names".

Truthbearer(L,x) ≡ (True(L,x) ∨ True(L,~x))
p = ~True(L,p) Truthbearer(L,p) is false
q = ~True(L,p) Truthbearer(L,q) is true

Just like (with context) YOU can be refered to a PO, Peter, Peter Olcott or Olcott, and all the reference get to the exact same entity, so any "name" for the express

True(L,p) is false
True(L,~p) is false
>
So since True(L, p) is false, then ~True(L, p) is true.

~True(True(L,p)) is true and is referring to the p that refers
to itself it is not referring to its own self.
>
*ONE LEVEL OF INDIRECT REFERENCE MAKES ALL THE DIFFERENCE*
Why add the indirection? p is the NAME of the statement, which means exactly the same thing as the statement itself.

p = ~True(L,p)
does not mean that same thing as True(L, ~True(L,p))
The above ~True(L, p) has another ~True(L,p) embedded in p.

Is the definition of an English word one level LESS of indirection than the word itself?

This sentence is not true("This sentence is not true") is true.

I don't think you understand what it means to define something.

x := y means x is defined to be another name for y
https://en.wikipedia.org/wiki/List_of_logic_symbols
LP := ~True(L, LP)
specifies ~True(~True(~True(~True(~True(...)))))

"Definition by example" is worse than "Proof by example", at least proof by example can be correct if the assertion is that there exists, and not for all.

A simpler isomorphism of the same thing is proof by analogy.

A level of indirection:
p: "This sentence is true", which is exactly the same as "p is true" since "this sentence" IS p

p := True(L,p)
specifies True(True(True(True(True(...)))))
*Prolog sees the same infinite recursion and rejects it*
?- TT = true(TT).
TT = true(TT).
?- unify_with_occurs_check(TT, true(TT)).
false.
--
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
11 May 24	True on the basis of meaning	209	olcott
11 May 24	Re: True on the basis of meaning	208	Richard Damon
11 May 24	Re: True on the basis of meaning	207	olcott
11 May 24	Re: True on the basis of meaning	206	Richard Damon
11 May 24	Re: True on the basis of meaning	205	olcott
11 May 24	Re: True on the basis of meaning	1	Richard Damon
12 May 24	Re: True on the basis of meaning	203	Mikko
12 May 24	Re: True on the basis of meaning	202	olcott
12 May 24	Re: True on the basis of meaning	201	Mikko
12 May 24	Re: True on the basis of meaning	200	olcott
12 May 24	Re: True on the basis of meaning	183	Richard Damon
12 May 24	Re: True on the basis of meaning	182	olcott
12 May 24	Re: True on the basis of meaning	181	Richard Damon
12 May 24	Re: True on the basis of meaning	180	olcott
12 May 24	Re: True on the basis of meaning	163	Richard Damon
12 May 24	Re: True on the basis of meaning	162	olcott
13 May 24	Re: True on the basis of meaning	161	Richard Damon
13 May 24	Re: True on the basis of meaning	160	olcott
13 May 24	Re: True on the basis of meaning	159	Richard Damon
13 May 24	Re: True on the basis of meaning	158	olcott
13 May 24	Re: True on the basis of meaning	2	olcott
13 May 24	Re: True on the basis of meaning	1	Richard Damon
13 May 24	Re: True on the basis of meaning	155	Richard Damon
13 May 24	Re: True on the basis of meaning	154	olcott
13 May 24	Re: True on the basis of meaning	153	Richard Damon
13 May 24	Re: True on the basis of meaning	152	olcott
13 May 24	Re: True on the basis of meaning	151	Richard Damon
13 May 24	Re: True on the basis of meaning --- Good job Richard !	150	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard !	149	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	146	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	145	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	4	olcott
14 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	3	Richard Damon
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	126	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	125	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	124	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	123	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	115	olcott
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	114	Richard Damon
16 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	113	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	112	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	111	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	110	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	109	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	108	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	105	olcott
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	104	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	103	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	102	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	101	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	100	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	99	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	98	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	97	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	96	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	95	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	94	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	93	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	92	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	91	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	90	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	87	olcott
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	86	Richard Damon
18 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	85	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	84	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	83	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	82	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	81	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	80	Richard Damon
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	79	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	63	Mikko
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	62	olcott
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	61	Mikko
20 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	60	olcott
19 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	15	Richard Damon
17 May 24	Re: True on the basis of meaning --- Good job Richard ! ---Socratic method	2	olcott
13 May 24	Re: True on the basis of meaning	16	Mikko
13 May 24	Re: True on the basis of meaning --- Tarski	16	olcott