Nuel Belnap on indeterminism and free action / / edited by Thomas Müller.
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. Phi...
Saved in:
Superior document: | Outstanding Contributions to Logic, |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2014. |
Year of Publication: | 2014 |
Edition: | 1st ed. 2014. |
Language: | English |
Series: | Outstanding Contributions to Logic,
2 |
Physical Description: | 1 online resource (vi, 411 pages) :; illustrations. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993547718904498 |
---|---|
ctrlnum |
(CKB)3710000000094967 (SSID)ssj0001187397 (PQKBManifestationID)11675264 (PQKBTitleCode)TC0001187397 (PQKBWorkID)11257108 (PQKB)10100215 (OCoLC)875905355 (MiAaPQ)EBC3071471 (DE-He213)978-3-319-01754-9 (MiAaPQ)EBC6422626 (Au-PeEL)EBL6422626 (EXLCZ)993710000000094967 |
collection |
bib_alma |
record_format |
marc |
spelling |
Nuel Belnap on indeterminism and free action / edited by Thomas Müller. 1st ed. 2014. Cham : Springer International Publishing : Imprint: Springer, 2014. 1 online resource (vi, 411 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file rda Outstanding Contributions to Logic, 2211-2758 Includes bibliographical references at the end of each chapters. Also available in print form. English Introduction: The many branches of Belnap’s knowledge; Müller, 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”; Øhrstrøm, 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 Belnap’s 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. 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. Creative Commons Attribution-NonCommercial-2.0 Generic CC BY-NC 2.0 https://creativecommons.org/licenses/by-nc/2.0/legalcode Description based on print version record; resource not viewed. Unrestricted online access star Belnap, Nuel, 1930- Free will and determinism. Philosophy, American 20th century. Belnap, Nuel D., 1930- Belnap, Nuel D., 1930- gnd (DE-588)118974114 Print version: 9783319017532 Müller, Thomas. editor. edt http://id.loc.gov/vocabulary/relators/edt Outstanding Contributions to Logic, 2211-2758 ; 2 |
language |
English |
format |
eBook |
author2 |
Müller, Thomas. Müller, Thomas. |
author_facet |
Müller, Thomas. Müller, Thomas. |
author2_variant |
t m tm t m tm |
author2_role |
HerausgeberIn HerausgeberIn |
author_sort |
Müller, Thomas. |
title |
Nuel Belnap on indeterminism and free action / |
spellingShingle |
Nuel Belnap on indeterminism and free action / Outstanding Contributions to Logic, Introduction: The many branches of Belnap’s knowledge; Müller, 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”; Øhrstrøm, 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 Belnap’s 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. |
title_full |
Nuel Belnap on indeterminism and free action / edited by Thomas Müller. |
title_fullStr |
Nuel Belnap on indeterminism and free action / edited by Thomas Müller. |
title_full_unstemmed |
Nuel Belnap on indeterminism and free action / edited by Thomas Müller. |
title_auth |
Nuel Belnap on indeterminism and free action / |
title_new |
Nuel Belnap on indeterminism and free action / |
title_sort |
nuel belnap on indeterminism and free action / |
series |
Outstanding Contributions to Logic, |
series2 |
Outstanding Contributions to Logic, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2014 |
physical |
1 online resource (vi, 411 pages) : illustrations. Also available in print form. |
edition |
1st ed. 2014. |
contents |
Introduction: The many branches of Belnap’s knowledge; Müller, 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”; Øhrstrøm, 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 Belnap’s 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. |
isbn |
9783319017532 |
issn |
2211-2758 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
B - Philosophy |
callnumber-label |
B945 |
callnumber-sort |
B 3945 N84 42014EB |
era_facet |
1930- 20th century. |
illustrated |
Illustrated |
dewey-hundreds |
100 - Philosophy & psychology |
dewey-tens |
120 - Epistemology |
dewey-ones |
123 - Determinism & indeterminism |
dewey-full |
123.5 |
dewey-sort |
3123.5 |
dewey-raw |
123.5 |
dewey-search |
123.5 |
oclc_num |
875905355 |
work_keys_str_mv |
AT mullerthomas nuelbelnaponindeterminismandfreeaction |
status_str |
c |
ids_txt_mv |
(CKB)3710000000094967 (SSID)ssj0001187397 (PQKBManifestationID)11675264 (PQKBTitleCode)TC0001187397 (PQKBWorkID)11257108 (PQKB)10100215 (OCoLC)875905355 (MiAaPQ)EBC3071471 (DE-He213)978-3-319-01754-9 (MiAaPQ)EBC6422626 (Au-PeEL)EBL6422626 (EXLCZ)993710000000094967 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Outstanding Contributions to Logic, |
hierarchy_sequence |
2 |
is_hierarchy_title |
Nuel Belnap on indeterminism and free action / |
container_title |
Outstanding Contributions to Logic, |
author2_original_writing_str_mv |
noLinkedField noLinkedField |
_version_ |
1797653598204592129 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05363cam a22006493i 4500</leader><controlfield tag="001">993547718904498</controlfield><controlfield tag="005">20240424225717.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr#mn#nnn|||||</controlfield><controlfield tag="008">140321s2014 sz a o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="q">(eBook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="q">(eBook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="q">(hardback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="q">(hardback)</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-01754-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)3710000000094967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(SSID)ssj0001187397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PQKBManifestationID)11675264</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PQKBTitleCode)TC0001187397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PQKBWorkID)11257108</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PQKB)10100215</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)875905355</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC3071471</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-319-01754-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6422626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6422626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)993710000000094967</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield><subfield code="d">UkMaJRU</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">B945</subfield><subfield code="b">.N84 2014eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">HPL</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">123.5</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Nuel Belnap on indeterminism and free action /</subfield><subfield code="c">edited by Thomas Müller.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2014.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2014.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (vi, 411 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Outstanding Contributions to Logic,</subfield><subfield code="x">2211-2758</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Also available in print form.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Introduction: The many branches of Belnap’s knowledge; Müller, 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”; Øhrstrøm, 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 Belnap’s 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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="540" ind1=" " ind2=" "><subfield code="a">Creative Commons Attribution-NonCommercial-2.0 Generic</subfield><subfield code="f">CC BY-NC 2.0</subfield><subfield code="u">https://creativecommons.org/licenses/by-nc/2.0/legalcode</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record; resource not viewed.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Belnap, Nuel,</subfield><subfield code="d">1930-</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Free will and determinism.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Philosophy, American</subfield><subfield code="y">20th century.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Belnap, Nuel D.,</subfield><subfield code="d">1930-</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Belnap, Nuel D.,</subfield><subfield code="d">1930-</subfield><subfield code="2">gnd</subfield><subfield code="0">(DE-588)118974114</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">9783319017532</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Müller, Thomas.</subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Outstanding Contributions to Logic,</subfield><subfield code="x">2211-2758 ;</subfield><subfield code="v">2</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-04-26 02:57:34 Europe/Vienna</subfield><subfield code="d">00</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2014-04-05 23:31:26 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5338658190004498&Force_direct=true</subfield><subfield code="Z">5338658190004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338658190004498</subfield></datafield></record></collection> |