Outstanding Contributions to Logic
Open Access This content is freely available online to anyone, anywhere at any time.

Nuel Belnap on Indeterminism and Free Action

Editors: Müller, Thomas (Ed.)

  • Open Access: this content is freely downloadable as an eBook!
  • Celebrates the important contributions made in the areas of indeterminism and free action by Nuel Belnap, American logician and philosopher
  • Includes an introduction to case-intensional first order logic (CIFOL), a recent research focus of Belnap’s, as reflected in his own contribution to this volume​
see more benefits

Buy this book

eBook  
  • ISBN 978-3-319-01754-9
  • This book is an open access book, you can download it for free on link.springer.com
Hardcover $59.99
price for USA
  • ISBN 978-3-319-01753-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $59.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: October 20, 2016
  • ISBN 978-3-319-34945-9
  • Free shipping for individuals worldwide
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.

Table of contents (17 chapters)

  • Introduction: The Many Branches of Belnap’s Logic

    Müller, Thomas

    Pages 1-28

  • Decisions in Branching Time

    Bartha, Paul

    Pages 29-56

  • Internalizing Case-Relative Truth in CIFOL $$+$$

    Belnap, Nuel

    Pages 57-74

  • A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes

    Broersen, Jan

    Pages 75-98

  • Worlds Enough, and Time: Musings on Foundations

    Brown, Mark A.

    Pages 99-121

Buy this book

eBook  
  • ISBN 978-3-319-01754-9
  • This book is an open access book, you can download it for free on link.springer.com
Hardcover $59.99
price for USA
  • ISBN 978-3-319-01753-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $59.99
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: October 20, 2016
  • ISBN 978-3-319-34945-9
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Nuel Belnap on Indeterminism and Free Action
Editors
  • Thomas Müller
Series Title
Outstanding Contributions to Logic
Series Volume
2
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and the Author(s)
eBook ISBN
978-3-319-01754-9
DOI
10.1007/978-3-319-01754-9
Hardcover ISBN
978-3-319-01753-2
Softcover ISBN
978-3-319-34945-9
Series ISSN
2211-2758
Edition Number
1
Number of Pages
VI, 409
Number of Illustrations and Tables
42 b/w illustrations
Topics