Daniel Rönnedal
Stockholm University
The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any propositional quantifiers. Then, I will show how these systems can be extended by a couple of propositional quantifiers. I will use a kind of TxW semantics to describe the systems semantically and semantic tableaux to describe them syntactically. Every system will include a constant · that stands for The Good. ‘·’ is read as ‘The Good is realised’. All systems that contain the propositional quantifiers will also include a constant '*' that stands for The Moral Law. '*' is read as ‘The Moral Law is fulfilled’. I will prove that all systems (without the propositional quantifiers) are sound and complete with respect to their semantics and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v17i1.5674
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,118
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.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Agency and Deontic Logic.John F. Horty - 2001 - Oxford University Press.

View all 63 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Quantified Temporal Alethic-Deontic Logic.Daniel Rönnedal - 2014 - Logic and Logical Philosophy 24 (1):19-59.
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83.
Bimodal Logic.Daniel Rönnedal - 2012 - Polish Journal of Philosophy 6 (2):71-93.
Doxastic Logic: A New Approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.
Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.
A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
Quantifiers as Modal Operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.
Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized Quantifiers and Modal Logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.


Added to PP index

Total views
10 ( #798,862 of 2,324,551 )

Recent downloads (6 months)
10 ( #66,199 of 2,324,551 )

How can I increase my downloads?


My notes