Article <v3jr12$3q1r6$1@dont-email.me>

Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connections
Warning: mysqli::query(): Couldn't fetch mysqli in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\index.php on line 66
Article <v3jr12$3q1r6$1@dont-email.me>

Deutsch English Français Italiano

<v3jr12$3q1r6$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Concise rebuttal of incompleteness and undecidability
Date: Mon, 3 Jun 2024 10:23:14 +0300
Organization: -
Lines: 26
Message-ID: <v3jr12$3q1r6$1@dont-email.me>
References: <v3iajp$3ed35$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 03 Jun 2024 09:23:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0e670f0fad830183dc51c091d8d9edbb";
	logging-data="3999590"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+QyoIvFGFIXnOoNmN2h1jh"
User-Agent: Unison/2.2
Cancel-Lock: sha1:GTTs+PV+kdmo25j+7+ZAhyb3hxA=
Bytes: 1988

On 2024-06-02 17:36:57 +0000, olcott said:

> Because of Quine's paper: https://www.ditext.com/quine/quine.html most
> philosophers have been confused into believing that there is no such
> thing as expressions of language that are {true on the basis of their
> meaning}.
> 
> The unique contribution I have made to this is that the semantic meaning
> of these expressions is always specified by other expressions. When we
> can derive x or ~x by applying truth preserving operations to a set of
> semantic meanings then this perfectly aligns with Wittgenstein's concise
> critique of Gödel: https://www.liarparadox.org/Wittgenstein.pdf
> 
> Unless P or ~P has been proved in Russell's system P has no truth value
> and thus cannot be a proposition according to the law of the excluded
> middle.
> 
> As Richard keeps pointing out:
> Sometimes this "proof" may require an infinite sequence of steps.

The above is not a reuttal of anything. It does not even claim to
rebut anything, and does not show any counter proof of anyting.

-- 
Mikko