Interessen

allgemeine Wissenschaftstheorie Erkenntnistheorie Wissenschaftstheorie der Mathematik Philosophie der Beweistheorie Philosophie der Ökonomie Geschichte der Mathematik Geometriebegründung

allgemeine Wissenschaftstheorie

• Was ist konstitutiv für die Wissenschaften?
• erkenntnistheoretische Grundlagen der Wissenschaftstheorie
  
• Begründungsprobleme der Möglichkeit von Wissenschaft
  
• Formen wissenschaftlichen Begründens
• Geltungstypen von wissenschaftlichem Wissen
  
• Klassifikationsmöglichkeiten von Einzelwissenschaften
  

Erkenntnistheorie

• Kants transzendentaler Idealismus
• transzendentaler Antirealismus
  
• Strawsons deskriptive Metaphysik
• Sinnprinzipien (vor allem im Hinblick auf antiskeptische Argumentationsstrategien)
  
• methodologische Grundlagen einer Theorie des Gedankenexperiments
• "Frege als Kantianer"

Wissenschaftstheorie der Mathematik

• Was ist Mathematik?
  
• Was ist Philosophie der Mathematik?
• Die Entwicklung von Prädikativitätsbegriffen ausgehend von der Poincaré-Russell-Diskussion
• Begründbarkeit von Komprehensionsschemata
• Mathematik und das synthetische Apriori (Was kann "synthetisch a priori" in der Mathematik bedeuten?)
• der Begriff des Axioms
  
• Freges Mathematikphilosophie
  
• Neo-Logizismus (im Besonderen Neo-Fregeanischer Logizismus)
• Begründungsreichweite von Unverzichtbarkeitsargumenten
  

Philosophie der Beweistheorie

• Was ist Beweistheorie? (Philosophieren über Beweistheorie)
  
• Reduktive Beweistheorie (vor allem die Arbeiten von Solomon Feferman und Georg Kreisel)
  
• Reverse Mathematics (Harvey Friedman, Stephen Simpson)
• Die grundlagentheoretische Bedeutsamkeit von ATR- und delta_1^1-basierten Systemen
  
• Die Finitheits-Debatte im Anschluß an William Taits These "Finitheit = PRA"
• Gerhard Gentzens Reflexionen auf Beweismittel der ordinalen Beweistheorie
• geltungstheoretische Probleme im beweistheoretischen Umgang mit LCAs (= large cardinal axioms)
• Geschichte der Beweistheorie
• die begriffsgeschichtlichen Wurzeln des Ausdrucks "Metamathematik"
  

Philosophie der Ökonomie

• Die Ökonomie im Spannungsfeld zwischen Natur- und Kulturwissenschaften
• Begründungsmodelle in der Ökonomie
• die Konstitution der ökonomischen Wirklichkeit
• Modellbildungen in der Ökonomie

Geschichte der Mathematik

• Abraham Adolf Fraenkels Beiträge zu den Grundlagen der Mengentheorie; insbesondere: die Entwicklung der induktiven Definition des Funktionsbegriffs (Präzisierung des Zermeloschen Definitheitsprädikats)
• "ZFS anstatt ZF": Skolems Beiträge zur Axiomatisierung von ZF
  

Geometriebegründung

• Methodisch-operative Geometriebegründung
• Die philosophische Problemgeschichte um den Status des Parallelenpostulats