Formal Logic and Philosophy of Language (Kamp)

Department Formal Logic and Philosophy of Language, chair holder Prof. Dr. Hans Kamp

true" ? copyright : '' }

Prof. Dr. Hans Kamp headed the former department of Formal Logic and Philosophy of Language at the IMS.

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)
 

General Contact IMS

Pfaffenwaldring 5 b, 70569 Stuttgart

 

Student Counselling

 

Webmaster of the IMS

  • Write e-mail
  • If you have any problems with the website, please directly contact the webmaster.
To the top of the page