Message-ID:

HOST SYSTEM NOT RESPONDING, PROBABLY DOWN. DO YOU WANT TO WAIT? (Y/N)

computers / comp.ai.philosophy / Re: Defeating Tarski Undefinability and Gödel 1931 Incompleteness and

Defeating Tarski Undefinability and Gödel 1931 Incompleteness and

<ullm2i$2kq90$1@dont-email.me>

https://www.rocksolidbbs.com/computers/article-flat.php?id=12210&group=comp.ai.philosophy#12210

copy link Newsgroups: sci.logic comp.theory sci.math comp.ai.philosophy

Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polcott2@gmail.com (olcott)
Newsgroups: sci.logic,comp.theory,sci.math,comp.ai.philosophy
Subject: Defeating_Tarski_Undefinability_and_Gödel_1931_Incom
pleteness_and
Date: Sat, 16 Dec 2023 20:23:12 -0600
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <ullm2i$2kq90$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 17 Dec 2023 02:23:14 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="1283db4cec218ab00cc186fd338c35da";
logging-data="2779424"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+iQOXhiDjG604FKNYsItBm"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:O/A5k2+N+nR8JZx5W6jjQKTAVpA=
Content-Language: en-US

by: olcott - Sun, 17 Dec 2023 02:23 UTC

*This is true by definition* Within the body of analytical truth of the
analytic/synthetic distinction every element of the body of analytic
knowledge (BOAK) is true entirely on the basis of its connection to the
semantic meanings that make it true.

This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability
Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
this connection excludes an expression from the BOAK, thus undecidable
expressions cannot exist within the BOAK.

True(x) is defined by the above, within the BOAK thus refuting Tarski.

Every element of the BOAK has a provability connection to its semantic
meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
that say this cannot correctly and consistently accomplished.

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

Re: Defeating Tarski Undefinability and Gödel 1931 Incompleteness and

<ullnmt$3rhej$43@i2pn2.org>

copy mid

https://www.rocksolidbbs.com/computers/article-flat.php?id=12211&group=comp.ai.philosophy#12211

copy link Newsgroups: comp.theory sci.math comp.ai.philosophy

Path: i2pn2.org!.POSTED!not-for-mail
From: richard@damon-family.org (Richard Damon)
Newsgroups: comp.theory,sci.math,comp.ai.philosophy
Subject: Re:_Defeating_Tarski_Undefinability_and_Gödel_1931
_Incompleteness_and
Date: Sat, 16 Dec 2023 21:51:09 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <ullnmt$3rhej$43@i2pn2.org>
References: <ullm2i$2kq90$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 17 Dec 2023 02:51:09 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="4048339"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <ullm2i$2kq90$1@dont-email.me>
Content-Language: en-US

by: Richard Damon - Sun, 17 Dec 2023 02:51 UTC

On 12/16/23 9:23 PM, olcott wrote:
> *This is true by definition* Within the body of analytical truth of the
> analytic/synthetic distinction every element of the body of analytic
> knowledge (BOAK) is true entirely on the basis of its connection to the
> semantic meanings that make it true.
>

And that includes INFINITE level of connections.

Remember, "Sementic" in logic does NOT mean "By the meaning of the words
themselves".

> This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability
> Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
> this connection excludes an expression from the BOAK, thus undecidable
> expressions cannot exist within the BOAK.

Nope., It prove you don't understand what you are talking about.
>
> True(x) is defined by the above, within the BOAK thus refuting Tarski.

Nope, you don't understand what Tarski means by "definition of Truth:.

>
> Every element of the BOAK has a provability connection to its semantic
> meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
> that say this cannot correctly and consistently accomplished.
>

Nope. "Provable" means has a finite length connection string.

True allows for infinite length conection string.

This has been explaid to you before, but in your inabiity to learn, you
have ignored it, making you just an idiotic liar and prove your stupidity.

Subject	Author
Defeating Tarski Undefinability and Gödel 1931 Incom	olcott
Re: Defeating Tarski Undefinability and Gödel 1931	Richard Damon