PP-2008-05: van Benthem, Johan (2008) A Brief History of Natural Logic. [Report]
Preview |
Text (Full Text)
PP-2008-05.text.pdf Download (210kB) | Preview |
Text (Abstract)
PP-2008-05.abstract.txt Download (1kB) |
Abstract
'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 |