Forschung

Hauptarbeitsgebiete: Allgemeine Wissenschaftstheorie; Philosophie der Mathematik und der Logik (Begründung der effektiven Logikkalküle); Definitionstheorie (Begriffslehre, imprädikative Definitionen, Abstraktionstheorie); Mathematikgeschichte (LEIBNIZ, SACCHERI, CASTILLON, FREGE, SCHRÖDER, LÖWENHEIM, BROUWER, GÖDEL); Sozialgeschichte der Logik; Studien zur Wissenschaftsgeschichte der Renaissance und der Neuzeit (LEONARDO DA VINCI, John DEE, Galileo GALILEI); Editionen (GENTZEN, LÖWENHEIM)