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

Liste des GroupesRevenir à c theory 
Sujet : Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 23. May 2024, 04:45:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2me5h$1j7n1$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 5/22/2024 9:31 PM, Richard Damon wrote:
On 5/22/24 9:36 PM, olcott wrote:
On 5/22/2024 8:03 PM, Richard Damon wrote:
On 5/22/24 7:55 PM, olcott wrote:
*You are just not paying close enough attention again*
>
When p defined as ~True(L, p)
  True(L,p)  is false
  True(L,~p) is false
~True(L,~p) is true
>
x := y means x is defined to be another name for y
https://en.wikipedia.org/wiki/List_of_logic_symbols
>
Right, so since p is DEFINED to be ~True(L, p), which since True(L, p) is false, must be true, that means that you are claiming that
T(L, <a statement that has been shown to be true>) is false.
>
Thus your True predicat is just broken.
>
>
Let's use the more intuitive name lp so that we incorporate by
reference (instead of ignore) all of the material about the liar paradox.
>
lp := ~True(L, lp)
 But that isn't the traditional "Liar's Paradix", because it is not normally stated in terms of a Truth Predicate.
 The "Liar's paradox" is a statement that asserts that it is false.
 That is NOT what the above statement says, or even means.
 
The Strengthened Liar Paradox (also called the Strong Liar Paradox)
can begin with a Strengthened Liar Sentence such as: This sentence
is not true,
https://iep.utm.edu/liar-paradox/#SH1a
I spent 20,000 hours on this since 2004 and you glance at a couple
of my words and guess that I must be wrong.

>
You already said that you know the Liar Paradox is neither true
nor false, thus not a truth-bearer. You proved that you know
more about self-reference than all of the standard literature
 Nope, shows you don't understand what the literature is saying.
 
YOU ARE ALREADY AHEAD OF THE LITERATURE.
THE LITERATURE CANNOT EVEN GET SELF-REFERENCE CORRECTLY
ϕ(x) there is a sentence ψ such that S ⊢ ψ ↔ ϕ⟨ψ⟩.
*The sentence ψ is of course not self-referential in a strict sense*,
https://plato.stanford.edu/entries/self-reference/#ConSemPar
On 5/13/2024 7:29 PM, Richard Damon wrote:
 > Remember, p defined as ~True(L, p)
We will now call this
lp defined as ~True(L, lp) or
lp := ~True(L, lp)

*Mikko rejects p := ~True(L,p) as a syntax error*
*which rejects p defined as ~True(L, p) as a syntax error*
>
 But he is wrong, there is no syntax error for it in the logic field that Tarski is working in,
*That Tarski was aware of*
< as he assumes that logic is powerful enough to
encode references, even to self, into the logical statements of the field.
He didn't bother to THINK THIS ALL-THE-WAY THROUGH
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
18 May 24 * Re: True on the basis of meaning --- Good job Richard ! ---Socratic method65Richard Damon
18 May 24 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method64olcott
18 May 24  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method63Richard Damon
18 May 24   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method62olcott
18 May 24    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method61Richard Damon
18 May 24     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method60olcott
18 May 24      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method59Richard Damon
18 May 24       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method58olcott
18 May 24        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method57Richard Damon
18 May 24         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method56olcott
18 May 24          `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method55Richard Damon
18 May 24           `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method54olcott
18 May 24            `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method53Richard Damon
18 May 24             +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method2olcott
18 May 24             i`- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
18 May 24             `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method50olcott
18 May 24              `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method49Richard Damon
18 May 24               `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method48olcott
19 May 24                `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method47Richard Damon
19 May 24                 `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method46olcott
19 May 24                  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method45Richard Damon
19 May 24                   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method44olcott
19 May 24                    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method43Richard Damon
19 May 24                     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method42olcott
19 May 24                      +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method15Richard Damon
19 May 24                      i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method14olcott
20 May 24                      i +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method12Richard Damon
20 May 24                      i i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method11olcott
21 May 24                      i i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method10Richard Damon
21 May 24                      i i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method9olcott
21 May 24                      i i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method8Richard Damon
21 May 24                      i i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method7olcott
21 May 24                      i i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method6Richard Damon
21 May 24                      i i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method5olcott
21 May 24                      i i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method4Richard Damon
21 May 24                      i i        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method3olcott
21 May 24                      i i         +- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1immibis
22 May 24                      i i         `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1Richard Damon
20 May 24                      i `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method1immibis
20 May 24                      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method26olcott
22 May 24                       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)25olcott
23 May 24                        `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)24Richard Damon
23 May 24                         `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)23olcott
23 May 24                          +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)21Richard Damon
23 May 24                          i+* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)6olcott
23 May 24                          ii`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)5Richard Damon
23 May 24                          ii `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)4olcott
23 May 24                          ii  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)3Richard Damon
23 May 24                          ii   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)2olcott
24 May 24                          ii    `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)1Richard Damon
25 May 24                          i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)14olcott
27 May 24                          i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)13olcott
27 May 24                          i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT12olcott
28 May 24                          i   `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT11olcott
29 May 24                          i    `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT10Richard Damon
29 May 24                          i     `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT9olcott
29 May 24                          i      +* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT5Richard Damon
29 May 24                          i      i`* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT4olcott
29 May 24                          i      i `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT3Richard Damon
29 May 24                          i      i  `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT2olcott
30 May 24                          i      i   `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT1Richard Damon
29 May 24                          i      `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT3Python
29 May 24                          i       `* Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT2olcott
30 May 24                          i        `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method MTT1Richard Damon
23 May 24                          `- Re: True on the basis of meaning --- Good job Richard ! ---Socratic method (agreement)1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal