The research seminar meets on Mondays, 3-5 pm in room C0216, Universitätsstraße 7 (NIG), 1010 Vienna. Talks by invited scholars are organized in cooperation with the Logic Colloquium (Logik Café) of the Department and are located in room 3A (3rd floor, NIG) (also on Mondays, 5-7 pm).

### 2020

- May 25, 2020: Eduardo N. Giovannini (University of Vienna) and Georg Schiemer (University of Vienna), “Hilbert’s Early Views on Completeness and Categoricity”_at Room 2G.
- May 11, 2020: Norbert Gratzl (LMU Munich), “tba”
- April 20, 2020: Mirko Engler (Institute Vienna Circle), “Aspects of Inter-Theoretic Reduction”
- March 23, 2020: Gareth R. Pearce (University of Vienna), “tba”
- March 16, 2020: Flavio Baracco (Institute Vienna Circle), “Constructing Physical Space: Carnap and Weyl in the 1920s”
- March 9, 2020: Tabea Rohr (Friedrich-Schiller-University Jena), “Logical Concepts vs. Logical Operations. Two Traditions of Logic re-revisited”

**2019**

- December 9, 2019: Luca San Mauro (TU-Wien) and Michał Tomasz Godziszewski (University of Warszaw) “Quotient structures, philosophy of computability theory and computational structuralism”
- December 6, 2019 (from 16:45 – 18:15): David Corfield (University of Kent) “Modal homotopy type theory: a gentle introduction”
- December 2, 2019: Silvia Jonas (Ludwig-Maximilians-University Munich) “How realistic is realism for mathematical pluralists?”
- October 28, 2019: Richard Lawrence (UC Berkeley) “Frege’s arguments against formalism”
- October 14, 2019: Dana Scott (Philosophy, UC Berkeley) “Can Euclid still be Classified as an Applied Mathematician?”
- June 26, 2019: Florian Steinberger (Birkbeck, University of London), “The sources of logic’s normativity”, joint invitation with the Vienna Forum for Analytic Philosophy
- May 20, 2019: Silvia Bianchi (IUSS Pavia), “Introducing Thin Objects in Mathematical”.
- May 6, 2019: Georg Schiemer and John Wigglesworth (University of Vienna), “Structuralism and informal provability”.
- April 3, 2019: Reading Group: Hartimo, M., “Husserl’s Pluralistic Phenomenology of Mathematics“ (2012).
- March 27, 2019: Reading Group: Wigglesworth, J., “Grounding in Mathematical Structuralism“ (2018).
- March 13, 2019: Reading Group: Stillwell, J. Sources of Hyperbolic geometry, (1991), continued.
- March 11, 2019: Neil Barton (University of Vienna) “Relativism and Metalogic”.
- February 13, 2019: Reading Group: Stillwell, J. Sources of Hyperbolic geometry, (1991).
- January 23, 2019: Reading Group: Button, T. & Walsh, S. Philosophy and Model Theory, (2018), Chapter 5.
- January 14, 2019: Henning Heller (University of Vienna) “Concepts of Group Theory”.

**2018**

- December 3, 2018: Georg Schiemer (University of Vienna) “Implicit structure”.
- November 28, 2018: Reading Group: Button, T. & Walsh, S. Philosophy and Model Theory, (2018), Chapter 3.
- November 14, 2018: Reading Group: Button, T. & Walsh, S. Philosophy and Model Theory, (2018), Chapter 1,2
- November 5, 2018: Vincenzo De Risi (Centre national de la recherche scientifique) “Drawing Lines through Rivers and Cities. The Meaning of Postulates from Euclid to Hilbert”.
- October 3, 2018: Reading Group: Leitgeb, H. “On formal and informal provability”.
- July 24: Reading Group: Klev, A. “Dedekind and Hilbert on the Foundations of the Deductive Sciences” (2011).
- June 27: Reading Group: Hallett, M. “More on Frege and Hilbert“ (2012) (Continued).
- June 25, 2018: Gil Sagi (University of Haifa), “Logic and Natural Language”.
- June 20: Reading Group: Hallett, M. “More on Frege and Hilbert“ (2012).
- June 13: Reading Group: Arana, A. & Mancosu, P. “On the Relationship between Plane and Solid Geometry“ (2012).
- June 11, 2018: Chris Menzel (Texas A&M University) “A Defense (and Brief History) of the Possibilism-Actualism Distinction”.
- May 28, 2018: Henning Heller (University of Vienna), „From Geometry to Groups and Back“
- May 16, Reading Group: Hale, B. & Wright, C., “Implicit Definition and the A Priori“ (2000). Structuralism: Ontological Dependence and Grounding for a Weak Approach”.
- May 2, Reading Group: Ebert, P., “A Framework for Implicit Definitions and the A Priori“ (2016).
- May 2, 2018: Reading Group: Linnebo Ø. Thin Objects – An Abstractionist Account (2018), Chapters 1&2
- April 23, 2018: Reading Group: Mancosu, P. Abstraction and Infinity (2016), Chs.1&2.
- April 20, 2018: Reading Group: Wright, C. “Abstraction and Epistemic Entitlement: On the Epistemological Status of Hume’s Principle“ (2016).
- April 16, 2018: Rachel Boddy (UC Davis), “Frege’s Unification”.
- March 19, 2018: John Wigglesworth (University of Vienna), “Varieties of mathematical nominalism.”
- March 21, 2018: Reading Group: Linnebo Ø. & Pettigrew R., Two Types of Abstraction for Structuralism (2014).
- March 14, 2018: Reading Group: Leach-Krouse G., Structural Abstraction Principles (2015)
- March 12, 2018: Andrea Sereni (IUSS Pavia), “Neo-logicism with(out) grounding”.
- February 20, 2018: Work-in-progress talk: Henning Heller on the history of representation theory.
- January 30, 2018: Reading Group: Marquis, J.-P., From a Geometrical Point of View (2009), Chapter 2, continued.

**2017**

- December 7, 2017: Reading Group: Marquis, J.-P., From a Geometrical Point of View (2009), Chapter 2.
- November 13, 2017: Flavia Padovani (Drexel University) and Francesca Biagioli (University of Vienna) “From Mathematical to Physical Coordination and Back. Why Mathematical Coordination Can Be More Entangled than it Looks Like”.
- November 6, 2017: John Wigglesworth (University of Vienna) “Scientific Realism without Mathematical Platonism: A Structuralist Approach”.
- October 26, 2017: Reading Group: Marquis, J.-P., From a Geometrical Point of View (2009), Chapter 1.
- October 17, 2017: Reading Group: Husserl’s “Doppelvortrag“ (with Mirja Hartimo).
- October 16, 2017: Mirja Hartimo (University of Tampere), “Husserl’s thin structuralism”.
- September 11, 2017: Reading Group: Ebert, P. A. “A Framework for Implicit Definitions and the A priori” (2016).
- June 26, 2017: Reading Group: Sieg, W. and Morris, R. “Dedekind’s structuralism: creating concepts and deriving theorems” (forthcoming).
- June 12, 2017: Chris Scambler (NYU), “Realism and Theoretical Indeterminacy”.
- May 22, 2017: Reading Group: Awodey, S. & Reck, E. “Completeness and Categoricity – Part 1: Nineteenth-century axiomatics to twentieth-century metalogic“ (2002).
- April 24, 2017: Norbert Gratzl (LMU Munich), “A Defense of Classical Logic”.
- March 22, 2017: Michal Godziszewski (University of Warsaw) “Computational finitism and algorithmic learnability“.
- March 6, 2017: Neil Barton (KGRC, University of Vienna) “Mathematics as a Science of (Different Kinds of) Patterns”.