Synthese:1-36 (forthcoming)

Hanoch Ben-Yami
Central European University
The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus, a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the ‘there is’ construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic.
Keywords Modal logic  Quantification  Quantified Argument Calculus  Barcan formulas  Necessary existence
Categories (categorize this paper)
DOI 10.1007/s11229-020-02771-4
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: 62,481
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

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford University Press.
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
The Objects of Thought.Tim Crane - 2013 - Oxford: Oxford University Press.

View all 28 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.
Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
Probability: A New Logico-Semantical Approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Michael Frauchiger (ed.), Themes From Barcan Marcus. Ontos Verlag. pp. 51-74.
The Translation of First Order Logic Into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
The Necessity of Modal Logic S5 is Metalogical.Zdzislaw Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Deciding the Unguarded Modal -Calculus.Oliver Friedmann & Martin Lange - 2013 - Journal of Applied Non-Classical Logics 23 (4):353-371.


Added to PP index

Total views
177 ( #58,721 of 2,446,240 )

Recent downloads (6 months)
34 ( #21,342 of 2,446,240 )

How can I increase my downloads?


My notes