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

Liste des GroupesRevenir à s logic 
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, 18: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
11 May 24 * True on the basis of meaning209olcott
11 May 24 `* Re: True on the basis of meaning208Richard Damon
11 May 24  `* Re: True on the basis of meaning207olcott
11 May 24   `* Re: True on the basis of meaning206Richard Damon
11 May 24    `* Re: True on the basis of meaning205olcott
11 May 24     +- Re: True on the basis of meaning1Richard Damon
12 May 24     `* Re: True on the basis of meaning203Mikko
12 May 24      `* Re: True on the basis of meaning202olcott
12 May 24       `* Re: True on the basis of meaning201Mikko
12 May 24        `* Re: True on the basis of meaning200olcott
12 May 24         +* Re: True on the basis of meaning183Richard Damon
12 May 24         i`* Re: True on the basis of meaning182olcott
12 May 24         i `* Re: True on the basis of meaning181Richard Damon
12 May 24         i  `* Re: True on the basis of meaning180olcott
12 May 24         i   +* Re: True on the basis of meaning163Richard Damon
12 May 24         i   i`* Re: True on the basis of meaning162olcott
13 May 24         i   i `* Re: True on the basis of meaning161Richard Damon
13 May 24         i   i  `* Re: True on the basis of meaning160olcott
13 May 24         i   i   `* Re: True on the basis of meaning159Richard Damon
13 May 24         i   i    `* Re: True on the basis of meaning158olcott
13 May 24         i   i     +* Re: True on the basis of meaning2olcott
13 May 24         i   i     i`- Re: True on the basis of meaning1Richard Damon
13 May 24         i   i     `* Re: True on the basis of meaning155Richard Damon
13 May 24         i   i      `* Re: True on the basis of meaning154olcott
13 May 24         i   i       `* Re: True on the basis of meaning153Richard Damon
13 May 24         i   i        `* Re: True on the basis of meaning152olcott
13 May 24         i   i         `* Re: True on the basis of meaning151Richard Damon
13 May 24         i   i          `* Re: True on the basis of meaning --- Good job Richard !150olcott
14 May 24         i   i           `* Re: True on the basis of meaning --- Good job Richard !149Richard Damon
14 May 24         i   i            +* Re: True on the basis of meaning --- Good job Richard !2olcott
14 May 24         i   i            i`- Re: True on the basis of meaning --- Good job Richard !1Richard Damon
14 May 24         i   i            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method146olcott
14 May 24         i   i             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method145Richard Damon
14 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
14 May 24         i   i              i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
14 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4olcott
14 May 24         i   i              i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3Richard Damon
14 May 24         i   i              i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
15 May 24         i   i              i  `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
15 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
15 May 24         i   i              i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
15 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4olcott
15 May 24         i   i              i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3Richard Damon
15 May 24         i   i              i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24         i   i              i  `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4olcott
16 May 24         i   i              i+- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24         i   i              i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2immibis
16 May 24         i   i              i `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1olcott
16 May 24         i   i              +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24         i   i              i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24         i   i              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method126olcott
16 May 24         i   i               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method125Richard Damon
16 May 24         i   i                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method124olcott
16 May 24         i   i                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method123Richard Damon
16 May 24         i   i                  +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
16 May 24         i   i                  i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
16 May 24         i   i                  +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method5olcott
16 May 24         i   i                  i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
16 May 24         i   i                  i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3olcott
17 May 24         i   i                  i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2Richard Damon
17 May 24         i   i                  i   `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1olcott
16 May 24         i   i                  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method115olcott
16 May 24         i   i                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method114Richard Damon
16 May 24         i   i                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method113olcott
17 May 24         i   i                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method112Richard Damon
17 May 24         i   i                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method111olcott
17 May 24         i   i                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method110Richard Damon
17 May 24         i   i                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method109olcott
17 May 24         i   i                         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method108Richard Damon
17 May 24         i   i                          +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method105olcott
17 May 24         i   i                          i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method104Richard Damon
17 May 24         i   i                          i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method103olcott
18 May 24         i   i                          i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method102Richard Damon
18 May 24         i   i                          i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method101olcott
18 May 24         i   i                          i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method100Richard Damon
18 May 24         i   i                          i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method99olcott
18 May 24         i   i                          i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method98Richard Damon
18 May 24         i   i                          i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method97olcott
18 May 24         i   i                          i        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method96Richard Damon
18 May 24         i   i                          i         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method95olcott
18 May 24         i   i                          i          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method94Richard Damon
18 May 24         i   i                          i           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method93olcott
18 May 24         i   i                          i            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method92Richard Damon
18 May 24         i   i                          i             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method91olcott
18 May 24         i   i                          i              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method90Richard Damon
18 May 24         i   i                          i               +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
18 May 24         i   i                          i               i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
18 May 24         i   i                          i               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method87olcott
18 May 24         i   i                          i                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method86Richard Damon
18 May 24         i   i                          i                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method85olcott
19 May 24         i   i                          i                  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method84Richard Damon
19 May 24         i   i                          i                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method83olcott
19 May 24         i   i                          i                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method82Richard Damon
19 May 24         i   i                          i                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method81olcott
19 May 24         i   i                          i                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method80Richard Damon
19 May 24         i   i                          i                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method79olcott
19 May 24         i   i                          i                        +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method63Mikko
19 May 24         i   i                          i                        i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method62olcott
20 May 24         i   i                          i                        i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method61Mikko
20 May 24         i   i                          i                        i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method60olcott
19 May 24         i   i                          i                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method15Richard Damon
17 May 24         i   i                          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
13 May 24         i   `* Re: True on the basis of meaning16Mikko
13 May 24         `* Re: True on the basis of meaning --- Tarski16olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal