Review of Symbolic Logic 7 (1):120-146 (2014)

Hanoch Ben-Yami
Central European University
I develop a formal logic in which quantified arguments occur in argument positions of predicates. This logic also incorporates negative predication, anaphora and converse relation terms, namely, additional syntactic features of natural language. In these and additional respects, it represents the logic of natural language more adequately than does any version of Frege’s Predicate Calculus. I first introduce the system’s main ideas and familiarize it by means of translations of natural language sentences. I then develop a formal system built on these principles, the Quantified Argument Calculus or Quarc. I provide a truth-value assignment semantics and a proof system for the Quarc. I next demonstrate the system’s power by a variety of proofs; I prove its soundness; and I comment on its completeness. I then extend the system to modal logic, again providing a proof system and a truth-value assignment semantics. I proceed to show how the Quarc versions of the Barcan formulas, of their converses and of necessary existence come out straightforwardly invalid, which I argue is an advantage of the modal Quarc over modal Predicate Logic as a system intended to capture the logic of natural language.
Keywords Logic of Natural Language  Quantification  Quantified Modal Logic  Aristotelian Logic  Anaphora  Barcan Formulas
Categories (categorize this paper)
Reprint years 2014
DOI 10.1017/s1755020313000373
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,959
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.Peter F. Strawson - 1950 - Mind 59 (235):320-344.
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.
Introduction to Logical Theory.Arthur Smullyan - 1954 - Philosophical Review 63 (1):117.
Quantifiers and Relative Clauses I.Gareth Evans - 1977 - Canadian Journal of Philosophy 7 (3):467-536.

View all 18 references / Add more references

Citations of this work BETA

Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.

View all 7 citations / Add more citations

Similar books and articles

A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
Investigations Into Quantified Modal Logic.Yannis Stephanou - 2002 - Notre Dame Journal of Formal Logic 43 (4):193-220.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Ockhamism and Quantified Modal Logic.Andrea Iacona - 2015 - Logique Et Analyse 58:353-370.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
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.
Labelled Modal Logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Plural Quantification Logic: A Critical Appraisal.Hanoch Ben-Yami - 2009 - Review of Symbolic Logic 2 (1):208-232.
A Modal Interpretation of the Logic of Interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.


Added to PP index

Total views
115 ( #101,514 of 2,504,598 )

Recent downloads (6 months)
1 ( #416,529 of 2,504,598 )

How can I increase my downloads?


My notes