Forschungsprofil
Lehrstuhl für Logik und Sprachphilosophie (Prof. DDr. Hannes Leitgeb)

Lehrstuhl für Logik und Sprachphilosophie (Prof. DDr. Hannes Leitgeb)
Die Mitglieder des Lehrstuhls arbeiten unter anderem an folgenden Themen: formale Semantik und Pragmatik; formale Theorien der Wahrheit und semantischen Paradoxie; Vagheit; Modallogik; konditionale Logik; freie Logik; deontische Logik; Logik höherer Ordnung; nicht-klassische Logik; dynamische Logik; Semantik und Beweistheorie bestimmter und unbestimmter Beschreibungen; Begriffe der Berechenbarkeit; Logik in der Künstlichen Intelligenz; logische und probabilistische Grundlagen der Erkenntnistheorie, der Wissenschaftsphilosophie, der Philosophie der Mathematik, der Metaphysik und der Metaethik; und die Geschichte der analytischen Philosophie. Kürzlich finanzierte Forschungsprojekte betrafen die logische Rekonstruktion von Modalitäten als Prädikate von Sätzen, die einheitliche Behandlung der freien Logik durch die strukturelle Beweistheorie und die Rolle der Repräsentation in der mathematischen Argumentation.