Mathematical Logic and Natural Language: Life at the border

  • Johan van Benthem
Part of the Trends in Logic book series (TREN, volume 17)


This is a brief history of interfaces between logic and language in the 20th century, written by a non-historian. My aim is to show a complex and rich relationship, constantly evolving, which defies easy summaries or generalizations. Moreover, I want to make the reader aware of some grand unifying patterns, that are sometimes lost while peering over type-theoretical formulas, ritualized example sentences, and the general business of exchanging broadsides with one’s scientific neighbours.


Natural Language Modal Logic Dynamic Logic Dynamic Semantic Categorial Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Johan van Benthem
    • 1
    • 2
  1. 1.Institute for Logic Language and Computation (ILLC)University of AmsterdamAmsterdamThe Netherlands
  2. 2.Center for the Study of Language and Information (CSLI)Stanford UniversityStanfordUSA

Personalised recommendations