Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #625474 > unrolled thread

Re: Ordinals

Back to article view | Back to sci.math

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.

Contents

  Re: Ordinals "markus...@gmail.com" <markusklyver@gmail.com> - 2024-02-20 11:35 -0800
    Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-20 20:54 +0100
      Re: Ordinals "mitchr...@gmail.com" <mitchrae3323@gmail.com> - 2024-02-20 11:59 -0800
    Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-20 12:15 -0800
      Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-20 12:27 -0800
      Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-20 17:02 -0500
        Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-20 19:36 -0800
          Re: Ordinals Mild Shock <bursejan@gmail.com> - 2024-02-21 05:47 -0800
            Re: Ordinals Mild Shock <bursejan@gmail.com> - 2024-02-21 05:50 -0800
              Re: Ordinals Mild Shock <bursejan@gmail.com> - 2024-02-21 06:16 -0800
          Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-21 10:24 -0800
            Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 09:03 +0100
              Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 09:11 +0100
              Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-22 10:16 -0800
                Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 19:20 +0100
                  Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 19:22 +0100
                    Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 19:40 +0100
                      Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 20:00 +0100
                    Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-22 10:55 -0800
                      Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 20:08 +0100
                        Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 20:13 +0100
                  Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-22 11:01 -0800
                    Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 20:11 +0100
                      Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-22 20:13 +0100
              Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-22 14:34 -0500
                Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-22 11:39 -0800
                Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-02-23 00:41 +0100
        Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-21 08:33 +0000
          Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-21 12:59 -0500
            Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-22 13:00 +0000
              Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-22 11:13 -0500
                Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-23 08:47 +0000
                  Semanticists candy (Was: Ordinals) Mild Shock <janburse@fastmail.fm> - 2024-02-26 12:58 +0100
                  Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-27 14:25 -0500
                    Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-27 11:59 -0800
                    Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-27 20:05 +0000
                      Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-27 17:24 -0500
                        Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-28 09:48 +0000
                          Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-02-28 06:52 -0500
                            Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-28 17:24 +0000
                              Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-02-28 17:07 -0500
                                Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-29 08:23 +0000
                                  Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-02-29 07:35 -0500
                                    Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-02-29 19:25 +0000
                                      Re: Ordinals "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-02-29 13:48 -0800
                                      Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-02-29 22:12 -0500
                                        Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-02-29 19:36 -0800
                                          Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 20:38 +0100
                                            Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 20:52 +0100
                                              Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 21:08 +0100
                                                Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-03-01 15:56 -0500
                                                  Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 22:53 +0100
                                                    Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 23:11 +0100
                                                      Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-01 23:33 +0100
                                                      Re: Ordinals Jim Burns <james.g.burns@att.net> - 2024-03-01 19:41 -0500
                                                        Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-03-01 20:15 -0800
                                                          Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-03-02 10:49 -0800
                                                        Re: Ordinals Mild Shock <janburse@fastmail.fm> - 2024-03-02 20:40 +0100
                                            Re: Ordinals Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-03-01 14:45 -0800
                                        Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-03-01 08:47 +0000
                                          Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-03-01 09:44 -0500
                                            Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-03-01 18:29 +0000
                                              Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-03-01 14:00 -0500
                                                Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-03-02 12:36 +0000
                                                  Re: Ordinals Richard Damon <richard@damon-family.org> - 2024-03-02 09:22 -0500
                                                    Re: Ordinals WM <wolfgang.mueckenheim@tha.de> - 2024-03-02 15:25 +0000
    Re: Ordinals "mitchr...@gmail.com" <mitchrae3323@gmail.com> - 2024-02-20 17:21 -0800
      RSemanticists candy (Re: Ordinals) [Addendum] Mild Shock <janburse@fastmail.fm> - 2024-02-26 13:01 +0100

Page 1 of 4  [1] 2 3 4  Next page →

#625474 — Re: Ordinals

lördag 19 april 2014 kl. 10:11:25 UTC+2 skrev quasi:
> quasi wrote: 
> >William Elliot wrote: 
> >> 
> >>Does the set of all ordinals exist within ZF? 
> > 
> >It's too big to be a set.
> Hmmm ... 
> 
> It's certainly not a set in ZFC. 
> 
> I'm not sure if the "too big" criterion can be applied in ZF. 
> 
> But how would you _define_ such a set? 
> 
> Wouldn't the postulated existence of such a set fall victim to 
> Russell's paradox? 
> 
> quasi
No set can contain itself. The set of all ordinals would be a new ordinal, and thus contain itself. Ergo, there cannot be a set of all ordinals.

