Studia Logica

, Volume 100, Issue 4, pp 705–725

Inclusion and Exclusion in Natural Language


    • Department of PhilosophyStanford University

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 reasoningLogic and grammarExclusion relationsPolarity
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2012