Dialectica (forthcoming)

Authors
Hanoch Ben-Yami
Central European University
Abstract
The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined.
Keywords Quantified Argument Calculus  Natural Logic  formalisation of Natural Language arguments  conjunctive predicates  comparative adjectives  defining clauses  comparative quantifiers  negative nouns
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 | Other versions
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

On Referring.P. F. Strawson - 1950 - Mind 59 (235):320-344.

View all 22 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
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.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
Logic and Common Nouns.Peter M. Simons - 1978 - Analysis 38 (4):161 - 167.
Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
Inclusion and Exclusion in Natural Language.Thomas F. Icard - 2012 - Studia Logica 100 (4):705-725.
Full Lambek Calculus in Natural Deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.
An Analytic Tableau System for Natural Logic.Reinhard Muskens - 2010 - In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104-113.
Order-Based Inference in Natural Logic.Yaroslav Fyodorov, Yoad Winter & Nissim Francez - 2003 - Logic Journal of the IGPL 11 (4):385-416.

Analytics

Added to PP index
2020-10-05

Total views
175 ( #60,174 of 2,448,744 )

Recent downloads (6 months)
65 ( #9,549 of 2,448,744 )

How can I increase my downloads?

Downloads

My notes