Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
V 165
Unendlich/materiell/Quine: wenn man unendlich viele Zeichen braucht (Bsp für natürliche Zahlen) kann man nicht sagen, ein Zeichen sei ein physikalischer Gegenstand, denn dann hören sie bald auf. - Auch nicht Formen als Klassen von Inskriptionen - Diese sind wieder physikalische Verwirklichungen von Formen.
- - -
IX 64
Unendlich/Quine: wird erst bei Induktion notwendig - x = {y}, y = {z}, z = {w}....ad infinitum - das ist der Fall, wenn {,,,x} < i' ϑ und dennoch ~(x < x) - Komprehension: {,,,x} ∩ a ε ϑ ist zufriedenstellend.
>Induktion.
- - -
XIII 96
Unendliche Zahlen/Quine: Bsp Angenommen, wir ordnen Gegenstände willkürlich irgendwelchen Klassen zu, die einzige Einschränkung ist, dass kein Objekt zu mehr als einer Klasse gehören darf.
Problem: dann wir es nicht genug Gegenstände für alle Klassen geben! Eine Klasse, für die es kein Korrelat gibt wird Bsp die Klasse aller Objekte, die nicht zu ihren korrelierten Klassen gehören. Denn ihr Korrelat müsste zu ihr gehören, gdw. es nicht zu ihr gehört.
Cantor: bewies 1890, dass die Klassen von Gegenstände jeder Art die Zahl der Gegenstände übersteigen.
XIII 97
Der Grund dafür hat mit den Paradoxien zu tun, wenn die Relation, von der dort die Rede ist, richtig spezifiziert ist.
Es zeigt sich, dass es unendlich viele verschiedene Unendlichkeiten gibt.
Bsp Es gibt mehr Klassen ganzer Zahlen als es ganze Zahlen gibt.
Da es aber unendlich viele ganze Zahlen gibt, muss die Unendlichkeit der unendlich viele Klassen ganzer Zahlen von einer höheren Art sein.
Bsp es gibt auch mehr Klassen von Klassen von ganzen Zahlen als es Klassen von ganzen Zahlen gibt. Das ist eine noch höhere Unendlichkeit. Das kann unendlich fortgesetzt werden.
Das Argument hing hier von der Klasse der Nichtelemente mit sich selbst korrelierter Klassen (nonmembers of own correlated classes) ab.
Russellsche Antinomie/Quine: hing ab von der Klasse von Nichtelementen ihrer selbst (nonelements of selves).
>Russels Paradoxie.
Cantorsche Paradoxie/Quine: wenn man die Korrelation als Selbstkorrelation nimmt, läuft Cantors Paradox auf Russells Paradox hinaus. So kam Russell auch darauf.
Cantor/Theorem/Quine: sein Theorem ist selbst aber keine Paradoxie.
Russells Antinomie/Lösung/Quine: wird so verhindert, wie man einen Spezialfall von Cantors Theorem ausschließt, der zu ihr führt. (siehe Paradoxien.)
Cantor Theorem/Korollar/unspezifizierbare Klassen/Quine: die Existenz unspezifizierbarer Klassen folgt als Korollar aus Cantors Theorem. D.h. Klassen, für die wir die Enthaltenseinsbedingung nicht angeben können. Auch keinen anderen identifizierenden Zug.
Bsp Die unendliche Gesamtheit grammatisch konstruierbarer Ausdrücke in einer Sprache. Nach Cantors Theorem übersteigt schon die Klasse solcher Ausdrücke die Ausdrücke selbst.
Klassen/größer/kleiner/Kriterium/Quine: unser Kriterium für größere und kleinere Klassen war hier Korrelation.
Def größer/Klassen/Mengen/Quine: eine Klasse ist größer als eine andere, wenn nicht jedes ihrer Elemente mit einem Element der anderen Klasse gepaart werden kann.
XIII 98
Problem: nach diesem Kriterium kann keine Klasse größer sein, als eine ihrer echten Teilklassen (Teilmengen). Bsp danach ist die Klasse der positiven ganzen Zahlen nicht größer als die der geraden Zahlen. Denn wir können immer Paare zwischen ihren Elementen bilden. Das zeigt einfach, dass unendliche Mengen sich ungewöhnlich verhalten.
Unendlich/größer/kleiner/Klassen/mengen/Quine: Sollen wir unser Kriterium deswegen ändern? Wir haben die Wahl:
a) Wir können sagen, dass eine unendliche Klasse nicht größer sein muss als ihre echten Teilklassen, oder
b) das Kriterium ändern und sagen, dass eine Klasse immer größer als ihre echten Teile ist, nur dass sie manchmal ausgeschöpft werden können durch Korrelation mit Elementen einer kleineren Klasse.
pro a): ist einfacher und Standard. Das war auch Dedekinds Definition von unendlich.
Unendlich/falsch: ein Student schrieb einmal, eine unendliche Klasse wäre „eine, die echter Teil von sich selbst“ sei. Das stimmt nicht, sondern sie ist eine Klasse, die nicht größer ist, als ein (some) echter Teil von ihr selbst. Bsp die positiven ganzen Zahlen sind nicht zahlreicher als die geraden Zahlen. Bsp auch nicht zahlreicher als die Vielfachen von 3 (nach derselben Überlegung). Und sie sind Bsp auch nicht weniger zahlreich als die rationalen Zahlen!
Lösung: jeder Bruch (ratio) kann ausgedrückt werden durch x/y, wobei x und y positive ganze Zahlen sind, und dieses Paar kann eindeutig repräsentiert werden durch eine positive ganze Zahl 2x mal 3y.
Umgekehrt: erhalten wir den Bruch, indem wir sehen wie oft diese ganze Zahl durch 2 bzw. durch 3 Teilbar ist.
Unendlich/Quine: Bevor wir von Cantor lernten, dass es verschiedene Unendlichkeiten gibt, wären wir nicht überrascht gewesen, dass es nicht mehr Brüche als ganze Zahlen gibt.
XIII 99
Nun sind wir aber doch überrascht!
Unspezifizierbar: da es mehr reelle Zahlen gibt, als es Ausdrücke (Namen) gibt, gibt es also unspezifizierbare reelle Zahlen.
Namen/Ausdrücke/Quine: es gibt nicht mehr Namen (Ausdrücke) als es positive ganze Zahlen gibt.
Lösung: einfach die Namen (Ausdrücke alphabetisch innerhalb jeder Länge anordnen. Dann kann man sie mit positiven ganzen Zahlen nummerieren.
Reelle Zahlen/Cantor/Quine: Cantor zeigte, dass es ebenso viele reelle Zahlen gibt wie Klassen von positiven ganzen Zahlen. Das haben wir oben gesehen (s.o. decimals and dimidials) dass die reellen Zahlen zwischen 0 und 1 in Korrelation mit der unendlichen Klasse der positiven ganzen Zahlen sind.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.