Logizismus

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. 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.