David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 41 (2-3):269 - 282 (1982)
The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
Hans Kamp (1973). Free Choice Permission. Proceedings of the Aristotelian Society 74:57 - 74.
Helena Rasiowa (1963). The Mathematics of Metamathematics. Warszawa, Państwowe Wydawn. Naukowe.
Imre Ruzsa (1976). Semantics for Von Wright's Latest Deontic Logic. Studia Logica 35 (3):297 - 314.
S. K. Thomason (1972). Review: J. R. Shoenfield, Ernest Nagel, Patrick Suppes, Alfred Tarski, Some Applications of Degrees. [REVIEW] Journal of Symbolic Logic 37 (3):610-610.
Citations of this work BETA
P. D'Altan, J.-J. Ch Meyer & R. J. Wieringa (1996). An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artificial Intelligence and Law 4 (2):77-111.
Gert -Jan C. Lokhorst (1996). Reasoning About Actions and Obligations in First-Order Logic. Studia Logica 57 (1):221 - 237.
Similar books and articles
Jarek Gryz (2011). On the Relationship Between the Aretaic and the Deontic. Ethical Theory and Moral Practice 14 (5):493-501.
Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
Allard Tamminga (2013). Deontic Logic for Strategic Games. Erkenntnis 78 (1):183-200.
Churn-Jung Liau (2001). A Logical Analysis of the Relationship Between Commitment and Obligation. Journal of Logic, Language and Information 10 (2):237-261.
F. Dignum, J. -J. Ch Meyer & R. J. Wieringa (1996). Free Choice and Contextually Permitted Actions. Studia Logica 57 (1):193 - 220.
Krister Segerberg (1992). Action Incompleteness. Studia Logica 51 (3-4):533 - 550.
Sven Ove Hansson (1997). Situationist Deontic Logic. Journal of Philosophical Logic 26 (4):423-448.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Added to index2009-01-28
Total downloads23 ( #78,091 of 1,099,560 )
Recent downloads (6 months)1 ( #300,754 of 1,099,560 )
How can I increase my downloads?