Institut

Studium

Forschung


 

Formale Logik und Sprachphilosophie (Kamp)

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

Mitarbeiter

Lehrende

  • Rainer Bäuerle (akad. Oberrat)
  • Hans Kamp (ord. Prof.)
Kontakt
Sekretariat
Sybille Laderer
Sekretariat
Telefon 0049 711 685-81363
Fax0049 711 685-81366
E-Mail
Postadresse
Universität Stuttgart
Institut für Maschinelle Sprachverarbeitung
Pfaffenwaldring 5b
70569 Stuttgart
Deutschland