In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104-113 (2010)

Authors
Reinhard Muskens
University of Amsterdam
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 Natural Logic  Tableau Systems
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Upload history
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
Meaning and Partiality.Reinhard Muskens - 1989 - Dissertation, University of Amsterdam
Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Linguistics and Natural Logic.George Lakoff - 1970 - Synthese 22 (1-2):151 - 271.
A 'Natural Logic' Inference System Using the Lambek Calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Monotonicity in Practical Reasoning.Kenneth G. Ferguson - 2003 - Argumentation 17 (3):335-346.
Fragments of Language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
Sorting Out the Sorites.David Ripley - 2013 - In Francesco Berto, Edwin Mares & Koji Tanaka (eds.), Paraconsistency: Logic and Applications. pp. 329-348.
Wie Natürlich Ist Das System der Natürlichen Deduktion?Roger Schmit - 2004 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 35 (1):129-145.
Logic After Wittgenstein.Paul Tomassi - 2001 - Nordic Journal of Philosophical Logic 6 (1):43-70.
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.

Analytics

Added to PP index
2011-03-03

Total views
116 ( #77,850 of 2,333,957 )

Recent downloads (6 months)
11 ( #53,802 of 2,333,957 )

How can I increase my downloads?

Downloads

My notes