Dr. Richard Lawrence: Hankels formalism, Freges logicism, and the analytic-synthetic distinction @weizsacker-zentrumuniversi3136
Dr. Richard Lawrence: Hankels formalism, Freges logicism, and the analytic-synthetic distinction  @weizsacker-zentrumuniversi3136
Uploaded December 2020 | Updated September 2026, 11 hours ago
Carl Friedrich von Weizsäcker Colloquium, University of Tübingen

Dr. Richard Lawrence (Tübingen): Hankel's formalism, Frege's logicism, and the analytic-synthetic distinction

Abstract: "I will discuss some research on Hermann Hankel, an early proponent of a formalist viewpoint in the foundations of mathematics, and the relation of his view to Gottlob Frege's logicism. I will argue that Hankel had an important influence on Frege. In particular, Hankel's understanding of the analytic-synthetic distinction, and his argument against Kant's view of arithmetic, play an important role in Frege's understanding of his logicism in the Foundations of Arithmetic. Frege thinks of the distinction the same way Hankel does, and shares Hankel's basic strategy for arguing that arithmetic is analytic, rather than synthetic. Given these similarities, an important question arises about how Frege's view differs from Hankel's; I will close with some comments about the differences."
Dr. Richard Lawrence: Hankels formalism, Freges logicism, and the analytic-synthetic distinctionGuus Eelink -  Falsehood without Reference to the UnrealMaria Osório Costa - A B-eS approach to BilateralismAkihiro Kanamori - The Set Theory in Gödels Resultate Grundlagen (Gödel Conference)Prof. Dr. Ioannis Liritzis - Pythian Games & Pythiad, European Delphic Intellectual MovementRade Injac (Sandoz and University of Ljubljana)Ivo Pezlar - A logic of judgmental existence and its relation to proof irrelevanceDr. Vlasta Sikimić (CFvW Zentrum): The Interplay between Political and Epistemic Views of ScientistsEugen Pissarskoi (University of Tübingen)Anton Setzer - Formalising the Extended Predicative Mahlo Universe (Gödel Conference)Roberto Giuntini - Machine Learning meets Quantum MechanicsMatthew Wallace (International Development Research Centre)
Weizsäcker-Zentrum Universität Tübingen |

Dr. Richard Lawrence: Hankel's formalism, Frege's logicism, and the analytic-synthetic distinction

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER