Formale Logik und Sprachphilosophie

Lehrstuhl Formale Logik und Sprachphilosophie

Information

Projekte

Arbeitsgebiete

Logik
Mathematische Logik: Modelltheorie, Beweistheorie
Philosophische Logik: Intensionale Logik, Quantorentheorie
Logik der Informatik: Temporale Logik, dynamische Logik, Merkmalslogik
Semantik
Dynamische Diskurssemantik
Logische Semantik lexikalischer Strukturen
Schnittstelle Syntax/Semantik
Formale Pragmatik
Sprachphilosophie
Bedeutungstheorie
Kommunikation und Information

Lehrende

Rainer Bäuerle (akad. Oberrat)
Hans Kamp (ord. Prof.)

Sekretariat

Sybille Laderer
Sekretariat Lehrstuhl Formale Logik und Sprachphilosophie
Institut für Maschinelle Sprachverarbeitung
Azenbergstraße 12
D-70174 Stuttgart
Germany

Telefon: +49 (0)711 685-81363
Telefax: +49 (0)711 685-81366
e-mail:

Sybille Laderer