Before refraining: Concepts for agency [Book Review]

Erkenntnis 34 (2):137 - 169 (1991)
A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00385718
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,813
Through your library
References found in this work BETA
The Nature of Necessity.Alvin Plantinga - 1974 - Clarendon Press.
Papers on Time and Tense.A. N. Prior - 1968 - Oxford University Press.
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.

View all 16 references / Add more references

Citations of this work BETA
Branching Space-Time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.
The Way of the Agent.Nuel Belnap & Michael Perloff - 1992 - Studia Logica 51 (3-4):463 - 484.
Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.

View all 15 citations / Add more citations

Similar books and articles
Undivided and Indistinguishable Histories in Branching-Time Logics.Alberto Zanardo - 1998 - Journal of Logic, Language and Information 7 (3):297-315.
Propositional Q-Logic.Wölfl Stefan - 2002 - Journal of Philosophical Logic 31 (5):387-414.
On the Basic Logic of STIT with a Single Agent.Ming Xu - 1995 - Journal of Symbolic Logic 60 (2):459-483.
Stit and the Language of Agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
Refraining and the External.Brandon Johns - 2009 - Ratio 22 (2):206-215.
Doing and Refraining From Refraining.Ming Xu - 1994 - Journal of Philosophical Logic 23 (6):621 - 632.
Added to PP index

Total downloads
25 ( #210,314 of 2,202,698 )

Recent downloads (6 months)
2 ( #150,076 of 2,202,698 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature