Nuel Belnap on Indeterminism and Free Action

In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics: theories of branching histories, specifically “b...

Whakaahuatanga katoa

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Hōputu: Online
Reo:Ingarihi
I whakaputaina: Springer Nature 2021
Ngā marau:
Urunga tuihono:612711
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
_version_ 1869521175385735168
collection Directory of Open Access Books
description In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics: theories of branching histories, specifically “branching time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and case-intensional first order logic. We also draw some connections to the contributions included in this volume. Abstracts of these contributions are included as an appendix. Nuel Belnap’s work in logic and in philosophy spans a period of over half a century. During this time, he has followed a number of different research lines, most of them over a period of many years or decades, and often in close collaboration with other researchers:1 relevance logic, a long term project starting from a collaboration with Alan Anderson dating back to the late 1950s and continued with Robert Meyer and Michael Dunn into the 1990s; the logic of questions, developed with Thomas Steel in the 1960s and 1970s; display logic in the 1980s and 1990s; the revision theory of truth, with Anil Gupta, in the 1990s; and a long-term, continuing interest in indeterminism and free action. This book is devoted to Belnap’s work on the latter two topics. In this introduction, we provide a brief overview of some of the formal frameworks and methods involved in thatwork, and we drawsome connections to the contributions included in this volume. Abstracts of these contributions are presented in Appendix A.
format Online
id doab-20.500.12854ir-31336
institution Directory of Open Access Books
language eng
publishDate 2021
publishDateRange 2021
publishDateSort 2021
publisher Springer Nature
publisherStr Springer Nature
record_format ojs
spelling doab-20.500.12854ir-313362025-05-08T09:05:21Z Nuel Belnap on Indeterminism and Free Action Müller, Thomas logic logic British Summer Time If and only if Indeterminism Modal logic Nuel Belnap Semantics In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Belnap’s work on these topics: theories of branching histories, specifically “branching time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and case-intensional first order logic. We also draw some connections to the contributions included in this volume. Abstracts of these contributions are included as an appendix. Nuel Belnap’s work in logic and in philosophy spans a period of over half a century. During this time, he has followed a number of different research lines, most of them over a period of many years or decades, and often in close collaboration with other researchers:1 relevance logic, a long term project starting from a collaboration with Alan Anderson dating back to the late 1950s and continued with Robert Meyer and Michael Dunn into the 1990s; the logic of questions, developed with Thomas Steel in the 1960s and 1970s; display logic in the 1980s and 1990s; the revision theory of truth, with Anil Gupta, in the 1990s; and a long-term, continuing interest in indeterminism and free action. This book is devoted to Belnap’s work on the latter two topics. In this introduction, we provide a brief overview of some of the formal frameworks and methods involved in thatwork, and we drawsome connections to the contributions included in this volume. Abstracts of these contributions are presented in Appendix A. 2021-02-10T12:58:18Z 2020-03-18 13:36:15 2020-04-01T14:06:27Z 2016-08-02 23:55 2020-03-18 13:36:15 2020-04-01T14:06:27Z 2016-12-31 23:55:55 2020-03-18 13:36:15 2020-04-01T14:06:27Z 2014 book 612711 OCN: 875905355 http://library.oapen.org/handle/20.500.12657/32316 9783319017549 https://directory.doabooks.org/handle/20.500.12854/31336 eng open access image/jpeg image/jpeg image/jpeg image/jpeg image/jpeg n/a n/a n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf Springer Nature 10.1007/978-3-319-01754-9 10.1007/978-3-319-01754-9 9fa3421d-f917-4153-b9ab-fc337c396b5a FP7 Ideas: European Research Council Nederlandse Organisatie voor Wetenschappelijk Onderzoek 7292b17b-f01a-4016-94d3-d7fb5ef9fb79 9783319017549 European Research Council (ERC) Dutch Research Council (NWO) EU collection 411 276-20-013 263227 open access
spellingShingle logic
logic
British Summer Time
If and only if
Indeterminism
Modal logic
Nuel Belnap
Semantics
Nuel Belnap on Indeterminism and Free Action
title Nuel Belnap on Indeterminism and Free Action
title_full Nuel Belnap on Indeterminism and Free Action
title_fullStr Nuel Belnap on Indeterminism and Free Action
title_full_unstemmed Nuel Belnap on Indeterminism and Free Action
title_short Nuel Belnap on Indeterminism and Free Action
title_sort nuel belnap on indeterminism and free action
topic logic
logic
British Summer Time
If and only if
Indeterminism
Modal logic
Nuel Belnap
Semantics
topic_facet logic
logic
British Summer Time
If and only if
Indeterminism
Modal logic
Nuel Belnap
Semantics
url 612711