Logizismus

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik, die auch in anderen philosophischen Teildisziplinen in der ersten Hälfte des 20. Jh. einflussreich war. Der Ansatz wurde zuerst von Gottlob Frege Ende des 19. Jahrhunderts formuliert und besagt im Kern, dass sich die Mathematik auf die Logik zurückführen lässt.^[1]

Die Gegenposition zur Theorie des Logizismus ist, dass es sich bei der Logik um einen Zweig der Mathematik handelt, die Mathematik also das Fundamentalere ist. Diese Position wurde implizit von den Pionieren der mathematischen Logik im 19. Jahrhundert, Georg Cantor und George Boole, vertreten.^[2]

1. ↑ Jörg Neunhäuserer: Logizismus. In: Einführung in die Philosophie der Mathematik. Springer, Berlin, Heidelberg 2021, ISBN 978-3-662-63714-2, S. 61–79, doi:10.1007/978-3-662-63714-2_7 (springer.com [abgerufen am 3. Mai 2023]). 
2. ↑ Logizismus. Abgerufen am 3. Mai 2023 (deutsch).