Natural Logic for Natural Language

  • Jan van Eijck
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4363)


For a cognitive account of reasoning it is useful to factor out the syntactic aspect — the aspect that has to do with pattern matching and simple substitution — from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic structures. We first introduce the semantic and the syntactic sides of monotonicity reasoning or ‘natural logic’, and propose an improvement to the syntactic monotonicity calculus, in the form of an improved algorithm for monotonicity marking. Next, we focus on the role of monotonicity in syllogistic reasoning. In particular, we show how the syllogistic inference rules (for traditional syllogistics, but also for a broader class of quantifiers) can be decomposed in a monotonicity component, an argument swap component, and an existential import component. Finally, we connect the decomposition of syllogistics to the doctrine of distribution.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Jan van Eijck
    • 1
  1. 1.CWI, Amsterdam and Uil-OTS, Utrecht University 

Personalised recommendations