Institute

Studying

Research


 

Formal Logic and Philosophy of Language (Kamp)

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

Staff

Academic staff

  • Rainer Bäuerle (Senior Lecturer)
  • Hans Kamp (Professor)
Contact
Secretary
Sybille Laderer
Sekretariat
Phone 0049 711 685-81363
Fax0049 711 685-81366
E-Mail
Address
Universität Stuttgart
Institut für Maschinelle Sprachverarbeitung
Pfaffenwaldring 5b
70569 Stuttgart
Deutschland