About
Hi! This is the homepage of Günther Eder.
I'm a postdoctoral researcher at the Department of Philosophy, University of Salzburg. I am also a lecturer at the Department of Philosophy, University of Vienna. Previously, I have held postdoctoral and lecturer positions at the Departments of Philosophy at the University of Klagenfurt, the University of Salzburg and the University of Vienna. Before that, I did my PhD in Philosophy at the University of Vienna, where I graduated with distinction in 2012.
My main areas of research are in the history and philosophy of logic and mathematics, philosophical logic, and early analytic philosophy. Ever since working on my dissertation I have been particularly interested in Frege's philosophy of logic and mathematics, especially his controversy with Hilbert (see here). My engagement with Frege also sparked an interest in systematic questions connected to the informal notion of mathematical proof and its relation to the notion of proof as it is studied in formal logic. I am leading an FWF funded research project that aims to tackle some of these questions from a contextualist perspective at the University of Salzburg (see the project website).
Beyond that, I am also interested in the Philosophy of Paul Bernays and the logic of temporal notions, especially the logic of circular time.
Back to top
Publications & Talks
Journal Articles
- (2023) The Bernays-Müller Debate, Hopos: The Journal of the International Society for the History of Philosophy of Science 13 (2): 317 - 361.
Abstract Full Text
- (2023) A Formal Explication of Blanchette's Conception of Fregean Consequence, History and Philosophy of Logic 44 (3): 287 - 310.
Abstract Full Text
- (2021) Projective Duality and the Rise of Modern Logic, Bulletin of Symbolic Logic, 1-38, doi:10.1017/bsl.2021.40.
Abstract Full Text
- (2021) Frege on Intuition and Objecthood in Projective Geometry, Synthese 199 (3-4): 6523 - 6561.
Abstract Full Text
- (2019) Frege and the Origins of Model Theory in Nineteenth Century Geometry, Synthese 198 (6): 5547 - 5575.
Abstract Full Text
- (2018) Hilbert, Duality, and the Geometrical Roots of Model Theory (with Georg Schiemer), Review of Symbolic Logic 11 (1): 48 - 86.
Abstract Full Text
- (2016) Boolos and the Metamathematics of Quine's Defintions of Logical Truth and Consequence, History and Philosophy of Logic 37 (2): 170 - 193.
Abstract Full Text
- (2016) Frege's 'On the Foundations of Geometry' and Axiomatic Metatheory, Mind 125 (497): 5 - 40.
Abstract Full Text
- (2015) Formal Reconstructions of St. Anselm's Ontological Argument (with Esther Ramharter), Synthese 192 (9): 2795 - 2825.
Abstract Full Text
- (2014) Remarks on Compositionality and Weak Axiomatic Theories of Truth, Journal of Philosophical Logic 43 (2-3): 541 - 547.
Abstract Full Text
- (2013) Remarks on Independence Proofs and Indirect Reference, History and Philosophy of Logic 34 (1): 68 - 78.
Abstract
Full Text
Book Chapters & Proceedings
- (2019) Truth, Paradox, and the Procedural Conception of Fregean Sense, in: Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium, De Gruyter, 153-168.
Abstract Full Text
- (2014) Frege und das Paradox der Analyse, Pre-Proceedings of the 37th International Wittgenstein Symposium, 73 - 76.
Abstract
Reviews
- (2021) Review of Gottfried Gabriel & Sven Schlotter, Frege und die kontinentalen Ursprünge der analytischen Philospohie, Journal for the History of Analytical Philosophy 9 (7).
Full Text
- I've also done several reviews for Mathematical Reviews.
Under Review / in Preparation
- Formalizability and the Standard-View of Rigorous Proof in Mathematics
- Frege on Formal and Informal Proof
- Proof in Context
- Bernays' Finitary Structuralism
- Revisiting the Logic of Circular Time
Recent Talks
- Bernays on structuralism and the finitary point of view, Logik Cafe, Vienna, 12-2021.
- Fixing Blanchette's Frege. A Formal Reconstruction of (Blanchette's Reading of) Frege's Conception of Logical Consequence, TiLPS History of Analytic Philosophy Workshop, online, 11-2020.
- Do any two lines meet in a point? Frege on (projective) geometry. 2nd Prague Workshop on Frege's Logic, Institute of Philosophy, AKC, Prague, 07-2019.
- Meaning, truth, and paradox. Annual Conference of the Israeli Philosophical Association, Bar-Ilan University, Ramat Gan, 02-2019.
- Frege and semantics. FregeFest VI, UC Irvine, 03-2019.
You can find a complete list of my talks in my Curriculum Vitae.
Back to top
Teaching
I've been teaching in philosophical logic and related areas at the Universities of Vienna and Klagenfurt since 2009. Some of my past courses are:
- Formale Wahrheitstheorien (Formal Theories of Truth)
- Formale Metaphysik (Formal Metaphysics)
- Die Gödel'schen Unvollständigkeitssätze und ihre Konsequenzen für die Philosophie (Gödel's Incompleteness Theorems and their Consequences for Philosophy)
- Freges Logizismus damals und heute (Frege's Logicism Then and Now)
- Einführung in die Modallogik (Introduction to Modal Logic)
- Philosophische Logik (Philosophical Logic)
- Rhetorik und Argumentationstheorie (Rhetoric and Argumentation Theory)
- Grundkurs Logik (Introduction to Logic)
You can find a complete list of my courses at the Universities of Vienna and Klagenfurt here and here respectively.
Back to top
Curriculum Vitae
Here you can find a detailed Curriculum Vitate (last update: January 2022).
Back to top