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.

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
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