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

Liste des GroupesRevenir à c 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, 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 meaning156olcott
11 May 24 `* Re: True on the basis of meaning155Richard Damon
11 May 24  `* Re: True on the basis of meaning154olcott
11 May 24   `* Re: True on the basis of meaning153Richard Damon
11 May 24    `* Re: True on the basis of meaning152olcott
11 May 24     +- Re: True on the basis of meaning1Richard Damon
12 May 24     `* Re: True on the basis of meaning150olcott
12 May 24      `* Re: True on the basis of meaning149olcott
12 May 24       +* Re: True on the basis of meaning139Richard Damon
12 May 24       i`* Re: True on the basis of meaning138olcott
12 May 24       i `* Re: True on the basis of meaning137Richard Damon
12 May 24       i  `* Re: True on the basis of meaning136olcott
12 May 24       i   +* Re: True on the basis of meaning127Richard Damon
12 May 24       i   i`* Re: True on the basis of meaning126olcott
13 May 24       i   i `* Re: True on the basis of meaning125Richard Damon
13 May 24       i   i  `* Re: True on the basis of meaning124olcott
13 May 24       i   i   `* Re: True on the basis of meaning123Richard Damon
13 May 24       i   i    `* Re: True on the basis of meaning122olcott
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 meaning119Richard Damon
13 May 24       i   i      `* Re: True on the basis of meaning118olcott
13 May 24       i   i       `* Re: True on the basis of meaning117Richard Damon
13 May 24       i   i        `* Re: True on the basis of meaning116olcott
13 May 24       i   i         `* Re: True on the basis of meaning115Richard Damon
13 May 24       i   i          `* Re: True on the basis of meaning --- Good job Richard !114olcott
14 May 24       i   i           `* Re: True on the basis of meaning --- Good job Richard !113Richard 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 method110olcott
14 May 24       i   i             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method109Richard 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 method5olcott
14 May 24       i   i              i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
14 May 24       i   i              i +- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1wij
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 method89olcott
16 May 24       i   i               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method88Richard Damon
16 May 24       i   i                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method87olcott
16 May 24       i   i                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method86Richard 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 method78olcott
16 May 24       i   i                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method77Richard Damon
16 May 24       i   i                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method76olcott
17 May 24       i   i                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method75Richard Damon
17 May 24       i   i                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method74olcott
17 May 24       i   i                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method73Richard Damon
17 May 24       i   i                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method72olcott
17 May 24       i   i                         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method71Richard Damon
17 May 24       i   i                          +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method68olcott
17 May 24       i   i                          i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method67Richard Damon
17 May 24       i   i                          i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method66olcott
18 May 24       i   i                          i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method65Richard Damon
18 May 24       i   i                          i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method64olcott
18 May 24       i   i                          i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method63Richard Damon
18 May 24       i   i                          i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method62olcott
18 May 24       i   i                          i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method61Richard Damon
18 May 24       i   i                          i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method60olcott
18 May 24       i   i                          i        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method59Richard Damon
18 May 24       i   i                          i         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method58olcott
18 May 24       i   i                          i          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method57Richard Damon
18 May 24       i   i                          i           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method56olcott
18 May 24       i   i                          i            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method55Richard Damon
18 May 24       i   i                          i             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method54olcott
18 May 24       i   i                          i              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method53Richard 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 method50olcott
18 May 24       i   i                          i                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method49Richard Damon
18 May 24       i   i                          i                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method48olcott
19 May 24       i   i                          i                  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method47Richard Damon
19 May 24       i   i                          i                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method46olcott
19 May 24       i   i                          i                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method45Richard Damon
19 May 24       i   i                          i                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method44olcott
19 May 24       i   i                          i                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method43Richard Damon
19 May 24       i   i                          i                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method42olcott
19 May 24       i   i                          i                        +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method15Richard Damon
19 May 24       i   i                          i                        i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method14olcott
20 May 24       i   i                          i                        i +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method12Richard Damon
20 May 24       i   i                          i                        i i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method11olcott
21 May 24       i   i                          i                        i i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method10Richard Damon
20 May 24       i   i                          i                        i `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1immibis
20 May 24       i   i                          i                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method26olcott
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 meaning8olcott
13 May 24       `* Re: True on the basis of meaning9Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal