Seminar

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 3F (3rd floor, NIG) (also on Mondays, 5-7 pm).
Link to Logik Cafe online meeting: https://univienna.zoom.us/j/99422395420?pwd=UHFySmJST3I4RDQ1WE5nL1E1SDhQZz09

2022

  • January 24, 2022: Eduardo Giovannini (Universität Wien / National Scientific and Technical Research Council, CONICET): ‘Purity of Method’ in Geometrical Reasoning Revisited
  • January 17, 2022: Michael Stöltzner (University of South Carolina): “Foundational motives in heuristic gear: On the philosophical virtues and scientific limits of categoricity and completeness in mathematical physics”

2021

  • December 13, 2021: Günther Eder (Universität Wien): “Bernays on structuralism and the finitary point of view”
  • December 6, 2021: Richard Lawrence (Vienna Circle Institute): “Mathematical formalism through the eyes of Weierstrass and Thomae”
  • November 29, 2021: Inger Bakken Pedersen (Universität Wien): “Coherentist Structuralism: Structures as Thin Objects”
  • November 22, 2021: Erich Reck (University of California, Riverside) “Carnapian Explication: Origins and Shifting Goals”
  • November 15, 2021: Javier Legris (University of Buenos Aires and CONICET): “Peirce’s Existential Graphs and the Analysis of Logical Notions”
  • October 25, 2021: Simon Weisgerber (University of Vienna) “Rigor and Mathematical Practice”
  • June 14, 2021: Anton Alexandrov (University of Barcelona) “Is Frege’s Logical Analysis of Arithmetical Notions an Instance of Carnapian Explication?”, (online)
  • May 31, 2021: Benjamin Marschall (University of Cambridge) “Carnapian Explication and the Limits of Voluntarism”, (online)
  • May 17, 2021: William D’Alessandro (Ludwig-Maximilians-Universität München): “Counterfactuals and Mathematical Explanation: A Litany of Woes”, (online)
  • May 10, 2021: Henning Heller (University of Vienna) “Methodological Structuralism between History, Historiography and Philosophy of Mathematics”, (online)
  • May 3, 2021: Inger Bakken Pedersen (University of Vienna) “Dependence Relations in Mathematical Structuralism”, (online)
  • April 26, 2021: Joan Bertran-San Millán (Academy of Sciences of the Czech Republic) “Peano’s structuralism”, (online)
  • March 22, 2021: Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) “Gentzen, proof theory, and projective geometry”, (online)
  • March 15, 2021: Daniela Glavaničová (University of Bratislava) and Matteo Pascucci (Slovak Academy of Sciences), “Regret and responsibility represented via alternative semantics for modal logic”, (online)
  • January 25, 2021: Eduardo N. Giovannini (University of Vienna) and Georg Schiemer (University of Vienna), “Hilbert’s Early Views on Completeness and Categoricity”, (online)
  • January 18, 2021: Balthasar Grabmayr (Vienna Circle Institute) “Carnap and the Structure of Formal Language”, (online)

2020

  • December 14, 2020: cancelled_Erich Reck (University of California, Riverside)
  • November 30, 2020: Francesca Biagioli (University of Turin), “Ernst Cassirer and some recent discussions on the relativized a priori”, (online)
  • November 23, 2020: Günther Eder (University of Vienna) “Fixing Blanchette’s Frege”, (online)
  • October 19, 2020: Mirja Hartimo (University of Jyväskylä) “Logical pluralism, normativity, and transcendental phenomenology”, (online)
  • October 12, 2020: Daniel Kuby (University of Vienna): “Programming tolerance: Carnap and the rise of programming languages”, online
  • June 22, 2020: Mariangela Cocchiaro (University of Vienna): “The significance of Aumann’s agreement theorem for the epistemology of peer disagreement” (online)
    June 15, 2020: Jonas Becker-Arenhart (University of Vienna): “Logical generalism in a naturalist setting” (online)
    June 8, 2020: Flavio Baracco (University of Vienna) “Constructing Physical Space: Carnap and Weyl in the 1920s” (online).
  • May 11, 2020: Norbert Gratzl (LMU Munich), “tba” (postponed)
  • April 20, 2020: Mirko Engler (Institute Vienna Circle), “Aspects of Inter-Theoretic Reduction” (postponed)
  • March 23, 2020: Gareth R. Pearce (University of Vienna), “tba” (postponed)
  • March 16, 2020: Flavio Baracco (Institute Vienna Circle), “Constructing Physical Space: Carnap and Weyl in the 1920s” (postponed)
  • 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”.