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 : 21. May 2024, 16:00:25

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v2icua$l65b$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/21/2024 6:50 AM, Richard Damon wrote:

On 5/21/24 1:52 AM, olcott wrote:
On 5/20/2024 10:37 PM, Richard Damon wrote:
On 5/20/24 10:56 PM, olcott wrote:
On 5/20/2024 9:24 PM, Richard Damon wrote:
On 5/20/24 9:54 PM, olcott wrote:
On 5/20/2024 7:57 PM, Richard Damon wrote:
On 5/20/24 2:59 PM, olcott wrote:
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
>
Irrelvent.
>
If Truthbearer(L, p) is FALSE, and since p is just a NAME for the statement ~True(L, p), that means that True(L. p) is not a truth bearer and True has failed to be the required truth predicate.
>
>
That is the same thing as saying that
True(English, "this sentence is not true") is false
proves that True(L,x) is not a truthbearer.
>
Nope, why do you say that?
>
What logic are you even TRYING to use to get there?
>
I think you don't understand what defining a label to represent a statement means.
>
>
I did not said the above part exactly precisely to address
your objection.
>
p is defined as ~True(L,p)
LP is defined as "this sentence is not true" in English.
Thus True(L,p) ≡ True(English,LP) and
Thus True(L,~p) ≡ True(English,~LP)
>
So, you admit that you did not answer the problem.
>
And that you think Strawmen and Red Herring are valid forms of logic.
>
How does p defined as ~True(L, p) NOT generate the shown contradiction when you begin by saying True(L, p) must not be true (and thus false) because p has not chain to truthbears?
>
>
p := ~True(L, p) is false
p := ~True(L, ~p) is false
>
p is tossed out on its ass as a type mismatch error for every system
of bivalent logic before it gets any chance to be evaluated in any
other way.
Not ALLOWED. p is DEFINED to be something, so it is that/.

On 5/21/2024 3:05 AM, Mikko wrote:
> On 2024-05-20 17:48:40 +0000, olcott said:
>> True(English, "a cat is an animal) is true
>> LP := ~True(L, LP) expands to ~True(~True(~True(~True(...))))
>
> No, it doesn't. It is a syntax error to have the same symbol on
> both sides ":=" so the expansion is not justified.
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.
p defined as ~True(L, p) is rejected as a syntax error.
https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2
or rejected as
   equal(X, X).
   ?- equal(foo(Y), Y). ...
   So Y ends up standing for some kind of infinite structure.
   (Clocksin & Mellish 2003:254)
By
The SWI-Prolog implementation of unify_with_occurs_check/2 is cycle-safe and only guards against creating cycles,
https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2
--
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