Die Arbeit untersucht, ob der von Edward Zalta entwickelte Neo-Logizismus (Neo-Logicism), der versucht mathematische Systeme ontologisch auf Metaphysik zu reduzieren, in der Lage ist die Grundlagenkrise der Mathematik zu lösen. Dabei stellt sich zusätzlich die Frage, inwieweit es sich tatsächlich noch um ein logizistisches Projekt handelt. Dazu werden zunächst die drei klassischen Lösungsversuche - Logizismus, Formalismus und Intuitionismus - und anschließend Zaltas Ansatz skizziert. Den Abschluß bilden eine ausführliche Bewertung und Einschätzung.
Inhaltsverzeichnis
1 Die Grundlagenkrise der Mathematik
2 Die klassischen Lösungsversuche
2.1 Der Logizismus
2.2 Der Formalismus
2.3 Der Intuitionismus
3 Neo-Logizismus
3.1 Prädikation
3.2 Beschreibung von O
3.3 Klassische Reduktion
3.4 Die metaphysische Reduktion
3.5 Unterschiede zwischen der klassischen und der metaphysischen Reduktion
4 Ist der Neo-Logizismus ein Logizismus?
5 Probleme
5.1 Der Existenzquantor
5.2 Zur Rolle der Logik
5.3 Was ist ein abstraktes Objekt?
5.4 Finite Mathematik
5.5 Was sind mathematische Theorien?
5.6 Eine Lösung der Grundlagenkrise?
6 Fazit
Zielsetzung und Themen
Die vorliegende Arbeit untersucht, ob Edward Zaltas Neo-Logizismus eine tragfähige Lösung für die historisch gewachsene Grundlagenkrise der Mathematik bieten kann. Dabei wird analysiert, inwieweit der Ansatz die mathematische Ontologie erfolgreich auf metaphysische Grundlagen reduziert und ob er als legitime moderne Form des Logizismus bestehen kann.
- Grundlagenkrise der Mathematik
- Klassische Lösungsversuche (Logizismus, Formalismus, Intuitionismus)
- Ontologische Reduktion mittels Zaltas Hintergrundontologie O
- Kritische Bewertung der Prädikationstheorie
- Status mathematischer Objekte und Theorien
Auszug aus dem Buch
3.1 Prädikation
Eine wichtige Voraussetzung für beide Arten der Reduktion ist eine besondere Form der Prädikation. Zalta unterscheidet dabei zwei Formen, in denen eine Eigenschaft von einem Objekt ausgesagt werden kann.
1. x exemplifiziert F : Fx (externe Prädikation)
Dabei wird die Eigenschaft extern von dem Objekt ausgesagt. Normale Objekte, wie Tische oder Wolken, haben nur externe Eigenschaften. Diese Form der Prädikation entspricht der klassischen Prädikation.
2. x determiniert F : xF (interne Prädikation)
Hierunter werden Objekte verstanden, die interne Eigenschaften haben. Diese Idee geht zurück auf Ernst Mally. Für ihn waren abstrakte Objekte Objekte, die von Eigenschaften bestimmt wurden, ohne sie jedoch befriedigen zu können. So ist ein rundes Quadrat sowohl vom rund-sein, als auch vom Quadrat-sein bestimmt, kann aber weder das Eine, noch das Andere befriedigen. In der hier vorliegenden Prädikation würde das runde Quadrat die Eigenschaften „rund“ und „quadratisch“ determinieren, könnte sie aber nicht exemplifizieren. Es wird ihm in diesem Fall also als interne Eigenschaft zugeschrieben, was es als externe unmöglich besitzen kann. Auch fiktionalen Objekten, wie Sherlock Holmes, können auf diese Weise sinnvoll Eigenschaften zugeordnet werden, denn eine klassische Prädikation ist im Hinblick auf die nur erdachte Existenz eines Romanhelden problematisch.
Zusammenfassung der Kapitel
1 Die Grundlagenkrise der Mathematik: Einführung in die historische Problematik der mathematischen Fundierung und die unterschiedlichen Ansätze seit dem 19. Jahrhundert.
2 Die klassischen Lösungsversuche: Darstellung und kritische Analyse der Ansätze von Logizismus, Formalismus und Intuitionismus.
3 Neo-Logizismus: Erläuterung von Zaltas System, insbesondere der Hintergrundontologie O sowie der Methoden der klassischen und metaphysischen Reduktion.
4 Ist der Neo-Logizismus ein Logizismus?: Prüfung der logischen Konsistenz und des Status der Axiome im Rahmen von Zaltas Modell.
5 Probleme: Diskussion zentraler Schwachstellen wie dem Existenzquantor, der Rolle der Logik und dem ontologischen Status abstrakter Objekte.
6 Fazit: Abschließende Bewertung, die den Neo-Logizismus als präzise Formalisierung würdigt, ihn jedoch nicht als definitive Lösung der Grundlagenkrise sieht.
Schlüsselwörter
Mathematik, Grundlagenkrise, Logizismus, Neo-Logizismus, Edward Zalta, Ontologie, Metaphysik, Prädikation, Abstraktes Objekt, Formalismus, Intuitionismus, Gottlob Frege, Beweistheorie, Konsistenz
Häufig gestellte Fragen
Worum geht es in der Arbeit grundsätzlich?
Die Arbeit analysiert Zaltas Neo-Logizismus als potenziellen Lösungsansatz für die Grundlagenkrise der Mathematik.
Welche zentralen Themenfelder werden bearbeitet?
Die Schwerpunkte liegen auf mathematischer Ontologie, der formalen Logik sowie der kritischen Auseinandersetzung mit klassischen Positionen der Wissenschaftstheorie.
Was ist das primäre Ziel der Untersuchung?
Ziel ist die Bewertung, ob Zaltas Neo-Logizismus mathematische Systeme ontologisch erfolgreich auf Metaphysik reduzieren kann.
Welche wissenschaftliche Methode wird verwendet?
Die Arbeit nutzt eine philosophisch-analytische Methode, um Axiomensysteme und logische Ableitungen zu untersuchen und deren Tragfähigkeit zu prüfen.
Was wird im Hauptteil behandelt?
Der Hauptteil gliedert sich in die Darstellung klassischer Versuche, die spezifische Analyse der Zalta-Ontologie O und die kritische Prüfung der logischen Fundierung.
Welche Schlüsselbegriffe sind charakteristisch für die Arbeit?
Die zentralen Begriffe sind Neo-Logizismus, Prädikation, ontologische Reduktion und der Status mathematischer Objekte.
Wie unterscheidet Zalta zwischen externer und interner Prädikation?
Zalta unterscheidet zwischen der externen Exemplifizierung (klassische Prädikation) und der internen Determination, bei der abstrakte Objekte durch ihre Eigenschaften bestimmt werden, ohne diese physisch zu exemplifizieren.
Zu welcher Schlussfolgerung kommt die Arbeit bezüglich der Lösung der Grundlagenkrise?
Die Arbeit kommt zu dem Schluss, dass der Neo-Logizismus zwar eine elegante formale Struktur bietet, aber keine letztgültige Lösung für die grundlegenden metaphysischen Fragen liefert.
- Quote paper
- BA Rolf Strathewerd (Author), 2004, Löst der Neologizismus die Grundlagenkrise der Mathematik?, Munich, GRIN Verlag, https://www.grin.com/document/34140
