Berislav Žarnić
University Zagreb
In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections.
Keywords Barcan formula   contingentism   imperative logic  neccessitism  quantified modal logic
Categories (categorize this paper)
Buy the book Find it on
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

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Mathematical Logic Quarterly 38 (1):491-499.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
Bare Possibilia.Timothy Williamson - 1998 - Erkenntnis 48 (2-3):257--73.
Incompleteness and the Barcan Formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Prelude to a Socio-Logic of Imperatives.Berislav Žarnić - 2011 - European Journal of Analytic Philosophy 7 (2):6-16.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
Contingent Objects and the Barcan Formula.Reina Hayaki - 2006 - Erkenntnis 64 (1):75 - 83.
The Universe of Discourse of Modal Logic.Anne Preller - 1996 - Journal of Applied Non-Classical Logics 6 (2):137-147.
Prior, Berkeley, and the Barcan Formula.James Levine - 2016 - Synthese 193 (11):3551-3565.
Modalities: Philosophical Essays.Ruth Barcan Marcus - 1961 - New York, NY, USA: Oxford University Press.


Added to PP index

Total views
72 ( #150,533 of 2,455,354 )

Recent downloads (6 months)
6 ( #117,501 of 2,455,354 )

How can I increase my downloads?


My notes