Path: ...!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 02 Jan 2025 19:05:06 +0000
Subject: Re: Replacement of Cardinality (ubiquitous ordinals, integer
 continuum, linear continuum, continuity)
Newsgroups: sci.logic,sci.math
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <881fc1a1-2e55-4f13-8beb-94d1f941b5af@att.net>
 <vg44QVKbPSR4U0Tq71L-fg5yqgM@jntp>
 <85194aeb-1b24-4486-8bcc-4dcd43b4fd2f@att.net>
 <HVudnVg62uHETjv7nZ2dnZfqn_ednZ2d@giganews.com>
 <HVudnVo62uGFSDv7nZ2dnZfqn_ednZ2d@giganews.com>
 <tR-dnU_G9dTXSjv7nZ2dnZfqn_WdnZ2d@giganews.com>
 <2e188e21-4128-4c76-ba5d-473528262931@att.net>
 <NQednW9Dop2vbDr7nZ2dnZfqn_SdnZ2d@giganews.com>
 <NQednW5Dop3gbDr7nZ2dnZfqn_QAAAAA@giganews.com>
 <aD2dnamNTPVnGej6nZ2dnZfqn_SdnZ2d@giganews.com>
 <3df3c8f4-05b1-477b-8812-f49bd46fa764@att.net>
 <NuucnRcPvqJUSej6nZ2dnZfqnPadnZ2d@giganews.com>
 <r2idnXWku-EIQOj6nZ2dnZfqnPqdnZ2d@giganews.com>
 <3abcbc99-851d-47c9-bed5-6c815d582a3e@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Thu, 2 Jan 2025 11:04:55 -0800
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: <3abcbc99-851d-47c9-bed5-6c815d582a3e@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <LHKdnbiBHLb_fuv6nZ2dnZfqn_SdnZ2d@giganews.com>
Lines: 90
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-Px9UWn3FSAm+sVhUsMCYefRYQF/P/1/EcqYk3mX8/TY73fZCpEFpB18gt/FWNAGdhFph51+pKm1sBAe!XHbM+yzrQDC5ggUh6TeqyqW8xestnIzH3ab4vih1IsE6AgS67/Vs6wTtyKuP18EfmIeucYw31k0=
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: 4307

On 01/02/2025 08:47 AM, Jim Burns wrote:
> On 1/1/2025 7:28 PM, Ross Finlayson wrote:
>>> On 01/01/2025 01:14 PM, Jim Burns wrote:
>>>>>> On 07/29/2024 12:44 PM, Ross Finlayson wrote:
>>>>>>> On 07/29/2024 05:32 AM, Jim Burns wrote:
>>>>>>>> On 7/28/2024 7:42 PM, Ross Finlayson wrote:
>
>>>>>>>>> about ubiquitous ordinals
>>>>>>>>
>>>>>>>> What are ubiquitous ordinal?
>
>>>>>>> So, "ubiquitous ordinals"
>>>>>>> is exactly what it says.
>>>>
>>>> It's surprising
>>>> how unhelpful some answers can be.
>
>> I'd so hope to be helpful,
>> it's categorized under virtue
>> somewhere between
>> thrifty and reverent or reverent and clean,
>> so I'd wonder,
>> is it, "un-helpful", in,
>> "can't think it", or,
>> "keep thinking it", or,
>> "keeps rebooting".
>
> 'Unhelpful' as in
> "empty of new information".
>
> --  It says what it says.
> Yes, and ... ?
>
> unhelpful.
> ⎛ I yam what's I yam
> ⎝ an' dat's all that I yam.
>
> helpful.
> ⎛ I'm strong to the finich
> ⎜ 'cause I eats me spinach.
> ⎜ I'm Popeye the Sailor Man
> ⎝ <toot toot>.
>
> ----
>> it's categorized under virtue
>> somewhere between
>> thrifty and reverent or reverent and clean,
>
> I'm thinking more of the Gricean maxim
> "Be informative".
> https://en.wikipedia.org/wiki/Cooperative_principle
>
> Philosopher Paul Grice describes
> the behavior which those in a conversation
> engage in and assume others engage in.
>
> The problem I have with calling that a virtue
> is that,
> for a too.large.fraction of people,
> that is an argument against being helpful,
> virtue having been redefined to be
> in opposition to virility.
>
>

"Well-Order the Universe" is
what "ubiquitous ordinals" is.

Which, you snipped?

It makes for a model of set theory
where "powerset is successor is order type",
thusly where the Powerset Theorem
holds different, as it were.

It makes for how set theory can be
having at least three models of continuous domains,
defined as having "extent density gaplessness measure",
or "extent density completeness measure",
continuous domains, about continuous topologies,
which are their own initial and final topologies.


Yet, you still haven't addressed that
"not.ultimately.untrue" is as important
as "not.first.false" in accounts of inference.

To be, ..., "not ultimately untrue".