Table of contents

  1. Front Matter
    Pages i-vi
  2. Thomas Müller
    Pages 1-28 Open Access
  3. Paul Bartha
    Pages 29-56 Open Access
  4. Nuel Belnap
    Pages 57-74 Open Access
  5. Mark A. Brown
    Pages 99-121 Open Access
  6. James W. Garson
    Pages 123-145 Open Access
  7. Mitchell Green
    Pages 147-158 Open Access
  8. Tomasz Placek
    Pages 191-221 Open Access
  9. Martin Pleitz, Niko Strobach
    Pages 277-290 Open Access
  10. Johan van Benthem, Eric Pacuit
    Pages 291-314 Open Access
  11. Daniel Vanderveken
    Pages 315-341 Open Access
  12. Ming Xu
    Pages 343-376 Open Access
  13. Nuel Belnap
    Pages 377-409 Open Access

About this book


This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.

Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.

In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” (stit) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap.


Action to free will Action with non-determinate effect Analysis of propositional contents of attitudes Assertion problem BST structures and structures of FTA BST with a new PCP Basic Theory of Possible Ancestry Branching Time and Ontic Frugality CIFOL+ and elementary ranges Core features of Ockhamist branching time Fields and Outcomes Bordering Fields Future-directed speech acts How to generalize BST1992 Intuitionistic Logic Logical Frameworks for Agency Modeling indeterminacy of action Open Future Semantics Stit Frames Syntax and semantics Thin Red Line theory branching time case-relative truth in CIFOL+ concept of case relative truth concepts of speech act theory decision theory and deontic logic modal realism objection

Editors and affiliations

  • Thomas Müller
    • 1
  1. 1.Universiteit Utrecht Dept. WijsbegeerteUtrechtThe Netherlands

Bibliographic information