Forschung

Forschungsprojekte

  • Modallogik und die österreichisch-polnische Philosophie. 36 Monate DFG Heisenberg Stipendium (Bewilligunsdatum:30.08.2017)
  • Bolzanos und Husserls Weiterentwicklung von Leibnizens Ideen zur 'Mathesis Universalis'. 36 Monate DFG Eigene Stelle (Bewilligunsdatum:12.02.2013)
  • Logical Objectivism, Inference, and 'Foundational' Proof. 24 Monate Humboldt Forschungsstipendium (1.1.2009 - 30.9.2009 / 1.10.2010 - 31.12.2011)
  • Symbolic thinking in Husserl and Leibniz. 6 Monate Forschugsstipendium, ASFPG - Altonaer Stiftung für Philosophische Grundlagenforschung (1.2.12 - 31.07.12)
  • Logic and Philosophy in Husserl. 18 Monate Post-doc Stipendium, SNS - Scuola Normale Superiore, Pisa
  • Husserl's logical objectivism. 24 Monate Post-doc Stipendium, SNS - Scuola Normale Superiore, Pisa



Forschungsgebiete

  • Theoretische analytische Philosophie (insbesondere Sprachphilosophie, Erkenntnistheorie).
  • Frühgeschichte der analytischen Philosophie: B. Bolzano, G. Frege, E. Husserl.
  • Formale Logik; Philosophie der Logik; Geschichte der Logik.
  • Philosophie des Geistes (Theorien der Intentionalität).
  • Philosophie der Mathematik.



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

2008

  • 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

  • Gutachter für folgende internationale Zeitschriften:
    • History and Philosophy of Logic;
    • Canadian Journal of Philosophy;
    • Synthese;
    • Archiv für Geschichte der Philosophie;
    • Grazer Philosophische Studien;
    • Husserl Studies; 
    • Oxford University Press.
          
  • Gutachter für FWF (Fonds zur Förderung der wissenschaftlichen Forschung, Österreich).

Mitgliedschaften

  • Deutsche Gesellschaft der Humboldtianer e.V.
  • The Husserl Circle
  • Internationale Bernard-Bolzano-Gesellschaft
  • Gesellschaft für analytische Philosophie e.V.
  • DHV - Deutscher Hochschulverband
  • DGPhil - Deutsche Gesellschaft für Philosophie e.V.
  • DVMLG - Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften
  • American Philosophical Association (APA).