Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 11 May 2024 21:44:24 +0000
Subject: =?UTF-8?Q?Re:_universal_quantification=2c_because_g=e2=a4=a8=28g?=
 =?UTF-8?B?4oG7wrkoeCkpID0gZyh5KSBbMS8yXSBSZTogaG93?=
Newsgroups: sci.math
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp>
 <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>
 <a67efe1b-dfeb-4aaa-bb4a-8bea6b64f2ee@att.net>
 <Jm-dnTTO1LWh4aD7nZ2dnZfqn_adnZ2d@giganews.com>
 <fa182313-6860-4e05-a103-2737336b55ce@att.net>
 <aAidnSzcCMwa4qP7nZ2dnZfqnPadnZ2d@giganews.com>
 <58fcd3ad-ba5f-43e5-83e5-364d36a05bb6@att.net>
 <96icnX-9Eoi7JKP7nZ2dnZfqn_idnZ2d@giganews.com>
 <9b151f0f-bd31-4652-a216-d769a6d36b39@att.net>
 <b3ednaXHZ4pH6aL7nZ2dnZfqnPudnZ2d@giganews.com>
 <5ea7e2c8-3fa4-4a56-843c-2cec222db3ec@att.net>
 <ToWdnXuzm82dDqL7nZ2dnZfqnPadnZ2d@giganews.com>
 <fd6c1cae-9d52-4dde-bd4a-3d00f0463560@att.net>
 <TQ2dnVA9fI8oQKL7nZ2dnZfqn_SdnZ2d@giganews.com>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Sat, 11 May 2024 14:44:34 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <TQ2dnVA9fI8oQKL7nZ2dnZfqn_SdnZ2d@giganews.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <58KdnWH_rOEle6L7nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 142
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-vaiFh+fsOwplEyyOaWIh7zNf+JHqH/+Z92WfqkiGgdykHM/JLPrYW3IC2NQBygz1N1Ptq8t7MIOJe72!Qx3aBBZApbfEoG0t7nW2EjQ+CR4s/4GvCNBrS4Vjl8XJ4Ao/QFoNpc33eKVAKSDHr8zw/jdbnvkU
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 6515

On 05/11/2024 02:05 PM, Ross Finlayson wrote:
> On 05/11/2024 12:24 PM, Jim Burns wrote:
>> On 5/11/2024 11:47 AM, Ross Finlayson wrote:
>>> On 05/11/2024 07:40 AM, Jim Burns wrote:
>>
>>>> [...]
>>>
>>> In the logical, the purely logical,
>>> the syntax "is" the semantics.
>>
>> If what makes logic impure is
>> to be about something,
>> then it would make some sense to say that
>> pure logic has no semantics
>>
>> ...which leads, by default?
>> to syntax being the missing semantics, I guess?
>>
>> Sorry, I will not sign your petition.
>> Syntax and semantics are more different than
>> cabbages and kings.
>>
>> It seems to me that
>> the purest of ultra.pure logic is actually
>> _about_ claims,
>> analogous to geometry being _about_ points,
>> lines, plane.figures, and so on.
>>
>> It is an unbreakable law that
>> the sum of the squares of the two shorter sides
>> of a right.triangle is equal to
>> the square of the third and longest side.
>>
>> It is an unbreakable law that
>> a finite sequence of only not.first.false claims
>> holds only true claims.
>>
>> It is an unbreakable law that
>> Q preceded by P and P⇒Q is not.first.false.
>>
>>
>
> It's exactly about "not.ultimately.untrue" that
> describes how there are "inductive impasses"
> that belie their finite inputs.
>
> These are found in all the greatest seminal arguments
> of objects of reason their dissonance yet harmony,
> complementary duals, anything that's otherwise a
> "paradox" of mathematical logic, which yet, is not.
>
> The "pure theory" is, "all the things, theoretically".
>
> Then in set theory there are ubiquitous ordinals,
> for example, sharing the background, sharing the substrate,
> of a continuum of objects, making the _bridges_,
> the analytical _bridges_, the ponts.
>
> Where it's so that induction is unbreakable,
> whether what _holds_ it, _is_ it, is the most
> usual sort of example of comprehension and
> quantification together.
>
> It's the most usual sort of example that
> it _is not_, point to any argument about
> Russell's "set" and any inductive set
> which according to itself is the entire
> world, or universe, of sets that don't
> contain themselves, which you forget
> is prohibited.
>
> So, the "conscientious" bit, is, even having
> to always take into account any exceptions to
> the rulial what are so rulial themselves,
> regular, regularity, because "truth is regular".
> Not: "regular is truth".
>
> It's not an unbreakable law that the Law of
> Excluded Middle holds for all propositions,
> because LEM or Tertium Non Datur TND, only
> effect a reflection on a class of propositions,
> not including those most pivotal and crucial,
> of what would otherwise be logical antinomies,
> which are not, because they are purely logical.
>
>
> Of course any sort of gathering of propositions
> is its own little pure logic itself, yet, we're
> interested here in the foundations and altogether,
> besides.
>
>
> You speak of the meta-theory, and that there is one,
> and we might call it pure logic, and it exists,
> and we attain to it, because we're conscientious,
> and, altogether thorough, as diligently as we can be,
> mathematicians qua logicians qua theoreticians.
>
> Lock is lit, ..., and around it goes.
>
>

Here's an example.

You encounter a river, it's either Styx or Lethe, I forget.
It's upon you to cross the river, or gorge, quite similar
to the recent episode recounted of the requirements
and consequences of crossing, or, not.

So, you see a guy across the river, no surprise, it's Zeno.
You imagine to consult him.

"HOW DO I GET TO THE OTHER SIDE OF THE RIVER?"

He hears your question.

"COME AGAIN?

"HOW DO I GET TO THE OTHER SIDE OF THE RIVER?"

He considers you for a moment.

"YOU ARE ON THE OTHER SIDE OF THE RIVER."

Then I imagine you might clarify,

"NO I MEAN TO YOUR SIDE OF THE RIVER."

Then you notice he's standing next to you and
says "go all the way across".


It's like two inductive analysts were contradicting
each other. One says "base case, subsequent
case, case closed", and the other says "base case,
subsequent case, case not closed".

You just pick one?