Research projects

Research areas

Academic lectures

2017

• Proof, Ground and Mathesis Universalis. World Humanities Conference, DLMPST/IUHPST Symposium on Logic, Methodology, and Philosophy of Science and Technology, Liège, 10 August 2017
• Proof Theory as a Branch of Mathesis Universalis. Humboldt College “Proof Theory as Mathesis Universalis”, Loveno di Menaggio (Como), 24–28 July 2017
• Husserl and Leibniz on Symbolic Thinking and Symbolic Knowledge. Keynote talk, Conference “At the Origins of Phenomenology. Logic, Psychology, Ontology”, North American Society for Early Phenomenology (NASEP), Seattle, 1–3 June 2017

2016

• The Question of Knowledge in Bernard Bolzano. International workshop “Philosophical Knowledge in Classical Rationalism and Idealism”, Göttingen, 6–7 October 2016
• Husserl and Leibniz: Notes on the Mathesis Universalis. International Workshop “Phenomenology and History”, Rethymnon, Crete, 18–19 July 2016
• Husserl and Leibniz on Symbolic Thought. Guest lecture, Department of Philosophy, Georg August University of Göttingen, 25 May 2016

2015

• Husserl and Leibniz on Symbolic Thinking. Philosophy Colloquium, CvO University of Oldenburg, Oldenburg, 26 October 2015
• On the Shoulders of Leibniz and Bolzano: Early Husserl on the Mathesis Universalis. 46th Annual Meeting of the Husserl Circle, Helsinki, 9–12 June 2015
• Kripke’s Semantics and the Completeness Theorem for Intuitionistic Predicate Logic (I, II); Notes on G.W. Leibniz’s New Essays on the Human Intellect; Interpretability relations from classical to intuitionistic logic. Four lectures as part of the German–Italian lecturer exchange between the CvO University of Oldenburg and the University of Siena, Siena, 4–8 May 2015
• Conceptions of Truth / Conceptions of Proof: Proofs of ‘Why’ and Proofs of ‘That’. Plenary talk, workshop ‘Infallibility through Formalism? – An interdisciplinary look at the possibilities, limits and consequences of a methodological revolution in mathematics’, Bonn, 13–15 March 2015

2014

• Proofs without detours: a retrospective perspective. Keynote talk, DVMLG Colloquium Logicum 2014, Munich, 4–6 September 2014
• Husserl and Ingarden on the ontology of artworks. International workshop “Phenomenology and the ‘aesthetic’”, Rethymnon, Crete, 21–23 July 2014
• On Husserl’s View of a Threefold Stratification of Formal Logic. Workshop “Categories and Logical Syntax”, Leiden, 1 July 2014
• Husserl and Leibniz on clarity and distinctness. 45th Annual Meeting of the Husserl Circle, Dartmouth College, Hanover, 28–31 May 2014
• Husserl and Leibniz on Symbolic Thinking. Fifth Annual Workshop in Phenomenological Philosophy, Rice University, Houston, 23–25 April 2014
• Aspects of the Psychologism Controversy: Husserl and Frege on Numbers and Logical Laws. ‘ ’ Colloquium of the ZEEV, summer semester 2014, Leibniz University Hannover, Hannover, 15 April 2014
• Relationships of translatability between classical logic, intuitionistic logic and modal systems; The critique of psychologism; Intentionality. Lectures as part of the German-Italian lecturer exchange between the CvO University of Oldenburg and the University of Siena, Siena, 7–11 April 2014
• On Husserl and Hilbert in Göttingen. ‘Philosophy of Mathematics and Logic’ conference, Keio University, Tokyo, 26–27 February 2014
• Bernard Bolzano on the eliminability of apagogic proofs. Workshop, 21–23 February 2014

2013

• Rigorous Proofs and the Ban on ‘Metábasis eis állo génos’ in B. Bolzano. Humboldt Kolleg “Proof”, Bern , 9–13 September 2013
• The Imaginary in Mathematics. Remarks on Husserl’s 1901 lecture to the Mathematical Society of Göttingen. Conference “From Lotze to Husserl: Psychology, Mathematics, and Phenomenology in Göttingen 1879–1916”, Leuven , 17–19 June 2013
• On the Correct Interpretation of the God Jupiter in Husserl’s Fifth Logical Investigation. 44th Annual Meeting of the Husserl Circle, Karl-Franzens-University Graz, Graz, 20–22 June 2013
• Thomas Mann and Giacomo Leopardi. Filosofia Italiana foundation, Oldenburg, 13 May 2013.

