Hi! This is the homepage of Günther Eder.

Currently, I'm a postdoctoral researcher at the Department of Philosophy, University of Vienna, where I'm part of the ERC funded project The Roots of Mathematical Structuralism, led by Georg Schiemer. I'm also a lecturer at the Department of Philosophy, University of Klagenfurt. Previously, I have held positions as a postdoctoral researcher at the Department of Philosophy, University of Salzburg and as a postdoctoral researcher and lecturer at the Department of Philosophy, 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. I'm especially interested in Frege's philosophy of logic and mathematics and until recently I've led an FWF funded research project on Frege's views on consistency and independence proofs (see the project website). Recently, I've developed an interest in the philosophy of Paul Bernays as well as a systematical interest in the informal notions of mathematical proof and provability.

Back to top

Publications & Talks

Journal Articles

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


  • (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

  • A Formal Explication of Blanchette's Conception of Fregean Consequence
  • The Bernays-Müller Debate
  • Bernays' Finitary Structuralism
  • Frege on Formal and Informal Proof
  • Proof in Context

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


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:

  • Die Gödel'schen Unvollständigkeitssätze und ihre Konsequenzen für die Philosophie (Gödel's incompleteness theorems and their consequences for philosophy), University of Klagenfurt, Winter Term 2020/21
  • Mögliche Welten und unmögliche Welten. Eine Einführung in die Modallogik (Possible worlds and impossible worlds. An introduction to modal logic), University of Klagenfurt, Winter Term 2017/18
  • Philosophische Logik (Philosophical Logic), University of Vienna, Summer Term 2014
  • Rhetorik und Argumentationstheorie (Rhetoric and Argumentation Theory), University of Vienna, Summer Term 2014
  • Grundkurs Logik (Introduction to Logic), University of Vienna, Winter Term 2012/13

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


You can get in touch with me via email and you can also find me at:

Back to top