[toc] | [next] | [standalone]

#625477

The phrase the "The set of all ordinals" is meaningless if ordinals
are not sets itself. At the time of Burali-Forti set theory was
not that evolved. And the proof at that time didn't use regularity axiom.

So the set of all ordinals was a notion of naive set theory, and not
formulated in modern set theory ordinal terminology, but as a
question about transfinite numbers:

Una questione sui numeri transfiniti
https://zenodo.org/records/2362091/files/article.pdf

As one can see from the paper the proof proceeded by establishing:

Ω + 1 > Ω and Ω + 1 < Ωmarkus...@gmail.com schrieb:

> No set can contain itself. The set of all ordinals would be a new ordinal
and thus contain itself. Ergo, there cannot be a set of all ordinals.
> 

[toc] | [prev] | [next] | [standalone]

#625478

On Tuesday, February 20, 2024 at 11:55:03 AM UTC-8, Mild Shock wrote:
> The phrase the "The set of all ordinals" is meaningless if ordinals 
> are not sets itself. At the time of Burali-Forti set theory was 
> not that evolved. And the proof at that time didn't use regularity axiom. 
> 
> So the set of all ordinals was a notion of naive set theory, and not 
> formulated in modern set theory ordinal terminology, but as a 
> question about transfinite numbers: 
> 
> Una questione sui numeri transfiniti 
> https://zenodo.org/records/2362091/files/article.pdf 
> 
> As one can see from the paper the proof proceeded by establishing: 
> 
> Ω + 1 > Ω and Ω + 1 < Ωmarkus...@gmail.com schrieb:
> > No set can contain itself. The set of all ordinals would be a new ordinal
> and thus contain itself. Ergo, there cannot be a set of all ordinals. 
> >

Man is making more out of ordinals than is there.
He even did it with the Calculus. Einstein pointed it out.
It was part of what he wrote on his death bed.

[toc] | [prev] | [next] | [standalone]

#625482

On 02/20/2024 11:35 AM, markus...@gmail.com wrote:
> lördag 19 april 2014 kl. 10:11:25 UTC+2 skrev quasi:
>> quasi wrote:
>>> William Elliot wrote:
>>>>
>>>> Does the set of all ordinals exist within ZF?
>>>
>>> It's too big to be a set.
>> Hmmm ...
>>
>> It's certainly not a set in ZFC.
>>
>> I'm not sure if the "too big" criterion can be applied in ZF.
>>
>> But how would you _define_ such a set?
>>
>> Wouldn't the postulated existence of such a set fall victim to
>> Russell's paradox?
>>
>> quasi
> No set can contain itself. The set of all ordinals would be a new ordinal, and thus contain itself. Ergo, there cannot be a set of all ordinals.
>

"... in set-theories like ZF
that are ordinary/well-founded,
according to an axiom like Regularity
of restriction of comprehension."

There are others, ..., "Mengenlehre(n)".

[toc] | [prev] | [next] | [standalone]

#625483

On 02/20/2024 12:15 PM, Ross Finlayson wrote:
> On 02/20/2024 11:35 AM, markus...@gmail.com wrote:
>> lördag 19 april 2014 kl. 10:11:25 UTC+2 skrev quasi:
>>> quasi wrote:
>>>> William Elliot wrote:
>>>>>
>>>>> Does the set of all ordinals exist within ZF?
>>>>
>>>> It's too big to be a set.
>>> Hmmm ...
>>>
>>> It's certainly not a set in ZFC.
>>>
>>> I'm not sure if the "too big" criterion can be applied in ZF.
>>>
>>> But how would you _define_ such a set?
>>>
>>> Wouldn't the postulated existence of such a set fall victim to
>>> Russell's paradox?
>>>
>>> quasi
>> No set can contain itself. The set of all ordinals would be a new
>> ordinal, and thus contain itself. Ergo, there cannot be a set of all
>> ordinals.
>>
>
> "... in set-theories like ZF
> that are ordinary/well-founded,
> according to an axiom like Regularity
> of restriction of comprehension."
>
> There are others, ..., "Mengenlehre(n)".
>

(The set of all ordinals has a name, it's "ORD",
the order type of ordinals, and set of ordinals.)

(One time I wrote a couple different ways to
define, the, "group of all groups", for algebra,
like "GRP".)

(There are wide varieties of, "mothers of all wavelets".)

Mostly these sorts considerations are
called "ZF with Classes" or "ZFC with Classes",
that the Classes or Klassen, if that's right,
are sets, when, you know, they're not sets.

I called it the "Group-Noun Game", because,
it eventually runs out of Group Nouns.

Someone like Quine calls the classes that aren't
sets, "ultimate" classes, while usually the name
for the classes that aren't sets are "proper", classes,
while in some considerations there can only be one,
"proper" class, because, it's as an "absolute", class.


So, after ZFC there's things like NBG, "Neumann-Bernays-Goedel",
or GBN, "Goedel-Bernays-Neumann", who, depending on who you
ask and how formalist they are that day, are or aren't,
ZFC with classes and/or a conservative extension of ZFC.

[toc] | [prev] | [next] | [standalone]

#625488

On 2/20/2024 3:15 PM, Ross Finlayson wrote:
> On 02/20/2024 11:35 AM, markus...@gmail.com wrote:

>> No set can contain itself.
>> The set of all ordinals would be a new ordinal,
>> and thus contain itself.
>> Ergo, there cannot be a set of all ordinals.
>
> "... in set-theories like ZF
> that are ordinary/well-founded,
> according to an axiom like Regularity
> of restriction of comprehension."
>
> There are others, ..., "Mengenlehre(n)".

However,
whatever sets might be,
ordinals would not be ordinals
if they weren't well.ordered by ∈

In any theory in which ordinals are ordinals,
at least the ordinals have finite.descent,
whatever might be true of other sets.

A proposed set.of.all.ordinals which
held itself would not have finite descent.


Ordinals are well.ordered.
Well.ordered.ness can be re.phrased as
transfinite.induction.ness.
(∀α:(∀β<α:P(β))⇒P(α))  ⟹  ∀γ:P(γ)

FD(γ) == "γ has finite descent"

| Assume each ordinal β < α has finite descent.
| ∀β<α:FD(β)
|
| ⟨ α β δ ε ... ⟩ is a strictly.descending sequence
| α > β
| β has finite descent.
| ⟨ β δ ε ... ⟩ is finite
| ⟨ α β δ ε ... ⟩ is finite
| Generalizing over sequences,
| α has finite descent.

Therefore, generalizing over ordinals,
∀α:(∀β<α:FD(β))⇒FD(α)

By transfinite.induction (by well.order),
∀γ:FD(γ)
Each ordinal has finite descent.

Therefore,
the ordinal(?) holding all(?) ordinals
does not hold itself.

[toc] | [prev] | [next] | [standalone]

#625505

On 02/20/2024 02:02 PM, Jim Burns wrote:
> On 2/20/2024 3:15 PM, Ross Finlayson wrote:
>> On 02/20/2024 11:35 AM, markus...@gmail.com wrote:
>
>>> No set can contain itself.
>>> The set of all ordinals would be a new ordinal,
>>> and thus contain itself.
>>> Ergo, there cannot be a set of all ordinals.
>>
>> "... in set-theories like ZF
>> that are ordinary/well-founded,
>> according to an axiom like Regularity
>> of restriction of comprehension."
>>
>> There are others, ..., "Mengenlehre(n)".
>
> However,
> whatever sets might be,
> ordinals would not be ordinals
> if they weren't well.ordered by ∈
>
> In any theory in which ordinals are ordinals,
> at least the ordinals have finite.descent,
> whatever might be true of other sets.
>
> A proposed set.of.all.ordinals which
> held itself would not have finite descent.
>
>
> Ordinals are well.ordered.
> Well.ordered.ness can be re.phrased as
> transfinite.induction.ness.
> (∀α:(∀β<α:P(β))⇒P(α))  ⟹  ∀γ:P(γ)
>
> FD(γ) == "γ has finite descent"
>
> | Assume each ordinal β < α has finite descent.
> | ∀β<α:FD(β)
> |
> | ⟨ α β δ ε ... ⟩ is a strictly.descending sequence
> | α > β
> | β has finite descent.
> | ⟨ β δ ε ... ⟩ is finite
> | ⟨ α β δ ε ... ⟩ is finite
> | Generalizing over sequences,
> | α has finite descent.
>
> Therefore, generalizing over ordinals,
> ∀α:(∀β<α:FD(β))⇒FD(α)
>
> By transfinite.induction (by well.order),
> ∀γ:FD(γ)
> Each ordinal has finite descent.
>
> Therefore,
> the ordinal(?) holding all(?) ordinals
> does not hold itself.
>
>


ORD, the order type of ordinals?
The antinomy of Cesare Burali-Forti?

When you theory has a universe,
it's sort of a singular entity,
it is its own powerset and all, ....

If you stick with bounded theories
and adopt an ultra-finitist formalism,
then you might wonder sometime,
where exactly it is all, at?


It's a usual idea for sorts
of "dualist monism",
since for example
Heraklites or Zen Buddhism,
that the universe really is a thing,
and we are in it,
and that the void really is a thing,
and we are in it,
about the same thing.

Because it's a tautology, ....

It's a sort of brachistology.

ORD:  that's its name.

[toc] | [prev] | [next] | [standalone]

#625528

**********************************************************************
Welcome to brain gymnastics about the "class" and "set" distinction.
**********************************************************************

"Ord" is the predication whether a class is transitive and is 
well-ordered by the membership relation.

"On" usually denotes the class of sets that are ordinal. 
On itself is ordinal, although not set-like.

Its basically the first example of an ordinal in every
set theory, which is not set-like. See also:

See also thes theorems here:

⊢ ¬ On ∈ V
https://us.metamath.org/mpeuni/onprc.html

⊢ Ord On
https://us.metamath.org/mpeuni/ordon.html

And this definition here:

⊢ On = {𝑥 ∣ Ord 𝑥}
https://us.metamath.org/mpeuni/df-on.html

Ross Finlayson schrieb am Mittwoch, 21. Februar 2024 um 04:36:43 UTC+1:
> ORD, the order type of ordinals? 
> The antinomy of Cesare Burali-Forti? 

[toc] | [prev] | [next] | [standalone]

#625531

BTW: Ord is prima facie a higher order logic predicate (HOL), 
it is not from first order logic (FOL), because it takes a 

class argument. But you might rewrite it to FOL for some 
kind of arguments sometimes. Its defined here:

⊢ (Ord 𝐴 ↔ (Tr 𝐴 ∧ E We 𝐴))
https://us.metamath.org/mpeuni/df-ord.html

Mild Shock schrieb am Mittwoch, 21. Februar 2024 um 14:47:14 UTC+1:
> ********************************************************************** 
> Welcome to brain gymnastics about the "class" and "set" distinction. 
> ********************************************************************** 
> 
> "Ord" is the predication whether a class is transitive and is 
> well-ordered by the membership relation. 
> 
> "On" usually denotes the class of sets that are ordinal. 
> On itself is ordinal, although not set-like. 
> 
> Its basically the first example of an ordinal in every 
> set theory, which is not set-like. See also: 
> 
> See also thes theorems here: 
> 
> ⊢ ¬ On ∈ V 
> https://us.metamath.org/mpeuni/onprc.html 
> 
> ⊢ Ord On 
> https://us.metamath.org/mpeuni/ordon.html 
> 
> And this definition here: 
> 
> ⊢ On = {𝑥 ∣ Ord 𝑥} 
> https://us.metamath.org/mpeuni/df-on.html
> Ross Finlayson schrieb am Mittwoch, 21. Februar 2024 um 04:36:43 UTC+1: 
> > ORD, the order type of ordinals? 
> > The antinomy of Cesare Burali-Forti?

[toc] | [prev] | [next] | [standalone]

#625532

Higher order logic (HOL) was already in use among logicians
when Gödel wrote this booklet:

Kurt Gödel: The Consistency of the Axiom of Choice and of 
the Generalized Continuum Hypothesis with the Axioms of 
Set Theory, Annals of Mathematical Studies, Volume 3, Princeton NJ, 1940
https://www.amazon.com/dp/0691079277

Meta math is not so open about it that it uses HOL.
Using Neumann-Bernays-Gödel-Mengenlehre (NBG) 
might also not help much. Pocking into Isabelle/HOL wasn't

so satisfactory either, they often work with α set type
constructor, so that the set theory and all theorems have
a type parameter α. But Meta math looks very cute,

is less a eyesore than anything else.

