Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 05 Aug 2024 20:11:26 +0000
Subject: Re: Replacement of Cardinality (quantifier disambiguation)
Newsgroups: sci.logic,sci.math
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <-qUZ96ARwcjh9QPfyWRnijjNwoY@jntp>
 <6b837540-3d9a-4b8e-9a70-88d52e81a1a4@att.net>
 <xQQT0K_Q_k2FbMcCUXF8j3CEg84@jntp>
 <9822f5da-d61e-44ba-9d70-2850da971b42@att.net>
 <p36L63dXamDAkHDhkZhDKqx-h-o@jntp>
 <d8bbe664-a601-4590-9a7f-d5312b4dae54@att.net>
 <F6pqEi9Vg1YMcYTcIPQNs6NU_vI@jntp>
 <4f606ef2-ef6c-487b-b959-d109e374929f@att.net> <v8mh6f$3mmj9$2@dont-email.me>
 <I2JWgvxiRMkr8F2KSK6i7i5b1n0@jntp> <v8p1jp$9gvr$1@dont-email.me>
 <v8p63d$a0fn$2@dont-email.me> <R1adnY182afmvC37nZ2dnZfqnPSdnZ2d@giganews.com>
 <Uz6dnfsLgooMsC37nZ2dnZfqnPSdnZ2d@giganews.com>
 <a8767287-bd51-4cee-9c4c-59a38b515bbb@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Mon, 5 Aug 2024 13:11:41 -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: <a8767287-bd51-4cee-9c4c-59a38b515bbb@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <1V2dnYjRRO9zrCz7nZ2dnZfqn_WdnZ2d@giganews.com>
Lines: 123
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-uyj1fUHt7vfj0ZYUdkvlSHFyVuX/DB7c22RGv6SXexyrL75gZ5ZslrFD6U90s+c9ZD770gs5aSmvOGq!kserR78HDHWujojTh+kt4ar9q8rxybIBRbAp36PLSar+j78yfyfsOryvOseGZxujEwf8NJVhH+7D
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: 5741

On 08/05/2024 06:01 AM, Jim Burns wrote:
> On 8/4/2024 9:41 PM, Ross Finlayson wrote:
>> On 08/04/2024 05:49 PM, Ross Finlayson wrote:
>>> On 08/04/2024 05:24 PM, Moebius wrote:
>
>>>> [...]
>>> [...]
>>
>> This is for something like
>> Zeno and the limit and the infinite limit,
>> there being a difference, and that
>> Zeno particularly says that
>> "if you don't get all the way across,
>> then close enough is also
>> close enough to half, to a quarter,
>> and on down the inverse powers of two,
>> to none".
>
> Or Zeno says the opposite of that.
>
> No distance can be completed without
> half the distance having been completed,
> and thus,
> in order to complete the distance,
> these tasks,
> among which no task begins them,
> must have been completed.
>
> No distance can be begun to be completed.
> Ignore your lying eyes:
> motion is impossible.
>
> Better:
> A half, a quarter, an eighth, kai ta hetera
> is not close enough.
> We do not get across any finite distance.
>
>> I.e. Zeno explains that
>> the analytical bridge
>> has an inductive impasse and
>> must be surpassed as an infinite super-task.
>
> Another possibility is that
> motion is possible, but
> the description of motion as
> (not.a.supertask but) an unbeginnable set
> is not a correct description.
>
> It is a notable property of a finite ordered set
> that its greatest lower bound is in the set.
>
> However,
> that is not a property shared by all sets.
> In particular, as Zeno of Elea points out,
> the greatest lower bound of distances covered
> is zero, which isn't a distance covered.
>
> Perhaps our eyes are not lying, but
> the set of distances covered isn't finite.
>
>> [...] inductive impasse [...] infinite super-task.
>
> Induction is a finite task
> which reasons about infinitely.many.
>
> A finite.length claim can be true of
> infinitely.many by
> being stated about an indefinite one, and
> being true without exception.
>
> In order to prevent exceptions,
> we engage in hypocrisyᴿꟳ ==
> not.making claims for what claims are not.for.
>
> Perhaps, without hypocrisyᴿꟳ, motion is impossible.
> I haven't really considered the hypothetical.
> If you haven't noticed, I really like hypocrisyᴿꟳ.
> You will get my hypocrisyᴿꟳ
> when you pry it from my cold, dead hands.
>
>

Well, you seem about half-way there, ....



For the past several several months, I've been recording
a pod-cast about each week of about an hour, under the
subject "Moment and Motion", where the previous topic of
about 50 hours was "Descriptive Differential Dynamics".

In "Moment and Motion", I go about describing the theory
of motion and of moments as is usually rather well-known
as what is classical mechanics, and explain for example
how it is undefined how things meet and part, at all,
in the usual laws of mechanics.

What I've arrived at is a sort of deconstructive account
about particularly the "infinitely-many higher orders
of acceleration" that are formally non-zero somewhere
between before and after any application of otherwise force.

Along the way, Zeno is a constant companion, and indeed,
a recent notion of "Zeno's swath" joins Zeno's other
theories, of what must be comprehended to make reasonable,
sound models of motion, and dynamics in motion or change,
mostly as with regards to the model of a wave as a model
of change in open systems, in physics.

Of course, this is a mathematical physics, thusly the point
mostly is to equip mathematics with sound, reasonable models
of dynamics in motion thusly to automatically equip the
physics, also.

So, you can browse to this "Philosophical Foreground" play-list
under my pod-casts channel https://www.youtube.com/@rossfinlayson ,
where is entertained a theory where zero meters per second:
is infinity seconds per meter.


tempus fugit