Skip to main content
×
Home

A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL

  • RAN LANZET (a1)
Abstract
Abstract

This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three-valued, model-theoretic semantics for Quarc is presented. Interpretations in this semantics are not equipped with domains of quantification: they are just interpretation functions. This reflects the analysis of natural-language quantification on which Quarc is based. A proof system is presented, and a completeness result is obtained. The logic presented here is capable of straightforward translation of the classical first-order predicate calculus, the translation preserving truth values as well as entailment. The first-order predicate calculus and its devices of quantification can be seen as resulting from Quarc on certain semantic and syntactic restrictions, akin to simplifying assumptions. An analogous, straightforward translation of Quarc into the first-order predicate calculus is impossible.

Copyright
Corresponding author
*DEPARTMENT OF PHILOSOPHY TEL-AVIV UNIVERSITY P.O. BOX 39040 RAMAT AVIV, ISRAEL E-mail: lanzetr@gmail.com
References
Hide All
Aoyama H. (1994). The strong completeness of a system based on Kleene’s strong three-valued logic. Notre Dame Journal of Formal Logic, 35(3), 355368.
Barwise J. & Cooper R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4(2), 159219.
Ben-Yami H. (2004). Logic and Natural Language: On Plural Reference and its Semantic and Logical Significance. Aldershot, Hants: Ashgate.
Ben-Yami H. (2006). A critique of Frege on common nouns. Ratio, 19(2), 148155.
Ben-Yami H. (2014). The quantified argument calculus. The Review of Symbolic Logic, 7(01), 120146.
Francez N. (2014). A logic inspired by natural language quantifiers as subnectors. Journal of Philosophical Logic, 43(6), 11531172.
Geach P. T. (1962). Reference and Generality: An Examination of Some Medieval and Modern Theories. Ithaca, NY: Cornell University Press.
Groenendijk J. & Stokhof M. (1991). Dynamic predicate logic. Linguistics and Philosophy, 14(1), 39100.
Kearns J. T. (1979). The strong completeness of a system for Kleene’s three-valued logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 25(3–6), 6168.
Kneale W. & Kneale M. (1971). The Development of Logic. London: Oxford University Press.
Lanzet R. & Ben-Yami H. (2004). Logical inquiries into a new formal system with plural reference. In Hendricks V., Neuhaus F., Pedersen S. A., Scheffler U., and Wansing H., editors. First-Order Logic Revisited. Berlin: Logos Verlag, pp. 173223.
Moss L. S. (2010). Logics for two fragments beyond the syllogistic boundary. In Blass A., Dershowitz N., and Reisig W., editors. Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday. Berlin: Springer, pp. 538564.
Pratt-Hartmann I. & Moss L. (2009). Logics for the relational syllogistic. Review of Symbolic Logic, 2(4), 647683.
Strawson P. F. (1950). On referring. Mind, 59(235), 320344.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 30 *
Loading metrics...

Abstract views

Total abstract views: 208 *
Loading metrics...

* Views captured on Cambridge Core between 8th May 2017 - 24th November 2017. This data will be updated every 24 hours.