Mild Shock schrieb am Mittwoch, 21. Februar 2024 um 14:50:53 UTC+1:
> BTW: Ord is prima facie a higher order logic predicate (HOL), 
> it is not from first order logic (FOL), because it takes a 
> 
> class argument. But you might rewrite it to FOL for some 
> kind of arguments sometimes. Its defined here: 
> 
> ⊢ (Ord 𝐴 ↔ (Tr 𝐴 ∧ E We 𝐴)) 
> https://us.metamath.org/mpeuni/df-ord.html
> Mild Shock schrieb am Mittwoch, 21. Februar 2024 um 14:47:14 UTC+1: 
> > ********************************************************************** 
> > Welcome to brain gymnastics about the "class" and "set" distinction. 
> > ********************************************************************** 
> > 
> > "Ord" is the predication whether a class is transitive and is 
> > well-ordered by the membership relation. 
> > 
> > "On" usually denotes the class of sets that are ordinal. 
> > On itself is ordinal, although not set-like. 
> > 
> > Its basically the first example of an ordinal in every 
> > set theory, which is not set-like. See also: 
> > 
> > See also thes theorems here: 
> > 
> > ⊢ ¬ On ∈ V 
> > https://us.metamath.org/mpeuni/onprc.html 
> > 
> > ⊢ Ord On 
> > https://us.metamath.org/mpeuni/ordon.html 
> > 
> > And this definition here: 
> > 
> > ⊢ On = {𝑥 ∣ Ord 𝑥} 
> > https://us.metamath.org/mpeuni/df-on.html 
> > Ross Finlayson schrieb am Mittwoch, 21. Februar 2024 um 04:36:43 UTC+1: 
> > > ORD, the order type of ordinals? 
> > > The antinomy of Cesare Burali-Forti?

[toc] | [prev] | [next] | [standalone]

#625535

If ORD involves class/set distinction,
and a set-theory can also be written as a part-theory,
then what's part/particle distinction/

If set theory's relation is "elt", element-of, "in"
and class theory's relation is "members", "contains", "has",
then, is :
class/set theory
set/part theory?

Here that "numbering" and "counting" are two different things,
one for ordering theory the other for collection,
ordinals and sets, numbering and counting,
what about
set/class distinction and
set/part distinction and
part/class distinction?

See, this is among reasons why
I've been way both ahead of
and on top of this for a long time,
and trying to tell you so all the time.

I told you, ..., I told you.

Mostly is for understanding that
"numbering" and "counting" are
two different things, and they
involve each other in their resources.

[toc] | [prev] | [next] | [standalone]

#625566

Seriously, you don't know what classes are?

The membership relation is the same
for members of classes and for members of sets.
Since members of classes are sets just like

the members of sets are sets, in ZF. And there is
only one membership relation ∈ between sets. The
distinction between classes and sets was described

in the past as:

sets: includes collections of sizes from the numbers to
   the transfinite numbers
classes: includes collections that Cantor called
   NCONSISTENT MULTIPLICITIES

You had them somewhere in one of your random posts:

Ross Finlayson schrieb:
 > Of course, the goal is "there are no paradoxes at all",
 > then what seem "inconsistent multiplicities", just don't relate.

But this below is awful gibberish:

Ross Finlayson schrieb:
> If ORD involves class/set distinction,
> and a set-theory can also be written as a part-theory,
> then what's part/particle distinction/
> 
> If set theory's relation is "elt", element-of, "in"
> and class theory's relation is "members", "contains", "has",
> then, is :
> class/set theory
> set/part theory?
> 
> Here that "numbering" and "counting" are two different things,
> one for ordering theory the other for collection,
> ordinals and sets, numbering and counting,
> what about
> set/class distinction and
> set/part distinction and
> part/class distinction?
> 
> See, this is among reasons why
> I've been way both ahead of
> and on top of this for a long time,
> and trying to tell you so all the time.
> 
> I told you, ..., I told you.
> 
> Mostly is for understanding that
> "numbering" and "counting" are
> two different things, and they
> involve each other in their resources.
> 
> 

[toc] | [prev] | [next] | [standalone]

#625567

In the philosophy of mathematics, specifically the philosophical 
foundations of set theory, limitation of size is a concept developed by 
Philip Jourdain and/or Georg Cantor to avoid Cantor's paradox. It 
identifies certain "inconsistent multiplicities", in Cantor's 
terminology, that cannot be sets because they are "too large". In modern 
terminology these are called proper classes.
https://en.wikipedia.org/wiki/Limitation_of_size

You might like this book:

Cantor's ideas formed the basis for set theory and also for the 
mathematical treatment of the concept of infinity. The philosophical and 
heuristic framework he developed had a lasting effect on modern 
mathematics, and is the recurrent theme of this volume. Hallett explores 
Cantor's ideas and, in particular, their ramifications for 
Zermelo-Frankel set theory.
https://academic.oup.com/pq/article-abstract/36/144/429/1567519

Mild Shock schrieb:
> Seriously, you don't know what classes are?
> 
> The membership relation is the same
> for members of classes and for members of sets.
> Since members of classes are sets just like
> 
> the members of sets are sets, in ZF. And there is
> only one membership relation ∈ between sets. The
> distinction between classes and sets was described
> 
> in the past as:
> 
> sets: includes collections of sizes from the numbers to
>    the transfinite numbers
> classes: includes collections that Cantor called
>    NCONSISTENT MULTIPLICITIES
> 
> You had them somewhere in one of your random posts:
> 
> Ross Finlayson schrieb:
>  > Of course, the goal is "there are no paradoxes at all",
>  > then what seem "inconsistent multiplicities", just don't relate.
> 
> But this below is awful gibberish:
> 
> Ross Finlayson schrieb:
>> If ORD involves class/set distinction,
>> and a set-theory can also be written as a part-theory,
>> then what's part/particle distinction/
>>
>> If set theory's relation is "elt", element-of, "in"
>> and class theory's relation is "members", "contains", "has",
>> then, is :
>> class/set theory
>> set/part theory?
>>
>> Here that "numbering" and "counting" are two different things,
>> one for ordering theory the other for collection,
>> ordinals and sets, numbering and counting,
>> what about
>> set/class distinction and
>> set/part distinction and
>> part/class distinction?
>>
>> See, this is among reasons why
>> I've been way both ahead of
>> and on top of this for a long time,
>> and trying to tell you so all the time.
>>
>> I told you, ..., I told you.
>>
>> Mostly is for understanding that
>> "numbering" and "counting" are
>> two different things, and they
>> involve each other in their resources.
>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#625587

On 02/22/2024 12:03 AM, Mild Shock wrote:
> Seriously, you don't know what classes are?
>
> The membership relation is the same
> for members of classes and for members of sets.
> Since members of classes are sets just like
>
> the members of sets are sets, in ZF. And there is
> only one membership relation ∈ between sets. The
> distinction between classes and sets was described
>
> in the past as:
>
> sets: includes collections of sizes from the numbers to
>    the transfinite numbers
> classes: includes collections that Cantor called
>    NCONSISTENT MULTIPLICITIES
>
> You had them somewhere in one of your random posts:
>
> Ross Finlayson schrieb:
>  > Of course, the goal is "there are no paradoxes at all",
>  > then what seem "inconsistent multiplicities", just don't relate.
>
> But this below is awful gibberish:
>
> Ross Finlayson schrieb:
>> If ORD involves class/set distinction,
>> and a set-theory can also be written as a part-theory,
>> then what's part/particle distinction/
>>
>> If set theory's relation is "elt", element-of, "in"
>> and class theory's relation is "members", "contains", "has",
>> then, is :
>> class/set theory
>> set/part theory?
>>
>> Here that "numbering" and "counting" are two different things,
>> one for ordering theory the other for collection,
>> ordinals and sets, numbering and counting,
>> what about
>> set/class distinction and
>> set/part distinction and
>> part/class distinction?
>>
>> See, this is among reasons why
>> I've been way both ahead of
>> and on top of this for a long time,
>> and trying to tell you so all the time.
>>
>> I told you, ..., I told you.
>>
>> Mostly is for understanding that
>> "numbering" and "counting" are
>> two different things, and they
>> involve each other in their resources.
>>
>>
>

Actually, for class/set distinction,
I just introduced set/part distinction,
and part/particle distinction,
and set/particle distinction.

set:class::part:particle

set:part::class:particle

This is a usual form that A:B::C:D is
that A relates to B as C relates to D,
"set is to class as part is to particle", and
"set is to part as class is to particle".

[toc] | [prev] | [next] | [standalone]

#625588

Doesn't make any sense at all.

Not a single mention of proper classes here:
https://plato.stanford.edu/ENTRIES/mereology/

