Forschungsprojekte

Forschungsgebiete

Akademische Vorträge

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. Juli 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. Juni 2017

2016

• Die Frage nach dem Wissen bei Bernard Bolzano. Internationaler Workshop “Philosophisches Wissen im klassischen Rationalismus und Idealismus”, Göttingen, 6.-7. Oktober 2016
• Husserl and Leibniz: Notes on the Mathesis Universalis. International Workshop "Phenomenology and History", Rethymnon, Kreta, 18.-19. Juli 2016
• Husserl und Leibniz über symbolisches Denken. Gastvortrag, Philosophisches Seminar, Georg August Universität Göttingen, 25. Mai 2016

2015

• Husserl und Leibniz über symbolisches Denken. Philosophisches Colloquium, CvO-Universität Oldenburg, Oldenburg, 26. Oktober 2015
• On the Shoulders of Leibniz and Bolzano: Early Husserl on the Mathesis Universalis. 46th Annual Meeting of the Husserl Circle, Helsinki, 9.-12. Juni 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. Vier Vorträge innerhalb des deutschen-italienischen Dozentenaustausches zwischen der CvO Universität Oldenburg und der Universität Siena, Siena, 4.-8. Mai 2015
• Conceptions of Truth / Beweiskonzeptionen: Beweise des Warum und Beweise des Dass. Plenary Talk, Workshop "Unfehlbarkeit durch Formalismus? – Ein interdisziplinärer Blick auf Möglichkeiten, Grenzen und Folgen einer methodischen Revolution der Mathematik", Bonn, 13.-15. März 2015

2014

• Proofs without detours: a retrospective perspective. Keynote talk, DVMLG Colloquium Logicum 2014, München, 4.-6. September 2014
• Husserl and Ingarden on the ontology of artworks. International workshop "Phenomenology and the 'aesthetic'", Rethymnon, Kreta, 21.-23. Juli 2014
• On Husserl's View of a Threefold Stratification of Formal Logic. Workshop "Categories and Logical Syntax", Leiden, 1. Juli 2014
• Husserl and Leibniz on Clarity and Distinctness. 45th Annual Meeting of the Husserl Circle, Dartmouth College, Hanover, 28.-31. Mai 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. Vorträge innerhalb des deutschen-italienischen Dozentenaustausches zwischen der CvO Universität Oldenburg und der Universität Siena, Siena, 7.-11. April 2014
• On Husserl and Hilbert in Göttingen. Meeting "Philosophy of Mathematics and Logic", Keio University, Tokyo, 26.-27. Februar 2014
• Bernard Bolzano on the eliminability of apagogic proofs. Workshop “21.-23. Februar 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. Konferenz “From Lotze to Husserl: Psychology, Mathematics, and Phenomenology in Göttingen 1879-1916”, Leuven, 17.-19. Juni 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. Juni 2013
• Thomas Mann und Giacomo Leopardi. Filosofia Italiana-Stiftung, Oldenburg, 13. Mai 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, 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
• (Mit S. Schierbaum) Zeichen, Bedeutungen, Gegenstände: Nominalismus versus logischer Objektivismus in der Bedeutungstheorie. Institutskolloquium des Philosophischen Seminars 2010/11, Hamburg, 26. Januar 2011

2010

• Begründungen bei Bolzano und Husserl. „Kolloquium zur Philosophie“ (SS 2010), Universität Paderborn, 27. Mai 2010
• Bolzano and the Canon of Reciprocity. International Workshop “Philosophy and Mathematics in the Work of Bernard Bolzano”, Prag, 15.-18. April 2010
• Der Psychologismus-Streit: Husserl und Frege über die Natur logischer Gesetze. „Edmund Husserl zum 150. Geburtstag: Die Philosophie des Vaters der Phänomenologie“, Öffentliche Ringvorlesung des Philosophischen Seminars der Universität Hamburg, Hamburg, 27. Januar 2010

2009

• "Das Imaginäre in der Mathematik" - Husserls Doppelvortrag vor der Mathematischen Gesellschaft (6.11. & 10.12.1901). Edmund Husserl 1859-2009 Symposium, Akademie der Wissenschaften zu Göttingen und Philosophisches Seminar der Georg-August-Universität 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. Februar 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-Archiv der Universität zu Köln, Köln, 16. März 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. Juni 2005
  
  

Referee