Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

To iterate is human, to recurse, divine. -- Robert Heller

devel / comp.theory / Tarski anchors his whole proof in the Liar Paradox

SubjectAuthor
* Tarski anchors his whole proof in the Liar Paradoxolcott
+- Re: Tarski anchors his whole proof in the Liar Paradoximmibis
`- Re: Tarski anchors his whole proof in the Liar ParadoxRichard Damon

1
Tarski anchors his whole proof in the Liar Paradox

<uorieg$1t9td$1@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=52394&group=comp.theory#52394

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!rocksolid2!news.neodome.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott2@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic
Subject: Tarski anchors his whole proof in the Liar Paradox
Date: Wed, 24 Jan 2024 11:46:55 -0600
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <uorieg$1t9td$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 24 Jan 2024 17:46:57 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="66fc17ca93d8d2bd6be06d8ca85d32a7";
logging-data="2009005"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+VYETZVxZz8PaFbRx92SXg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3N3m3JaTqp2LqRV/KJdqYjNEtfg=
Content-Language: en-US
 by: olcott - Wed, 24 Jan 2024 17:46 UTC

*Tarski anchors his whole proof in the Liar Paradox*
https://liarparadox.org/Tarski_247_248.pdf
"x asserts that x is not a true sentence." page 248

https://liarparadox.org/Tarski_275_276.pdf
"x asserts that x is not a true sentence." page 248

is encoded as: x ∉ True if and only if p
"where the symbol 'p' represents the whole sentence x"

before it has been transformed page 275
we replace 'Tr' in this convention by 'Pr'

thus becomes // on page 275
"(1) x ∉ Provable if and only if p"
"where the symbol 'p' represents the whole sentence x"

*Proving that the Tarski Undefinability has an adapted*
*form of the Liar Paradox as the first line of his proof*

--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Re: Tarski anchors his whole proof in the Liar Paradox

<uorjm6$1tg7s$2@dont-email.me>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=52398&group=comp.theory#52398

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!i2pn.org!usenet.network!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: news@immibis.com (immibis)
Newsgroups: comp.theory,sci.logic
Subject: Re: Tarski anchors his whole proof in the Liar Paradox
Date: Wed, 24 Jan 2024 19:08:06 +0100
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <uorjm6$1tg7s$2@dont-email.me>
References: <uorieg$1t9td$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 24 Jan 2024 18:08:07 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="764f74006189ec31afaa846a9c5b5152";
logging-data="2015484"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+gANhc9HRlX1100SbF0W5X"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
Thunderbird/102.14.0
Cancel-Lock: sha1:I6Xg6UgnKJFYqcMsQfz3+irYrnE=
Content-Language: en-US
In-Reply-To: <uorieg$1t9td$1@dont-email.me>
 by: immibis - Wed, 24 Jan 2024 18:08 UTC

On 1/24/24 18:46, olcott wrote:
> *Tarski anchors his whole proof in the Liar Paradox*
> https://liarparadox.org/Tarski_247_248.pdf
>   "x asserts that x is not a true sentence." page 248
>
> https://liarparadox.org/Tarski_275_276.pdf
>   "x asserts that x is not a true sentence." page 248
>
> is encoded as: x ∉ True if and only if p
>   "where the symbol 'p' represents the whole sentence x"
>
> before it has been transformed page 275
>   we replace 'Tr' in this convention by 'Pr'
>
> thus becomes // on page 275
>   "(1) x ∉ Provable if and only if p"
>   "where the symbol 'p' represents the whole sentence x"
>
> *Proving that the Tarski Undefinability has an adapted*
> *form of the Liar Paradox as the first line of his proof*
>
How about you stick to the halting problem, which you actually have more
understanding about?

Re: Tarski anchors his whole proof in the Liar Paradox

<uosgqt$e02s$4@i2pn2.org>

  copy mid

https://news.novabbs.org/devel/article-flat.php?id=52425&group=comp.theory#52425

  copy link   Newsgroups: comp.theory sci.logic
Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.logic
Subject: Re: Tarski anchors his whole proof in the Liar Paradox
Date: Wed, 24 Jan 2024 21:25:33 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <uosgqt$e02s$4@i2pn2.org>
References: <uorieg$1t9td$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 25 Jan 2024 02:25:33 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="458844"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <uorieg$1t9td$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
 by: Richard Damon - Thu, 25 Jan 2024 02:25 UTC

On 1/24/24 12:46 PM, olcott wrote:
> *Tarski anchors his whole proof in the Liar Paradox*
> https://liarparadox.org/Tarski_247_248.pdf
>   "x asserts that x is not a true sentence." page 248
>
> https://liarparadox.org/Tarski_275_276.pdf
>   "x asserts that x is not a true sentence." page 248
>
> is encoded as: x ∉ True if and only if p
>   "where the symbol 'p' represents the whole sentence x"
>
> before it has been transformed page 275
>   we replace 'Tr' in this convention by 'Pr'
>
> thus becomes // on page 275
>   "(1) x ∉ Provable if and only if p"
>   "where the symbol 'p' represents the whole sentence x"
>
> *Proving that the Tarski Undefinability has an adapted*
> *form of the Liar Paradox as the first line of his proof*
>

And you clearly don't see that he shows that this is a result of there
being a definition of Truth.

You just don't understand how logic works and are picking pieces out of
context, proving you just don't understand what you are talking about.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor