Research profile

Chair of Logic and Philosophy of Language (Prof. DDr. Hannes Leitgeb)

Research at the Chair of Logic and Philosophy of Language

The members of the Chair work on the following topics, among others: formal semantics and pragmatics; formal theories of truth and semantic paradox; vagueness; modal logic; conditional logic; free logic; deontic logic; higher-order logic; non-classical logic; dynamic logic; the semantics and proof-theory of definite and indefinite descriptions; notions of computability; logic in AI; the logical and probabilistic foundations of epistemology, philosophy of science, philosophy of mathematics, metaphysics, and metaethics; and the history of analytic philosophy. Recent funded research projects have concerned the logical reconstruction of modalities as predicates of sentences, the unified treatment of free logic through structural proof theory, and the role of representation in mathematical reasoning.