Newsportal USENET - Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT

Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT

Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 29. May 2024, 15:11:02

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <v379h7$159q4$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
User-Agent : Mozilla Thunderbird

On 5/29/2024 2:01 AM, Python wrote:

Le 29/05/2024 à 04:39, olcott a écrit :
...
That Prolog construes any expression having the same structure as the
Liar Paradox as having a cycle in the directed graph of its evaluation
sequence already completely proves my point. In other words Prolog
is saying that there is something wrong with the expression and it must
be rejected.
>
But Prolog doesn't support powerful enough logic to handle the system like Tarski and Godel are talking about.
>
The fact that Prolog just rejects it shows that.
>
>
Your ignorance is no excuse.
You, Peter Olcott, are actually the one showing one's ignorance here.
Gödel theorems can be handled by more powerful proving systems such
as COQ : http://r6.ca/Goedel/goedel1.html

?- LP = not(true(L, LP)).
LP = not(true(L, LP)).
?- unify_with_occurs_check(LP, not(true(L, LP))).
false.
Richard explained this incorrectly.
let's see if you can do better.
I created Minimal Type Theory that does the same thing as
https://www.swi-prolog.org/pldoc/man?predicate=unify_with_occurs_check/2
Minimal Type Theory (YACC BNF)
https://www.researchgate.net/publication/331859461_Minimal_Type_Theory_YACC_BNF
LP := ~True(L, LP)
definition_2 token="ASSIGN_ALIAS"
| definition_2 token="IDENTIFIER" value="LP"
| sentence_2 token="NOT"
| | atomic_sentence_1 token="IDENTIFIER" value="True"
| | | term_list_1
| | | | term_2 token="IDENTIFIER" value="L"
| | | | term_2 token="IDENTIFIER" value="LP"
<definition_2 token="ASSIGN_ALIAS">
<definition_2 token="IDENTIFIER" value="LP"/>
<sentence_2 token="NOT">
   <atomic_sentence_1 token="IDENTIFIER" value="True">
<term_list_1>
   <term_2 token="IDENTIFIER" value="L"/>
   <term_2 token="IDENTIFIER" value="LP"/>
</term_list_1>
   </atomic_sentence_1>
</sentence_2>
</definition_2>
Directed graph of evaluation sequence of LP
Nodes on the left edges on the right
00 NOT   01
01 True   02, 00 // cycle
02 L
--
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	156	olcott
11 May 24	Re: True on the basis of meaning	155	Richard Damon
11 May 24	Re: True on the basis of meaning	154	olcott
11 May 24	Re: True on the basis of meaning	153	Richard Damon
11 May 24	Re: True on the basis of meaning	152	olcott
11 May 24	Re: True on the basis of meaning	1	Richard Damon
12 May 24	Re: True on the basis of meaning	150	olcott
12 May 24	Re: True on the basis of meaning	149	olcott
12 May 24	Re: True on the basis of meaning	139	Richard Damon
12 May 24	Re: True on the basis of meaning	138	olcott
12 May 24	Re: True on the basis of meaning	137	Richard Damon
12 May 24	Re: True on the basis of meaning	136	olcott
12 May 24	Re: True on the basis of meaning	127	Richard Damon
12 May 24	Re: True on the basis of meaning	126	olcott
13 May 24	Re: True on the basis of meaning	125	Richard Damon
13 May 24	Re: True on the basis of meaning	124	olcott
13 May 24	Re: True on the basis of meaning	123	Richard Damon
13 May 24	Re: True on the basis of meaning	122	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	119	Richard Damon
13 May 24	Re: True on the basis of meaning	118	olcott
13 May 24	Re: True on the basis of meaning	117	Richard Damon
13 May 24	Re: True on the basis of meaning	116	olcott
13 May 24	Re: True on the basis of meaning	115	Richard Damon
13 May 24	Re: True on the basis of meaning --- Good job Richard !	114	olcott
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
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
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	8	olcott
13 May 24	Re: True on the basis of meaning	9	Mikko