Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
Thiel I 201
Order/Mathematics/Thiel:
Def Well-ordered: if an ordered set Mp is such that not only it itself, but also each of its non-empty subsets has such an element, in the sense of the order first element, then we call M< a well-ordered set.
I 201/202
Well-ordered sets are special ordered sets, therefore each pairterm represents an order type for a well-ordered set and the order types can now be shown to be comparable with each other. In this sense, the order types of well-ordered sets are more "number-like" than other order types.
We call them
Def Ordinal Numbers. The order type of a finite set (which is well-ordered in any arrangement) coincides with its ordinal number and beyond that with its thickness.
I 201f
Def well-ordered: is a set, if every non-empty subset has a first element - i.e. every pairterm is also an order type - then all order types are comparable.
Addition, multiplication potentiation especially: Example {1, 1, 2, 2..} shall be mapped to the naturally ordered set of basic numbers...I 202 Example {1,3,5...;2,4,6...} non-commutative.
Terminology: ordinal number ω.
In the case of ordinal numbers we can thus in a very specific sense go beyond the ordinal number ω of the naturally ordered set of basic numbers:
The elements of a set of the power Ao of the basic numbers can still be ordered in various ways and thus lead to quite different transfinite ordinal numbers
I 203
and quite different well-orders of these sets lead also in the indicated sense to "larger" ordinal numbers than .
But one should not jump to conclusions about a deeper penetration into the realm of the infinite, because an ordered set with the ordinal number ω exp ω does not have the power of Ao exp Ao (which according to classical view would be the power of the continuum), but is still countable, i.e. of the same power Ao as an ordered set with the ordinal number ω.
Without the condition that every quantity can be well ordered, which has not been substantiated up to now anywhere, one cannot reach higher powers.
I 203
ω exp ω is still countable. Against: Power of the Continuum: Ao exp Ao
ConstructivismVsCantor: Objection to the introduction of absolute transfinite numbers: arises from the definition of uniformity and similarity. They take place with recourse to illustration.
According to the constructivist view, each representation must be represented as a function by a function term.
However, this must refer to a fixed inventory of permitted mathematical means of expression. An illustration is then expressable or not.
Example: The uniformity of two sets can be expressable in a formal system F1 (thus "exist") in another F2 however not.
For a Platonist, of course, this is an untenable situation. He will say that the system F2 is simply too "weak in expression".
The system would have to be extended. But according to the constructivists this is not possible: forbidden, because the means of expression necessary for their representation (or set-theoretical axioms, which would first secure the "existence" of the representation in question), would lead to a contradiction with the other means of expression or axioms.
There is no known possibility to introduce transfinite cardinal numbers (and in axiomatic systems also transfinite ordinal numbers) as absolute milestones in infinity in a harmless way.

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.