PP-2008-05: A Brief History of Natural Logic

PP-2008-05: van Benthem, Johan (2008) A Brief History of Natural Logic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (210kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


'Natural logic' is the idea that much human inference
can be based on natural language surface form, which
(hopefully) reflects fast human computational-cognitive
mechanisms. This paper was written at the invitation of
the computational linguists at Stanford, who are using
light inference mechanisms in current avant-garde text
processing. We trace the sources of the idea to pre-
Fregean traditional logic, and explain the systematic
categorial 'monotonicity calculus' allowing inference
a 'free ride' on syntax, first proposed in the 1980s
in the setting of generalized quantifier theory, as
well as subsequent developments - all the way up to
current cognitive science. Calculi of natural logic
belong to the most frequently rediscovered ideas in
logic: from philosophy in Greek and Chinese Antiquity
to modern computer science and neuroscience. The paper
will appear in the "Proceedings of the Kolkata Logic
Conference 2007", held in the memory of K. Matilal,
edited by Benedikt Loewe, Sujata Ghosh, et al.

Item Type: Report
Report Nr: PP-2008-05
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: logic; natural language; natural logic; monotonicity; cognition
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/279

Actions (login required)

View Item View Item