2012

• Notes on Mally’s First Deontic Logic and von Wright’s First Plausible Logic. GAP.8, Konstanz, 17–20 September 2012

2011

• Respondent at the book session on S. Centrone, *Logic and Philosophy of Mathematics in the Early Husserl* (Springer 2010), commentators: Mirja Hartimo and Robert Tragesser. 42nd Annual Husserl Circle Meeting of the ‘ ’, Gonzaga University in Florence, 27–30 April 2011
• Rigorous Proofs and the Ban on Metábasis eis állo génos. An Investigation into Bernard Bolzano’s Contributions to a Better-Grounded Presentation of Mathematics. Paris Diderot Philmaths Seminar 2010–11, Session 5: 19th-Century Philosophy of Mathematics, Université Paris Diderot, Paris, 6 April 2011
• (With S. Schierbaum) Signs, Meanings, Objects: Nominalism versus Logical Objectivism in the Theory of Meaning. Departmental Colloquium of the Philosophy Department 2010/11, Hamburg, 26 January 2011

2010

• Justifications in Bolzano and Husserl. ‘Colloquium on Philosophy’ (Summer Semester 2010), University of Paderborn, 27 May 2010
• Bolzano and the Canon of Reciprocity. International Workshop “Philosophy and Mathematics in the Work of Bernard Bolzano”, Prague, 15–18 April 2010
• The Psychologism Controversy: Husserl and Frege on the Nature of Logical Laws. “Edmund Husserl on the 150th Anniversary of his Birth: The Philosophy of the Father of Phenomenology”, Series of lectures organised by the Department of Philosophy at the University of Hamburg, Hamburg, 27 January 2010

2009

• “The Imaginary in Mathematics” – Husserl’s two-part lecture to the Mathematical Society (6 November & 10 December 1901). Edmund Husserl 1859–2009 Symposium, Göttingen Academy of Sciences and the Department of Philosophy at Georg-August University of Göttingen, Göttingen, 26–28 November 2009
• Bolzano’s theory of derivability and grounding and his notion of a “rigorous scientific presentation”. GAP.7: “Reflection and Foresight – Challenges for Philosophy”, Bremen, 14–17 September 2009
• Bolzano on proofs. “Truth and Abstract Objects. Issues from Bolzano and Frege” – a conference in honour of Wolfgang Künne, Humboldt University of Berlin, Berlin, 5–7 August 2009

• Remarks on the notions of derivability and sequence in Bernard Bolzano’s *Wissenschaftslehre *. European Congress of Analytic Philosophy / ECAP 2008 (section Logic and Computation), Kraków, 21–26 August 2008
• Logical Consequence and Foundational Proof in the Wissenschaftslehre of Bernard Bolzano. PhilEAs Cycles de conférences, University of Geneva, April 2008
• The ‘Totality of conceivable arithmetical operations’ in Husserl’s Philosophy of Mathematics. XXIII AILA (Italian Association for Logic and Applications) Meeting, Genoa, 20–23 February 2008

2007

• Husserl’s notion of computing and a comparison with G. Boole’s. “Language, Knowledge and Metaphysics”, First SIFA Graduate Conference, Padua, 10–12 September 2007

2006

• The theory of inferences in Husserl’s 1896 Lectures on Logic. VII National SIFA Meeting, Milan, 28–30 September 2006
• Husserl on the ‘Totality of all conceivable arithmetical operations’. Workshop “Topics in Husserl’s Philosophy of Mathematics”, Husserl Archive at the University of Cologne, Cologne, 16 March 2006

2005

• Husserl on the ‘Totality of all conceivable arithmetical operations’. 5th European Congress for Analytic Philosophy (ECAP 5), Lisbon, 27–31 August 2005
• Husserl on the concepts of ‘operation’ and ‘system of operations’. 35th Annual Meeting of the Husserl Circle, Dublin, 9–12 June 2005
  
  

Referee