Path: csiph.com!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jim Burns <james.g.burns@att.net>
Newsgroups: sci.math
Subject: =?UTF-8?Q?Re=3A_universal_quantification=2C_because_g=E2=A4=A8=28g?= =?UTF-8?B?4oG7wrkoeCkpID0gZyh5KSBbMS8yXSBSZTogaG93?=
Date: Thu, 9 May 2024 18:55:22 -0400
Organization: A noiseless patient Spider
Lines: 82
Message-ID: <a67efe1b-dfeb-4aaa-bb4a-8bea6b64f2ee@att.net>
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp> <499c4a7a-7fc7-4e4a-9b72-a7cd8affe271@att.net> <v0gv7o$3s84g$1@dont-email.me> <38955b31-7a34-4d2a-a3ec-32b8a66c0d7e@att.net> <v0ujej$3ecti$1@dont-email.me> <03af2426-92b1-47f9-b32f-3c6f61b40f0c@att.net> <v10n82$qkn$1@dont-email.me> <ce588a75-4ea6-4a78-8be2-d729e80d19cd@att.net> <AddHfbN-qz8pWaxRgIvS5xiFQw8@jntp> <d56cbcbb-3d26-4606-8572-366eaadc608f@att.net> <4P8mN6L4GiZRL_cw9VoFlkFRsyI@jntp> <0682ec96-856f-4659-918d-f4f08edada3e@att.net> <HlGdnSePy7HPTar7nZ2dnZfqnPqdnZ2d@giganews.com> <94ffd67c-271d-4518-8cf9-59dfe5921876@att.net> <0JecnWBDiO2urKT7nZ2dnZfqnPSdnZ2d@giganews.com> <9sudnRBOYZTvEKf7nZ2dnZfqnPWdnZ2d@giganews.com> <ea6d4717-0004-4296-b9f9-5625c4b238a7@att.net> <ceecnRqey7PiQ6b7nZ2dnZfqnPSdnZ2d@giganews.com> <e533e6c1-e2a5-48bf-a921-0133d13323c3@att.net> <4nidnfx6cPrst6D7nZ2dnZfqn_adnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 10 May 2024 00:55:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="375bc36058d4d9caf3b1f07befa80ccf"; logging-data="985341"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19WdWz5hekZeQ/9GTqcxIgasjRUXK5uP3A="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:tOAQdE6pbWS4N1yolVd7YcuT3tg=
Content-Language: en-US
In-Reply-To: <4nidnfx6cPrst6D7nZ2dnZfqn_adnZ2d@giganews.com>
Xref: csiph.com sci.math:627538

On 5/9/2024 3:56 PM, Ross Finlayson wrote:
> On 05/08/2024 02:14 PM, Jim Burns wrote:

>> Consider
>> | ∀x:B(x) ⇒ B(t)
>> | ∀x:(B⇒C(x)) ⇒ (B⇒∀x:C(x))
>> | B(x)  ⊢  ∀x:B(x)
>> | ∃x:B(x) ⇔ ¬∀x:¬B(x)
>>
>> Is it possible that
>> several centuries of polishing and perfecting
>> have given us, in 2024, something which
>> François Viète had only set out in search of?
>>
>> I am not a giant.
>> However, I can stand on giants' shoulders.
>> Since I can, why shouldn't I?
>
> Sort of, I suppose.

| I beseech you, in the bowels of Christ,
| think it possible that
| I cannot read your mind.
|
<pseudo.Cromwell>

> Like Russell stood on Frege and Peirce,
> and von Neumann and Zermelo stood on Mirimanoff,
> and Cantor stood on duBois-Reymond, well,
> Newton of course is very well-known for
> his quote "I stood on people left and right".

| If I have seen further
| it is by standing on ye sholders of Giants.
|
<Newton>

> Here it's still "Amicus Plato"

| Amicus Plato — amicus Aristoteles — magis amica veritas
<Newton>
==
| Plato is my friend -- Aristotle is my friend --
| but my best friend is truth.
|
<Newton>

> Here it's still "Amicus Plato"
> and it's very old-fashioned,
> yet every few hundred years at least
> it comes back around,
> unsurprisingly much the same.
>
> So, ye adherents of Russell's retro-thesis and
> semi-Aristotleans of
> the "I say" logical positivist variety,
> too often thinking that
> circa-20'th-century-classical quasi-modal logic
> is either classical or full for DeMorgan:
> can you get down?
>
> Not.first.false?  Largest.number.ever.

Compare
finite sequences of only not.first.false claims
to
logarithmic slide rules.

When used correctly,
they both give what they're advertised to give.

Doubts that they give that,
to the extent that there are doubts that they give that,
originate from it being less.than.immediately.obvious
that they give what they're advertised to give.

But they do give that,
and it can be shown that they give that,
even if it is challenge and more.than.a.challenge
to _immediately_ show that they give that.