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, specifi...

Cur síos iomlán

Sábháilte in:
Sonraí bibleagrafaíochta
Rannpháirtithe: Müller, Thomas (Eagarthóir)
Formáid: Caibidil leabhair
Foilsithe / Cruthaithe: Springer Nature 2014
Ábhair:
Rochtain ar líne:Get Fullteks
DOAB: description of the publication
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
LEADER 02798naaaa2200349uu 4500
001 doab_20_500_12854_31336
020 |a 978-3-319-01754-9 
020 |a 9783319017549 
024 7 |a 10.1007/978-3-319-01754-9  |c doi 
041 0 |a English 
042 |a dc 
072 7 |a PD  |2 bicssc 
100 1 |a Müller, Thomas  |4 edt 
700 1 |a Müller, Thomas  |4 oth 
245 1 0 |a Nuel Belnap on Indeterminism and Free Action 
260 |b Springer Nature  |c 2014 
300 |a 1 electronic resource (411 p.) 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a 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. 
540 |a Creative Commons  |f https://creativecommons.org/licenses/by-nc/2.0/  |2 cc  |4 https://creativecommons.org/licenses/by-nc/2.0/ 
546 |a English 
650 7 |a Science: general issues  |2 bicssc 
653 |a logic 
653 |a logic 
653 |a British Summer Time 
653 |a If and only if 
653 |a Indeterminism 
653 |a Modal logic 
653 |a Nuel Belnap 
653 |a Semantics 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/20.500.12657/32316/1/612711.pdf  |7 0  |z Get Fullteks 
856 4 0 |a www.oapen.org  |u https://directory.doabooks.org/handle/20.500.12854/31336  |7 0  |z DOAB: description of the publication