Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Old Foundations for the Logic of Agency and Action

Lennart Aqvist
Studia Logica: An International Journal for Symbolic Logic
Vol. 72, No. 3 (Dec., 2002), pp. 313-338
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016470
Page Count: 26
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Old Foundations for the Logic of Agency and Action
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[313]
    [313]
  • Thumbnail: Page 
314
    314
  • Thumbnail: Page 
315
    315
  • Thumbnail: Page 
316
    316
  • Thumbnail: Page 
317
    317
  • Thumbnail: Page 
318
    318
  • Thumbnail: Page 
319
    319
  • Thumbnail: Page 
320
    320
  • Thumbnail: Page 
321
    321
  • Thumbnail: Page 
322
    322
  • Thumbnail: Page 
323
    323
  • Thumbnail: Page 
324
    324
  • Thumbnail: Page 
325
    325
  • Thumbnail: Page 
326
    326
  • Thumbnail: Page 
327
    327
  • Thumbnail: Page 
328
    328
  • Thumbnail: Page 
329
    329
  • Thumbnail: Page 
330
    330
  • Thumbnail: Page 
331
    331
  • Thumbnail: Page 
332
    332
  • Thumbnail: Page 
333
    333
  • Thumbnail: Page 
334
    334
  • Thumbnail: Page 
335
    335
  • Thumbnail: Page 
336
    336
  • Thumbnail: Page 
337
    337
  • Thumbnail: Page 
338
    338