Obligation and the conditional in stit theory
Studia Logica 72 (3):339-362 (2002)
| Abstract | In this paper, we consider two different ways in which modus-ponens type reasoning with conditional obligations may be formalized. We develop necessary and sufficient conditions for the validity of each, and make some philosophical observations about the differences between the minor premises that each formalization requires. All this is done within the context of the Belnap-Perloff stit theory. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
Heinrich Wansing (2006). Doxastic Decisions, Epistemic Justification, and the Logic of Agency. Philosophical Studies 128 (1):201 - 227.
John F. Horty & Nuel Belnap (1995). The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation. Journal of Philosophical Logic 24 (6):583 - 644.
Ming Xu (forthcoming). Combinations of Stit and Actions. Journal of Logic, Language and Information.
Henry Markovits (2000). A Mental Model Analysis of Young Children's Conditional Reasoning with Meaningful Premises. Thinking and Reasoning 6 (4):335 – 347.
Nicholas Asher & Daniel Bonevac (1996). Prima Facie Obligation. Studia Logica 57 (1):19-45.
Philippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4).
Daniel Bonevac (1998). Against Conditional Obligation. Noûs 32 (1):37-53.
Ming Xu (1995). On the Basic Logic of STIT with a Single Agent. Journal of Symbolic Logic 60 (2):459-483.
Michael Perloff (1991). Stit and the Language of Agency. Synthese 86 (3):379 - 408.
Monthly downloads |
Added to index2009-01-28Total downloads11 ( #100,810 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |

