Arnold Oberschelp
aus Wikipedia, der freien Enzyklopädie
Arnold Oberschelp (* 1932 in Recklinghausen), ist ein deutscher Mathematiker und Logiker, seit 1968 Professor für Logik und Wissenschaftslehre in Kiel.
Arnold Oberschelp entwickelte eine allgemeine Klassenlogik, in der man beliebige Klassen widerspruchsfrei bilden kann, ohne dass die üblichen Mengenaxiome vorausgesetzt werden. Zusätzliche Axiome ergeben die Zermelo-Fraenkel-Mengenlehre , die in seiner klassenlogischen Darstellung aber wesentlich handlicher ist als die übliche prädikatenlogische Darstellung.
[Bearbeiten] Literatur
- Arnold Oberschelp: Elementare Logik und Mengenlehre I/II, Mannheim/Wien/Zürich, 1974/1978.
- Jürgen M. Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik, 1983, ISBN-13: 9783860258545 / ISBN: 3860258540.
- Arnold Oberschelp: Allgemeine Mengenlehre, Mannheim/Leipzig/Wien/Zürich, 1994. ISBN-13: 9783860254516 / ISBN: 3860254510.
- Arnold Oberschelp: Logik für Philosophen, 2. Auflage, Mannheim/Leipzig/Wien/Zürich, 1997, ISBN-13: 9783476015457 / ISBN: 3476015459.