Ross Finlayson schrieb:
> Actually, for class/set distinction,
> I just introduced set/part distinction,
> and part/particle distinction,
> and set/particle distinction.
> 
> set:class::part:particle
> 
> set:part::class:particle
> 
> This is a usual form that A:B::C:D is
> that A relates to B as C relates to D,
> "set is to class as part is to particle", and
> "set is to part as class is to particle".
> 
> 

[toc] | [prev] | [next] | [standalone]

#625589

I guess we have reached your intellectual
boundaries, inherent in your squirell brain
sized, that of a walnut, cerebrum and cerebrellum.

Mild Shock schrieb:
> Doesn't make any sense at all.
> 
> Not a single mention of proper classes here:
> https://plato.stanford.edu/ENTRIES/mereology/
> 
> Ross Finlayson schrieb:
>> Actually, for class/set distinction,
>> I just introduced set/part distinction,
>> and part/particle distinction,
>> and set/particle distinction.
>>
>> set:class::part:particle
>>
>> set:part::class:particle
>>
>> This is a usual form that A:B::C:D is
>> that A relates to B as C relates to D,
>> "set is to class as part is to particle", and
>> "set is to part as class is to particle".
>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#625590

What we can say is the following:

i) Every set is a class
ii) Not every class is a set

So there is a hypernym / hyponym relationship
between the two. Here is are proof of i) and ii):

Proof i): Let s be a set. Then we can form
the class { x | x e s }. So there is an injection
from the sets to the classes.

Proof ii): Let V be the class { x | true },
this is the universal class which is provably
not a set. So there is no surjection from
the sets to the classes.

Hope this helps. Injection is usually taken
as indicative that two sets are in the
less than or equal relation ship, i.e. ⊆.
And lack of surjection indicates that there
is no bijection, i.e. ≠, so we have:

Sets ⊆ Classes and Sets ≠ Classes

Or together:

Sets ⊂ Classes

The difference Class \ Sets, those things
that are classes but not sets, are called
proper classes.

Mild Shock schrieb:
> I guess we have reached your intellectual
> boundaries, inherent in your squirell brain
> sized, that of a walnut, cerebrum and cerebrellum.
> 
> Mild Shock schrieb:
>> Doesn't make any sense at all.
>>
>> Not a single mention of proper classes here:
>> https://plato.stanford.edu/ENTRIES/mereology/
>>
>> Ross Finlayson schrieb:
>>> Actually, for class/set distinction,
>>> I just introduced set/part distinction,
>>> and part/particle distinction,
>>> and set/particle distinction.
>>>
>>> set:class::part:particle
>>>
>>> set:part::class:particle
>>>
>>> This is a usual form that A:B::C:D is
>>> that A relates to B as C relates to D,
>>> "set is to class as part is to particle", and
>>> "set is to part as class is to particle".
>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#625592

Better symbolism would be:

Sets' ⫋ Classes

Where Sets' results from Sets by the injection
{ x | x e s } for each x e Sets. This gives a little
transfer principle. If you can prove, i.e. that

a property holds for all classes:

∀X P(X)

Then it follows, that the property holds for all sets.

∀x P(x)

Proof: In higher order logic one would probably
write λy.(x y) for { y | y e x }, by eta reduction
we have λy.(x y)= x, so one can prove:

∀X P(X)
------------ (∀ elim)
P(λy.(x y))
------------ (η-reduction)
P(x)
------------ (∀ Intro)
∀x P(x)

Q.E.D.

η-reduction expresses the idea of extensionality
https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B7-reduction

Wao! Now I did a lot of cheating, sweeping a lot of
details under the rug. I guess this is not
the standard way to do these things.

Better have a look here:

Basic Set Theory - Azriel Levy
https://www.amazon.com/dp/0486420795

Mild Shock schrieb:
> What we can say is the following:
> 
> i) Every set is a class
> ii) Not every class is a set
> 
> So there is a hypernym / hyponym relationship
> between the two. Here is are proof of i) and ii):
> 
> Proof i): Let s be a set. Then we can form
> the class { x | x e s }. So there is an injection
> from the sets to the classes.
> 
> Proof ii): Let V be the class { x | true },
> this is the universal class which is provably
> not a set. So there is no surjection from
> the sets to the classes.
> 
> Hope this helps. Injection is usually taken
> as indicative that two sets are in the
> less than or equal relation ship, i.e. ⊆.
> And lack of surjection indicates that there
> is no bijection, i.e. ≠, so we have:
> 
> Sets ⊆ Classes and Sets ≠ Classes
> 
> Or together:
> 
> Sets ⊂ Classes
> 
> The difference Class \ Sets, those things
> that are classes but not sets, are called
> proper classes.
> 
> Mild Shock schrieb:
>> I guess we have reached your intellectual
>> boundaries, inherent in your squirell brain
>> sized, that of a walnut, cerebrum and cerebrellum.
>>
>> Mild Shock schrieb:
>>> Doesn't make any sense at all.
>>>
>>> Not a single mention of proper classes here:
>>> https://plato.stanford.edu/ENTRIES/mereology/
>>>
>>> Ross Finlayson schrieb:
>>>> Actually, for class/set distinction,
>>>> I just introduced set/part distinction,
>>>> and part/particle distinction,
>>>> and set/particle distinction.
>>>>
>>>> set:class::part:particle
>>>>
>>>> set:part::class:particle
>>>>
>>>> This is a usual form that A:B::C:D is
>>>> that A relates to B as C relates to D,
>>>> "set is to class as part is to particle", and
>>>> "set is to part as class is to particle".
>>>>
>>>>
>>>
>>
> 

[toc] | [prev] | [next] | [standalone]

#625591

On 02/22/2024 10:22 AM, Mild Shock wrote:
> I guess we have reached your intellectual
> boundaries, inherent in your squirell brain
> sized, that of a walnut, cerebrum and cerebrellum.
>
> Mild Shock schrieb:
>> Doesn't make any sense at all.
>>
>> Not a single mention of proper classes here:
>> https://plato.stanford.edu/ENTRIES/mereology/
>>
>> Ross Finlayson schrieb:
>>> Actually, for class/set distinction,
>>> I just introduced set/part distinction,
>>> and part/particle distinction,
>>> and set/particle distinction.
>>>
>>> set:class::part:particle
>>>
>>> set:part::class:particle
>>>
>>> This is a usual form that A:B::C:D is
>>> that A relates to B as C relates to D,
>>> "set is to class as part is to particle", and
>>> "set is to part as class is to particle".
>>>
>>>
>>
>

Hm.  "squirrel:brain::walnut:cerebrum".

(The spell-checker there seems omitted 'cerebellum',
and didn't read into the theory of parts some
'ultimate particles', perhaps it might help to
addend an entry 'atomism'.  Here though it's mathematics
and we have this entire canonical exposition about
"uniform and continuous time", "Zeno's arguments".
Maybe that will add some more context for the
"brain of a squirrel" simile, metaphor.)


With regards to intensionality and extensionality,

intensionality <- structure-equals
extensionality <- duck-type-equals

simile <- declaring-relates
metaphor <- not-equals-so-relate-to-relates

and simile and metaphor, and a strong theory of types,
one can make a simile and metaphor out of pretty much
anything, that of course there's a usual idea that
"relevance logic" dictates relevance for a strong
theory of types.


My, what a rude person.  It's kind of like in the old days,
when you'd see something doing something or not demonstrating
knowledge of something, one might say, "what are you doing,
you big dummy".  This was like, "hey, you big dummy, what do
you think you are doing".  Or, like to a dog, "aw, you big dummy".



Here I don't quite get that kind of attitude in a
conversation about the fundamental objects of the
universe of the fundamental objects of mathematics,
about the theory of the objects of the fundamental
theory of the fundamental objects of mathematics.


It's like, "you're going to have to be a bigger dummy".


I.e., the universe of mathematical objects
"is what it is", it's got numbers in it, and on it,
and counting is an act, two different things.

[toc] | [prev] | [next] | [standalone]

#625594

Are you pulling a John Gabriel? Back
to greek ratios. Euclids general form:

A : B = C : D

What about this form:

A : B : C = E : F : G
http://aleph0.clarku.edu/~djoyce/elements/bookV/defV3.html

I would especially recommend equations of the form:

cornet:walnut:pistachio
    = cup:banana:mango
    = hotday:ingest:cooling


Ross Finlayson schrieb:
> Hm.  "squirrel:brain::walnut:cerebrum".

[toc] | [prev] | [next] | [standalone]

Page 1 of 4  [1] 2 3 4  Next page →

Back to top | Article view | sci.math

csiph-web