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 : news (at) *nospam* immibis.com (immibis)
Groupes : sci.logic comp.theory
Date : 21. May 2024, 17:08:11

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v2igtb$lqek$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 21/05/24 17:00, olcott wrote:

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.

What if it is not defined as ~True(L, p)
but we could prove that
A ⇒ (p ⇔ ~True(L, p))
then it would prove that A is false.

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.

"this sentence is false" defined as ¬True(English, "this sentence is false")
is rejected as a syntax error?
so ¬True(English, "this sentence is false") is a syntax error?
I thought you said ¬True(English, "this sentence is false") is false.

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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal