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

Liste des GroupesRevenir à theory 
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
14 May 24 * Re: True on the basis of meaning --- Good job Richard !113Richard Damon
14 May 24 +* Re: True on the basis of meaning --- Good job Richard !2olcott
14 May 24 i`- Re: True on the basis of meaning --- Good job Richard !1Richard Damon
14 May 24 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method110olcott
14 May 24  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method109Richard Damon
14 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
14 May 24   i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
14 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method5olcott
14 May 24   i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
14 May 24   i +- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1wij
14 May 24   i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
15 May 24   i  `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
15 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
15 May 24   i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
15 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4olcott
15 May 24   i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3Richard Damon
15 May 24   i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24   i  `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4olcott
16 May 24   i+- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24   i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2immibis
16 May 24   i `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1olcott
16 May 24   +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24   i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method89olcott
16 May 24    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method88Richard Damon
16 May 24     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method87olcott
16 May 24      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method86Richard Damon
16 May 24       +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24       i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24       +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method5olcott
16 May 24       i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
16 May 24       i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3olcott
17 May 24       i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2Richard Damon
17 May 24       i   `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1olcott
16 May 24       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method78olcott
16 May 24        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method77Richard Damon
16 May 24         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method76olcott
17 May 24          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method75Richard Damon
17 May 24           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method74olcott
17 May 24            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method73Richard Damon
17 May 24             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method72olcott
17 May 24              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method71Richard Damon
17 May 24               +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method68olcott
17 May 24               i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method67Richard Damon
17 May 24               i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method66olcott
18 May 24               i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method65Richard Damon
18 May 24               i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method64olcott
18 May 24               i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method63Richard Damon
18 May 24               i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method62olcott
18 May 24               i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method61Richard Damon
18 May 24               i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method60olcott
18 May 24               i        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method59Richard Damon
18 May 24               i         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method58olcott
18 May 24               i          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method57Richard Damon
18 May 24               i           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method56olcott
18 May 24               i            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method55Richard Damon
18 May 24               i             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method54olcott
18 May 24               i              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method53Richard Damon
18 May 24               i               +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
18 May 24               i               i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
18 May 24               i               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method50olcott
18 May 24               i                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method49Richard Damon
18 May 24               i                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method48olcott
19 May 24               i                  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method47Richard Damon
19 May 24               i                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method46olcott
19 May 24               i                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method45Richard Damon
19 May 24               i                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method44olcott
19 May 24               i                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method43Richard Damon
19 May 24               i                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method42olcott
19 May 24               i                        +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method15Richard Damon
19 May 24               i                        i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method14olcott
20 May 24               i                        i +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method12Richard Damon
20 May 24               i                        i i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method11olcott
21 May 24               i                        i i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method10Richard Damon
21 May 24               i                        i i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method9olcott
21 May 24               i                        i i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method8Richard Damon
21 May 24               i                        i i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method7olcott
21 May 24               i                        i i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method6Richard Damon
21 May 24               i                        i i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method5olcott
21 May 24               i                        i i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
21 May 24               i                        i i        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3olcott
21 May 24               i                        i i         +- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1immibis
22 May 24               i                        i i         `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
20 May 24               i                        i `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1immibis
20 May 24               i                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method26olcott
22 May 24               i                         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)25olcott
23 May 24               i                          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)24Richard Damon
23 May 24               i                           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)23olcott
23 May 24               i                            +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)21Richard Damon
23 May 24               i                            i+* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)6olcott
23 May 24               i                            ii`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)5Richard Damon
23 May 24               i                            ii `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)4olcott
23 May 24               i                            ii  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)3Richard Damon
23 May 24               i                            ii   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)2olcott
24 May 24               i                            ii    `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)1Richard Damon
25 May 24               i                            i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)14olcott
27 May 24               i                            i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)13olcott
27 May 24               i                            i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT12olcott
28 May 24               i                            i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT11olcott
29 May 24               i                            i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT10Richard Damon
23 May 24               i                            `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)1olcott
17 May 24               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal