Philosophie Lexikon der Argumente

Suche  
 
Zahlen: Ob Zahlen Gegenstände oder Begriffe sind, ist in der philosophischen Diskussion über Jahrtausende umstritten gewesen. Die heute am weitesten akzeptierte Definition stammt von G. Frege (G. Frege, Grundlagen der Arithmetik 1987, S. 79ff). Von Frege inspirierte Redeweisen stellen Zahlen als Klassen von Klassen dar oder als Begriffe zweiter Stufe bzw. als das, womit man die Mächtigkeit von Mengen misst. Bis heute ist in der Diskussion von Zahlen eine Zweideutigkeit zwischen Begriff und Gegenstand auffindbar. Siehe auch Zählen, Mengen, Messen, Mathematik, Abstrakte Gegenstände, Mathematische Entitäten, Theoretische Entitäten, Anzahl, Platonismus.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
Berka I 121
Def Null/O/Zahl/logische Form/Hilbert:

0(F) : ~(Ex)F(x)

"Es gibt kein x, für das F zutrifft".

Def 1/Eins/Zahl/logische Form/Hilbert:

1(F) : (Ex)[F(x) & (y)(F(y) > ≡ (x,y)].

Hilbert: "Es gibt ein x, für das F(x) besteht, und jedes y, für das F(y) besteht, ist mit diesem x identisch"

Def Zwei/2/Zahl/logische Form/Hilbert:

2(F) :(Ex)(Ey) {~≡(x,y) & F(x) & F(y) & (z)[F(z) > ≡ (x,z) v ≡ (y,z)]}.

I 122
"Es gibt zwei verschiedene x und y auf die F zutrifft, und jedes z, für das F(z) besteht, ist mit x oder y identisch".

Def Gleichzahligkeit/logische Form/Hilbert: die Gleichzahligkeit zweier Prädikate F und G kann man als individuelles Prädikatenprädikat Glz(F,G) auffassen. Sie bedeutet nichts anderes, als dass die Gegenstände, auf die F und die Gegenstände, auf die G zutrifft, umkehrbar eindeutig aufeinander beziehbar sind. Daher lässt sich die logische Form so darstellen:

(ER){(x)[F(x) > (Ey) (R(x,y) & G(y))] & (y)[G(y) >
> (Ex) (R(x,y) & F(x)] & (x)(y)(z) [(Rx,y) & R(x,z) >
> = (y,z) & (R(x,z) & R(y,z) > = (x,y)]}.

Def Zahl/logische Form/erweiterter Funktionenkalkül/Hilbert: auch der allgemeine Zahlbegriff lässt sich logisch formulieren: Soll ein Prädikatenprädikat φ(F) eine Zahl darstellen, so muss φ folgenden Bedingungen genügen:
1. Bei zwei gleichzahligen Prädikaten F und G muss φ für beide zutreffen oder für beide nicht zutreffen
2. Sind zwei Prädikate F und G nicht gleichzahlig, darf φ höchstens für eins der beiden Prädikate F und G zutreffen.
logische Form:

(F)(G){(φ(F) & φ(G) > Glz (F,G) & [φ(F) & Glz (F,G) > φ(G)]}.

Der ganze Ausdruck stellt eine Eigenschaft von φ dar. Bezeichnen wir diese mit Z(φ), können wir also sagen:

Eine Zahl ist ein Prädikatenprädikat φ, das die Eigenschaft Z(φ) besitzt.

Problem/>Unendlichkeitsaxiom/Hilbert: tritt auf, wenn wir nach den Bedingungen fragen, unter der zwei Prädikatenprädikate φ und ψ mit den Eigenschaften Z(φ) und Z(ψ) dieselbe Zahl definieren.

Berka I 295
Reelle Zahlen/Hilbert: der Inbegriff der reellen Zahlen ist nicht etwa die Gesamtheit aller möglichen Dezimalbruchentwicklungen und auch nicht die Gesamtheit aller möglichen Gesetze, nach denen die Elemente einer Fundamentalreihe fortschreiten können, sondern ein System von Dingen (!), deren gegenseitige Beziehungen durch die Axiome geregelt werden und für die alle und nur diejenigen Tatsachen wahr sind, die durch eine endliche Anzahl logischer Schlüsse aus den Axiomen gefolgert werden können.
Existenz/reelle Zahlen/Hilbert: der Begriff des Kontinuums oder der Begriff des Systems aller Funktionen existiert dann in demselben Sinn, wie etwa das System der ganzen rationalen Zahlen oder auch die höheren Cantorschen Zahlklassen und Mächtigkeiten existieren.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

> Gegenargumente gegen Hilbert
> Gegenargumente zu Zahlen



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 23.06.2017