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 : 16. May 2024, 05:38:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v23v43$1bqgd$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
User-Agent : Mozilla Thunderbird
On 16/05/24 02:36, olcott wrote:
On 5/13/2024 9:31 PM, Richard Damon wrote:
On 5/13/24 10:03 PM, olcott wrote:
>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive p?
 *You keep forgetting that you said this*
No, so True(L, p) is false
and thus ~True(L, p) is true.
>
>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive ~p?
>
 *You keep forgetting that you said this*
No, so False(L, p) is false,
 So True(L, x) always returns True or False for all
inputs and False(L, x) defined as True(L,~x)
always returns True or False for all inputs.
 TruthBearer(L, x) ≡ (True(L,x) ∨ False(L,x))
 *To make this easier to understand*
  True(English, "a fish") is false
False(English, "a fish") is false
TruthBearer(English, "a fish") is false
 Thus "a fish" is rejected as a type mismatch error
for any system of bivalent logic, yet the predicates
still answer correctly.
   
What is True(Logic,"¬True(English,'a fish')")?
What is X=True(Logic,"¬True(Logic, X)")?

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