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, Liege, 10 August, 2017
• Proof Theory as a Branch of Mathesis Universalis. Humboldt Kolleg "Proof Theory as Mathesis Universalis", Loveno di Menaggio (Como), 24-28 July 2017
• Husserl and Leibniz on Symbolical Thinking and Symbolical Knowledge. Keynote talk, Conference "At the Origins of Phenomenology. Logic, Psychology, Ontology", North American Society for Early Phenomenology (NASEP), Seattle, 1-3 June 2017. 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: Grades on the Mathesis Universalis. International Workshop "Phenomenology and History", Rethymnon, Crete, 18-19 July 2016 July 2016
• Husserl and Leibniz on symbolic thinking. Guest lecture, Philosophical Seminar, Georg August University Göttingen, 25 May 2016

2015

• Husserl and Leibniz on symbolic thinking. Philosophical Colloquium, CvO University 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
• Semantica di Kripke e teorema di completezza per la logica intuizionistica dei predicati (I, II); Annotazioni sui Nuovi Saggi sull'Intelletto Umano di G.W. Leibniz; Interpretability relations of classical into intuitionistic logic. Four lectures within the German-Italian lecturer exchange between the CvO University of Oldenburg and the University of Siena, Siena, 4-8 May 2015
• Conceptions of Truth / Beweiskonzeptionen: Evidence of Why and Evidence 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. 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 Symbolical Thinking. Fifth Annual Workshop in Phenomenological Philosophy, Rice University, Houston, 23-25 April 2014
• Aspekte der Psychologismus-Streits: Husserl und Frege über Anzahlen und logische Gesetze. Kolloquium der ZEEV, Sommersemester 2014, Leibniz Universität Hannover, Hannover, 15 April 2014
• Rapporti di traducibilità tra logica classica, logica intuizionistica e sistemi modali; La critica dello psicologismo; Intentionality. Lectures within 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. Meeting "Philosophy of Mathematics and Logic", 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 of the '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 before 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 Right Interpretation of the God Jupiter in Husserl's Vth 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

• Grades On Mally's First Deontic Logic and von Wright's First Plausible Logic. GAP.8, Constance, 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, Gonzaga University in Florence, Firenze, 27-30 April 2011
• Rigorous Proofs and the Ban of the Metábasis eis állo génos. An Investigation on 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. Colloquium of the Department of Philosophy 2010/11, Hamburg, 26 January 2011

2010

• Reasons in Bolzano and Husserl. "Colloquium on Philosophy" (SS 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. April 2010
• The Psychologism Controversy: Husserl and Frege on the nature of logical laws. "Edmund Husserl on his 150th birthday: The philosophy of the father of phenomenology", public series of lectures of the Philosophical Seminar of the University of Hamburg, Hamburg, 27 January 2010

2009

• "Das Imaginäre in der Mathematik" - Husserl's double lecture to the Mathematical Society (6 November & 10 December 1901). Edmund Husserl 1859-2009 Symposium, Göttingen Academy of Sciences and Humanities and Philosophical Seminar of the 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: "Nachdenken und Vordenken - Herausforderungen an die Philosophie", 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 Universität zu Berlin, Berlin, 5-7 August 2009

• Remarks on the notions of Ableitbarkeit and Abfolge in Bernard Bolzano's Wissenschaftslehre. European Congress of Analytic Philosophy / ECAP 2008 (section Logic and Computation), Krakow, 21-26 August 2008
• Logical Consequence and Foundational Proof in the Wissenschaftslehre of Bernard Bolzano. PhilEAs Cycles de conférences, University of Genève, April 2008
• The 'Totality of conceivable arithmetical operations' in Husserl's Philosophy of Mathematics. XXIII AILA (Italian Association for Logic and Applications) Meeting, Genova, 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, Padova, 10-12 September 2007

2006

• The theory of inferences in Husserl's Logikvorlesung 1896. VII National Meeting SIFA, Milano, 28-30 September 2006
• Husserl on the 'Totality of all conceivable arithmetical operations'. Workshop "Topics in Husserl's Philosophy of Mathematics", Husserl Archive of 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), Lisboa, 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