LEADER 02796nam 22004213a 450 001 9910917294303321 005 20250203232213.0 035 $a(CKB)36721483900041 035 $a(ScCtBLL)9014fa7a-432f-42e8-82d8-b6584733ddca 035 $a(OCoLC)1139834720 035 $a(oapen)doab31336 035 $a(EXLCZ)9936721483900041 100 $a20250203i20142019 uu 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aNuel Belnap on Indeterminism and Free Action : $eVolume 2 of Outstanding Contributions to Logic /$fThomas Müller$hVolume 2 210 $cSpringer Nature$d2014 210 1$aLondon :$cSpringer Open,$d2014. 215 $a1 online resource (411 p.) 311 08$a9783319017532 311 08$a3319017535 311 08$a9783319017549 311 08$a3319017543 330 $aThis 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. 606 $aPhilosophy / Logic$2bisacsh 606 $aPhilosophy 615 7$aPhilosophy / Logic 615 0$aPhilosophy. 700 $aMüller$b Thomas$0391224 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910917294303321 996 $aNuel Belnap on Indeterminism and Free Action$94304500 997 $aUNINA