Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic
Subject: Re: Mathematical incompleteness has always been a misconception ---
 Tarski
Date: Tue, 11 Feb 2025 06:32:45 +0100
Organization: A noiseless patient Spider
Lines: 36
Message-ID: <voendt$1fv53$1@dont-email.me>
References: <vnh0sq$35mcm$1@dont-email.me> <vni4ta$3ek8m$1@dont-email.me>
 <vnikre$3hb19$1@dont-email.me> <vnkov9$1971$1@dont-email.me>
 <vnl9vj$4f8i$1@dont-email.me> <vnndqs$kef3$1@dont-email.me>
 <vnpd96$vl84$1@dont-email.me> <vnqm3p$1apip$1@dont-email.me>
 <vnqsbh$1c5sq$1@dont-email.me> <vnsm90$1pr86$1@dont-email.me>
 <vnte6s$1tra8$1@dont-email.me> <vnv4tf$2a43e$1@dont-email.me>
 <vo0249$2eqdl$1@dont-email.me> <vo1qae$2s4cr$1@dont-email.me>
 <vo2i10$302f0$1@dont-email.me> <vo4nj4$3f6so$1@dont-email.me>
 <vo5btf$3ipo2$1@dont-email.me> <vo7ckh$q2p$1@dont-email.me>
 <vo7tdg$36ra$6@dont-email.me> <6f2dndBWC7gd4Dr6nZ2dnZfqn_qdnZ2d@giganews.com>
 <vo9krm$3octb$1@dont-email.me> <voae76$m3dj$1@dont-email.me>
 <3f1ed83042ed4a260d1a63ef7c61528ea9858947@i2pn2.org>
 <vobaaa$rhmq$1@dont-email.me> <ozidnWTo6a9fLjf6nZ2dnZfqn_SdnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 11 Feb 2025 06:32:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="049f3f71bceeca6a24fe715145b07f0f";
	logging-data="1572003"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19eyHT960GeIPgPFlNj6Ssrr+7xogAcLnc="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:5Od5jxfRKpBDYJ5ACA8S0giSdyE=
In-Reply-To: <ozidnWTo6a9fLjf6nZ2dnZfqn_SdnZ2d@giganews.com>
Content-Language: en-GB
Bytes: 3217

On 11/02/2025 03:19, Ross Finlayson wrote:

>>>>> We live in a yellow submarine, just yellower and yellower.
> 
> The Comenius language that Comenius posits, is also
> like Leibniz' universal language, which also he posits,

Language is a tool in Leibniz, not the primary thing.
<https://seprogrammo.blogspot.com/2024/01/on-logic-of-it.html>

Indeed, all you keep spouting is rather anti-Leibniz.
Not per chance, in this empire of fundamental inversions.

> like Nietzsche's eternal text, which he bemoans its
> absence, and like Quine in Word & Object, ignores.
> 
> A footnote in Quine refers to Russell's inconstancy,
> or mere generously, development, with regards to
> "never knowing what he is talking about".
> 
> Nietzsche as well had a later greater return
> to Platonism, though it was much less promoted
> since logical positivists of a particular formal
> variety don't care for it.
> 
> Then the pre-geometric (technical, mathematical, ideal)
> and pre-scientific (technical, scientific, analytical)
> have that Derrida for Husserl very much has it so
> part of the Lebenswelt, which we inhabit.
> 
> (analytical)

I once wrote a little word randomizer: given any text in
input, it spit out prose that was more honest than yours.

-Julio