Institute for Natural Language Processing

Chair of Formal Logic and Philosophy of Language

Chair of Formal Logic and Philosophy of Language

Information

• Projects

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 Laderer
Secretary 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: Sybille Laderer