Old foundations for the logic of agency and action
Studia Logica 72 (3):313-338 (2002)
| Abstract | The paper presents an infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts. A main novelty of these logics is their capacity to represent formally (i) basic action-sentences asserting that such and such an act is performed/omitted by an agent, as well as (ii) causative action-sentences asserting that by performing/omitting a certain act, an agent causes that such and such a state-of-affairs is realized (e.g. comes about/ceases/remains/remains absent). We illustrate how the formal machinery of our systems can be used to reconstruct a number of interesting ideas in the Logic of Agency and Action that have been proposed by authors like von Wright, von Kutschera, Belnap and Segerberg. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn F. Horty (1996). Agency and Obligation. Synthese 108 (2):269 - 307.
Emiliano Lorini (2010). A Dynamic Logic of Agency II: Deterministic Dla {\Mathcal{Dla}} , Coalition Logic, and Game Theory. Journal of Logic, Language and Information 19 (3).
Chris Reed & Timothy J. Norman (2007). A Formal Characterisation of Hamblin's Action-State Semantics. Journal of Philosophical Logic 36 (4):415 - 448.
Elisabeth Pacherie (2007). The Sense of Control and the Sense of Agency. Psyche 13 (1):1 - 30.
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.
Andreas Herzig & Emiliano Lorini (2010). A Dynamic Logic of Agency I: Stit, Capabilities and Powers. Journal of Logic, Language and Information 19 (1).
Beth Huffer (2007). Actions and Outcomes: Two Aspects of Agency. Synthese 157 (2):241 - 265.
Lennart Aqvist (2002). Old Foundations for the Logic of Agency and Action. Studia Logica 72 (3):313 - 338.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #107,683 of 556,803 )Recent downloads (6 months)1 ( #64,847 of 556,803 )How can I increase my downloads? |
My notes
Discussion
