Go to main content

Nuel Belnap on indeterminism and free action / edited by Thomas Muller.

Müller, Thomas, 1961-, editor of compilation.
2014
B945
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite

Linked e-resources

Linked Resource
Online Access

Details

Title
Nuel Belnap on indeterminism and free action / edited by Thomas Muller.
ISBN
9783319017549 electronic book
3319017543 electronic book
9783319017532
3319017535 (print)
9783319017532 (print)
DOI
https://doi.org/10.1007/978-3-319-01754-9
Published
Cham : Springer 2014.
Language
English
Description
1 online resource (410 pages) : 42 black & white illustrations.
Item Number
10.1007/978-3-319-01754-9 doi
Call Number
B945
Dewey Decimal Classification
123/.5
Summary
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 Belnaps work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnaps 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 Belnaps 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 Belnaps. The volume also contains an extended biographical interview with Nuel Belnap.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Müller, Thomas, 1961-, editor of compilation.
Series
Outstanding contributions to logic ; v.2.
Available in Other Form
Nuel Belnap on indeterminism and free action
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Introduction: The many branches of Belnaps knowledge; Mller, Thomas
Decisions in branching time; Bartha; Paul
Internalizing case-relative truth in CIFOL+; Belnap, Nuel
A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes; Broersen, Jan
Worlds Enough, and Time: Musings on Foundations; Brown, Mark
Open Futures in the Foundations of Propositional Logic; Garson, James W
On Saying What Will Be; Green, Mitchell
The Intelligibility Question For Free Will: Agency, Choice And Branching Time; Kane, Robert
What William of Ockham and Luis de Molina would have said to Nuel Belnap: A Discussion of some Arguments Against The Thin Red Line; hrstrm, Peter
Branching for general relativists; Placek, Tomasz
Some examples formulated in a `seeing to it that' logic: Illustrations, observations, problems; Sergot, Marek
In Retrospect: Can BST models be reinterpreted for what decisions, speciation events and ontogeny might have in common?; Strobach, Niko
Theory of Possible Ancestry in the Style of Nuel Belnaps Branching Space-Time; Pleitz, Martin and Strobach, Niko.-Connecting Logics of Choice and Change; van Benthem, Johan and Pacuit, Eric
Intentionality and Minimal Rationality in the Logic of Action; Vanderveken; Daniel
Group Strategies and Independence; Xu, Ming
Interview with Nuel Belnap.

Browse Subjects

Show more subjects...

Statistics

from
to
Export