Studia Logica

, Volume 100, Issue 4, pp 705–725

Inclusion and Exclusion in Natural Language


DOI: 10.1007/s11225-012-9425-8

Cite this article as:
Icard, T.F. Stud Logica (2012) 100: 705. doi:10.1007/s11225-012-9425-8


We present a formal system for reasoning about inclusion and exclusion in natural language, following work by MacCartney and Manning. In particular, we show that an extension of the Monotonicity Calculus, augmented by six new type markings, is sufficient to derive novel inferences beyond monotonicity reasoning, and moreover gives rise to an interesting logic of its own. We prove soundness of the resulting calculus and discuss further logical and linguistic issues, including a new connection to the classes of weak, strong, and superstrong negative polarity items.


Surface reasoning Logic and grammar Exclusion relations Polarity 

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of PhilosophyStanford UniversityStanfordUSA

Personalised recommendations