Computer ScienceScience & MathematicsEconomics & FinanceBusiness & ManagementPolitics & GovernmentHistoryPhilosophy

Nuel Belnap on Indeterminism and Free Action

by Thomas Müller

Nuel Belnap on Indeterminism and Free Action

Subscribe to new books via dBooks.org telegram channel

Join
DescriptionDetailsReport an issue

Book Description

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.

This open book is licensed under a Creative Commons License (CC BY-NC). You can download Nuel Belnap on Indeterminism and Free Action ebook for free in PDF format (4.7 MB).

Book Details

Title
Nuel Belnap on Indeterminism and Free Action
Subject
Philosophy
Publisher
Springer
Published
2014
Pages
411
Edition
1
Language
English
ISBN13
9783319017532
ISBN10
3319017535
ISBN13 Digital
9783319017549
ISBN10 Digital
3319017543
PDF Size
4.7 MB
License
CC BY-NC

Related Books

Non-Equilibrium Social Science and Policy
The overall aim of this book, an outcome of the European FP7 FET Open NESS project, is to contribute to the ongoing effort to put the quantitative social sciences on a proper footing for the 21st century. A key focus is economics, and its implications on policy making, where the still dominant traditional approach increasingly struggles to capture ...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
Learning Ruby on Rails
Ruby on Rails (RoR), or Rails, is an open-source popular web application framework. Rails uses Ruby, HTML, CSS, and JavaScript to create a web application that runs on a web server. Rails uses the model-view-controller (MVC) pattern and provides a fullstack of libraries from the database all the way to the view. It is an unofficial and free Ruby...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book toget...
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
Programming Languages and Systems
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...