[Back]
Mag. Dr. Günther Eder
http://homepage.univie.ac.at/guenther.eder/
Eder, G 2023, 'The Bernays-Müller Debate', HOPOS. The Journal of the International Society for the History of Philosophy of Science, vol. 13, no. 2, pp. 317-361.
Eder, G 2023, 'A Formal Explication of Blanchette's Conception of Fregean Consequence', History and Philosophy of Logic, vol. 44, no. 3, pp. 287-310. https://doi.org/10.1080/01445340.2023.2179849
Eder, G 2021, 'Projective Duality and the Rise of Modern Logic', Bulletin of Symbolic Logic, vol. 27, no. 4, pp. 351-384. https://doi.org/10.1017/bsl.2021.40
Eder, G 2021, 'Review of Gottfried Gabriel & Sven Schlotter, Frege und die kontinentalen Ursprünge der analytischen Philosophie' Journal for the History of Analytical Philosophy. https://doi.org/10.15173/jhap.v9i7.4861
Eder, G 2021, 'Frege and the origins of model theory in nineteenth century geometry', Synthese: an international journal for epistemology, methodology and philosophy of science, vol. 198, no. 6, pp. 5547-5575. https://doi.org/10.1007/s11229-019-02421-4
Eder, G 2021, 'Frege on intuition and objecthood in projective geometry', Synthese: an international journal for epistemology, methodology and philosophy of science, vol. 199, no. 3-4, pp. 6523–6561. https://doi.org/10.1007/s11229-021-03080-0
Eder, G 2019, Truth, Paradox, and the Procedural Conception of Fregean Sense. in GM Mras, P Weingartner & B Ritter (eds), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. De Gruyter, Berlin / Boston, pp. 153-168.
Schiemer, G & Eder, G 2018, 'Hilbert, duality, and the geometrical roots of model theory', Review of Symbolic Logic, vol. 11, no. 1, pp. 48-86. https://doi.org/10.1017/S1755020317000260
Eder, G 2016, 'Frege's "On the Foundations of Geometry" and Axiomatic Metatheory', Mind, vol. 125, no. 497, pp. 5-40. https://doi.org/10.1093/mind/fzv101
Eder, G 2016, 'Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence', History and Philosophy of Logic, vol. 37, no. 2, pp. 170-193. https://doi.org/10.1080/01445340.2015.1028610
Eder, G & Ramharter, E 2015, 'Formal reconstructions of St. Anselm’s ontological argument', Synthese: an international journal for epistemology, methodology and philosophy of science, vol. 192, no. 9, pp. 2795-2825. https://doi.org/10.1007/s11229-015-0682-8
Eder, G 2014, 'Remarks on Compositionality and Weak Axiomatic Theories of Truth', Journal of Philosophical Logic, vol. 43, no. 2-3, pp. 541-547. https://doi.org/10.1007/s10992-013-9279-1
Eder, G 2014, 'Frege und das Paradox der Analyse', Proceedings of the International Wittgenstein Symposium, pp. 73-76.
Eder, G 2013, 'Remarks on Independence Proofs and Indirect Reference', History and Philosophy of Logic, vol. 34, no. 1, pp. 68-78. https://doi.org/10.1080/01445340.2012.702568

Frege on Formal and Informal Proof

Günther Eder (Speaker)

11 Jul 2023

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Fixing Blanchette's Frege

Günther Eder (Speaker)

14 Dec 2020 → 15 Dec 2020

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Fixing Blanchette's Frege

Günther Eder (Speaker)

23 Nov 2020

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Do any two straight lines meet in a point? Frege on (projective) geometry

Günther Eder (Speaker)

2 Jul 2019

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Frege and Semantics

Günther Eder (Speaker)

1 Mar 2019

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Meaning, Truth, and Paradox

Günther Eder (Speaker)

13 Feb 2019

Activity: Talks and presentations › Talk or oral contribution › Science to Science

The geometrical roots of model theory

Günther Eder (Speaker)

29 Sept 2015

Activity: Talks and presentations › Talk or oral contribution › Other

Frege and Model Theory

Günther Eder (Speaker)

18 Sept 2015

Activity: Talks and presentations › Talk or oral contribution › Other

Axiomatic metatheory: A Fregean perspective on independence proofs

Günther Eder (Speaker)

4 Aug 2015

Activity: Talks and presentations › Talk or oral contribution › Other

Formal Reconstructions of Anselm's Ontological Argument

Günther Eder (Speaker)

30 Apr 2015

Activity: Talks and presentations › Talk or oral contribution › Other

Formal Reconstructions of Anselm's Ontological Argument

Esther Ramharter (Invited speaker) & Günther Eder (Invited speaker)

30 Apr 2015

Activity: Talks and presentations › Talk or oral contribution › Science to Science

Frege und das Paradox der Analyse

Günther Eder (Speaker)

14 Aug 2014

Activity: Talks and presentations › Talk or oral contribution › Other

Frege und das Paradox der Analyse

Günther Eder (Speaker)

17 Jan 2014

Activity: Talks and presentations › Talk or oral contribution › Other

Boolos and Quine on Logical Truth

Günther Eder (Speaker)

21 Oct 2013

Activity: Talks and presentations › Talk or oral contribution › Other

Unabhängigkeitsbeweise und axiomatische Metatheorie bei Frege

Günther Eder (Speaker)

12 Dec 2011

Activity: Talks and presentations › Talk or oral contribution › Other

Hintikka and Frege on Quantification

Günther Eder (Speaker)

19 Oct 2010

Activity: Talks and presentations › Talk or oral contribution › Other

Interpretierbarkeit und Analytizität bei Frege

Günther Eder (Speaker)

5 Mar 2010

Activity: Talks and presentations › Talk or oral contribution › Other

Department of Philosophy

Universitätsstraße 7 (NIG)
1010 Wien

guenther.eder@univie.ac.at