Beiträge zur Bolzano-Forschung – Bd.7
Mark Siebel
Der Begriff der Ableitbarkeit bei Bolzano
Inhaltsverzeichnis
1. Grundbegriffe der Bolzanoschen Wissenschaftslehre und der modernen Logik
2. Die Variations-Methode
3. Allgemeine Feststellungen
4. Variations-Methode und Aussagefunktionen
5. Tarski und Bolzano
6. Bolzanos Relevanz-Bedingung
Schlußbemerkungen
Literatur
Namensregister
Sachregister
Zum Inhalt: In seiner Wissenschaftslehre präsentierte Bernard Bolzano 1837 die Definition einer Implikationsbeziehung, die er Ableitbarkeit nannte. Nachdem seine Definition in unserem Jahrhundert überhaupt erst zur Kenntnis genommen wurde, ist wiederholt geschrieben worden, Bolzano habe in ihr gewisse Ideen der modernen Logik vorweggenommen.
Mark Siebels Buch verfolgt zwei Ziele: Der erste Teil dient einem detaillierten Verständnis der Ableitbarkeit. Dafür werden die relevanten Grundbegriffe der Wissenschaftslehre, die Variationsmethode und verschiedene – zum Teil sehr versteckte – Besonderheiten der Ableitbarkeit vorgestellt. Im zweiten Teil wird untersucht, wie weit Bolzanos Antizipation der heutigen Logik tatsächlich geht. Die wichtigsten Ergebnisse sind: 1. Im Umfeld der Variationsmethode verbirgt sich Russells Begriff einer Aussagefunktion, jedoch nicht an der Stelle, wo er bislang vermutet wurde. 2. Die Übereinstimmungen zwischen der Ableitbarkeit und Tarskis logischer Folgerung sind sehr viel geringer als üblicherweise angenommen. 3. Die Ableitbarkeit erfüllt zwar eine Bedingung, die für viele Fälle eine inhaltliche Verbindung zwischen Prämissen und Konklusionen garantiert, sie ist aber nicht so streng wie in der Relevanzlogik.
Zum Autor: Mark Siebel hat mit der vorliegenden Magisterarbeit sein Diplomstudium an der Universität Hamburg unter Wolfgang Künne abgeschlossen. Seither hat er promoviert und ist auch durch weitere Arbeiten der Bolzano-Forschung treu geblieben.
1. Auflage 1996. 281 S. ISBN 3-89665-008-4
