Natural Logic and Semantics

  • Lawrence S. Moss
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6042)


Two of the main motivations for logic and (model-theoretic) semantics overlap in the sense that both subjects are concerned with representing features of natural language meaning and inference. At the same time, the two subjects have other motivations and so are largely separate enterprises. This paper returns to the topic of language and logic, presenting to semanticists natural logic, the study of logics for reasoning with sentences close to their surface form. My goal is to show that the subject already has some results that natural language semanticists might find interesting. At the same time it leads to problems and perspectives that I hope will interest the community. One leading idea is that the target logics for translations should have a decidable validity problem, ruling out first-order logic. I also will present a fairly new result based on the transitivity of comparative adjective phrases that suggests that in addition to ‘meaning postulates’ in semantics, we will also need to posit ‘proof principles’.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Lawrence S. Moss
    • 1
  1. 1.Department of MathematicsIndiana UniversityBloomingtonUSA

Personalised recommendations