The Resource Nuel Belnap on indeterminism and free action, edited by Thomas Muller

Nuel Belnap on indeterminism and free action, edited by Thomas Muller

Label
Nuel Belnap on indeterminism and free action
Title
Nuel Belnap on indeterminism and free action
Statement of responsibility
edited by Thomas Muller
Contributor
Editor
Subject
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
123/.5
Illustrations
illustrations
Index
no index present
Language note
English
LC call number
B945
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1961-
http://library.link/vocab/relatedWorkOrContributorName
Müller, Thomas
Series statement
Outstanding contributions to logic
Series volume
volume 2
http://library.link/vocab/subjectName
  • Belnap, Nuel D
  • Free will and determinism
  • Philosophy, American
  • Mathematics and science
  • Science: general issues
  • Droit
  • Sciences sociales
  • Sciences humaines
  • Free will and determinism
  • Philosophy, American
Label
Nuel Belnap on indeterminism and free action, edited by Thomas Muller
Instantiates
Publication
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 s̀eeing 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
Control code
875905355
Dimensions
unknown
Extent
1 online resource (410 pages)
File format
unknown
Form of item
online
Isbn
9783319017532
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-01754-9
Other physical details
42 black and white illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)875905355
Label
Nuel Belnap on indeterminism and free action, edited by Thomas Muller
Publication
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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 s̀eeing 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
Control code
875905355
Dimensions
unknown
Extent
1 online resource (410 pages)
File format
unknown
Form of item
online
Isbn
9783319017532
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-01754-9
Other physical details
42 black and white illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)875905355

Library Locations

  • Ellis LibraryBorrow it
    1020 Lowry Street, Columbia, MO, 65201, US
    38.944491 -92.326012
  • Engineering Library & Technology CommonsBorrow it
    W2001 Lafferre Hall, Columbia, MO, 65211, US
    38.946102 -92.330125
  • Fisher Delta Research CenterBorrow it
    2-64 Agricultural Bldg, Columbia, MO, 65201, US
    38.958397 -92.303491
  • Geological Sciences LibraryBorrow it
    201 Geological Sciences, Columbia, MO, 65211, US
    38.947375 -92.329062
  • J. Otto Lottes Health Sciences LibraryBorrow it
    1 Hospital Dr, Columbia, MO, 65201, US
    38.939544 -92.328377
  • Journalism LibraryBorrow it
    102 Reynolds Jrnlism Institute, Columbia, MO, 65211, US
    38.947290 -92.328025
  • Mathematical Sciences LibraryBorrow it
    104 Ellis Library, Columbia, MO, 65201, US
    38.944377 -92.326537
  • University ArchivesBorrow it
    Columbia, MO, 65201, US
  • University Archives McAlester AnnexBorrow it
    703 Lewis Hall, Columbia, MO, 65211, US
    38.934630 -92.342290
  • University of Missouri Libraries DepositoryBorrow it
    2908 Lemone Blvd, Columbia, MO, 65211, US
    38.919360 -92.291620
  • Zalk Veterinary Medical LibraryBorrow it
    Veterinary Medicine West, Columbia, MO, 65211, US
    38.941099 -92.317911
Processing Feedback ...