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)|
|Through your library||Configure|
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.
Sven Ove Hansson (1997). Situationist Deontic Logic. Journal of Philosophical Logic 26 (4):423-448.
Krister Segerberg (1992). Action Incompleteness. Studia Logica 51 (3-4):533 - 550.
F. Dignum, J. -J. Ch Meyer & R. J. Wieringa (1996). Free Choice and Contextually Permitted Actions. Studia Logica 57 (1):193 - 220.
Churn-Jung Liau (2001). A Logical Analysis of the Relationship Between Commitment and Obligation. Journal of Logic, Language and Information 10 (2):237-261.
Allard Tamminga (2013). Deontic Logic for Strategic Games. Erkenntnis 78 (1):183-200.
Krister Segerberg (1984). A Topological Logic of Action. Studia Logica 43 (4):415 - 419.
Krister Segerberg (2012). DΔL: A Dynamic Deontic Logic. Synthese 185 (S1):1-17.
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 downloads22 ( #64,741 of 1,012,312 )
Recent downloads (6 months)1 ( #64,700 of 1,012,312 )
How can I increase my downloads?