Chair of Formal Logic and Philosophy of Language
Information
Fields of study
- Logic
- Mathematical logic: model theory, proof theory
- Philosophical logic: intensional logic, quantifier theory
- Logic for computer science: temporal logic, dynamic logic, feature logic
- Semantics
- Dynamic discourse logic
- Logical semantics of lexical structures
- Syntax/semantics interface
- Formal pragmatics
- Philosophy of language
- Theory of reference
- Communication and information
Academic staff
- Rainer Bäuerle (Senior Lecturer)
- Hans Kamp (Professor)
Administration
Sybille LadererSecretary of Chair for Formal Logic and Philosophy of Language
Institute for Natural Language Processing
Azenbergstrasse 12
D-70174 Stuttgart
Germany
phone: +49 (0)711 685-81363
fax: +49 (0)711 685-81366
e-mail: