An Analytic Tableau System for Natural Logic
| Abstract | Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesGeorge Lakoff (1970). Linguistics and Natural Logic. Synthese 22 (1-2):151 - 271.
Anna Zamansky, Nissim Francez & Yoad Winter (2006). A 'Natural Logic' Inference System Using the Lambek Calculus. Journal of Logic, Language and Information 15 (3).
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13 (1):1-23.
Kenneth G. Ferguson (2003). Monotonicity in Practical Reasoning. Argumentation 17 (3):335-346.
Chris Fox (2005). Foundations of Intensional Semantics. Blackwell Pub..
Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6).
Ian Pratt-Hartmann (2004). Fragments of Language. Journal of Logic, Language and Information 13 (2):207-223.
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
David Ripley (forthcoming). Sorting Out the Sorites. In Francesco Berto, Edwin Mares & Koji Tanaka (eds.), Paraconsistent Logic (tentative title).
Roger Schmit (2004). Wie Natürlich Ist Das System der Natürlichen Deduktion? Journal for General Philosophy of Science 35 (1):129-145.
Paul Tomassi (2001). Logic After Wittgenstein. Nordic Journal of Philosophical Logic 6 (1):43-70.
Phil Corkum (forthcoming). Is Aristotle's Syllogistic a Logic? History and Philosophy of Logic.
Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21 (3):365-391.
William J. Rapaport (1988). Syntactic Semantics: Foundations of Computational Natural Language Understanding. In James H. Fetzer (ed.), Aspects of AI. Kluwer.
Analytics
Monthly downloads |
Added to index2011-03-03Total downloads35 ( #34,138 of 549,087 )Recent downloads (6 months)2 ( #37,333 of 549,087 )How can I increase my downloads? |
My notes
Discussion
