Zusammenfassung
Die klassischen griechischen Mathematiker verwandelten die Mathematik in eine Wissenschaft, in der neue Resultate durch logische Folgerungen aus Definitionen, Axiomen und schon bewiesenen Behauptungen gezogen werden. Insbesondere entwickelten sie Argumentationsmethoden wie z. B. die Reductio ad absurdum.
Notes
- 1.
Dies ist der bedeutendste Unterschied zum modernen Begriff, da man heute normalerweise nichts über den Wahrheitsgehalt oder auch die Widerspruchsfreiheit der Prämissen annimmt.
- 2.
Mit ¬ wird hier, wie üblich, die logische Negation „nicht“ bezeichntet.
- 3.
Mit ∧ wird hier, wie üblich, die logische Konjunktion „und“ bezeichnet.
- 4.
William Hamilton (1788–1856), nicht mit dem irischen Mathematiker Sir William Rowan Hamilton zu verwechseln, war ein schottischer Philosoph.
- 5.
Die klassische syllogistische Logik von Aristoteles ist eine monadische Prädikatenlogik erster Stufe, d. h., alle Relationen sind einstellig.
- 6.
Russells und Whiteheads Principia Mathematica (1910–1913) versuchte, die ganze Mathematik auf die formale Logik zurückzuführen. Dieses Werk hatte weitreichenden Einfluss, vor allem weil es diverse Fragen über die (logischen) Grundlagen der Mathematik aufwarf.
- 7.
Ein berühmtes Beispiel ist der Satz von Goodstein.
Literaturverzeichnis
Anglin, W.S., Lambek, J.: The Heritage of Thales. Springer-Verlag, New York (1995)
Beth, E.W.: Hundred years of symbolic logic, a retrospect on the occasion of the Boole De Morgan centenary. Dialectica 1, 331–346 (1947)
Gullberg, J.: From the Birth of Numbers. W. W. Norton & Company, New York (1997)
Haaparanta, L.: The Development of Modern Logic. Oxford University Press, Oxford (2009)
The Metaphysics Research Lab: Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/index.html (2016). Zugegriffen: 5. März 2017
O’Connor, J.J., Robertson, E.F.: MacTutor History of Mathematics Archive. http://wwwhistory.mcs.st-andrews.ac.uk/ (2017). Zugegriffen: 28. März 2017
Walicki, M.: The history of mathematical logic (vastly abbreviated and horribly simplified). http://citeseerx.ist.psu.edu/index (1997). Zugegriffen: 26. Jan. 2017
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer-Verlag GmbH Deutschland
About this chapter
Cite this chapter
Brückler, F.M. (2017). Geschichte der mathematischen Logik. In: Geschichte der Mathematik kompakt. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55352-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-55352-7_5
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-662-55351-0
Online ISBN: 978-3-662-55352-7
eBook Packages: Life Science and Basic Disciplines (German Language)