Nuel Belnap on Indeterminism and Free Action
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 B
- PDF / 4,653,101 Bytes
- 411 Pages / 453.543 x 683.15 pts Page_size
- 107 Downloads / 181 Views
Thomas Müller Editor
Nuel Belnap on Indeterminism and Free Action
Outstanding Contributions to Logic Volume 2
Editor-in-Chief Sven Ove Hansson, Royal Institute of Technology, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum
For further volumes: http://www.springer.com/series/10033
Thomas Müller Editor
Nuel Belnap on Indeterminism and Free Action
123
Editor Thomas Müller Department of Philosophy Universiteit Utrecht Utrecht The Netherlands
ISSN 2211-2758 ISSN 2211-2766 (electronic) ISBN 978-3-319-01753-2 ISBN 978-3-319-01754-9 (eBook) DOI 10.1007/978-3-319-01754-9 Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2013957706 The Editor(s) (if applicable) and the Author(s) 2014 The book is published with open access at SpringerLink.com. Open Access This book is distributed under the terms of the Creative Commons Attribution Noncommercial License, which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited. All commercial rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for commercial use must always be obtained from Springer. Permissions for commercial use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Contents
Introduction: The Many Branches of Belnap’s Logic . . . . . . . . . . . . . Thomas Müller
1
Decisions in Branching Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paul Bartha
29
Internalizing Case-Relative Truth in CIFOL1 . . . . . . . . . . . . . . . . . . Nuel Belnap
57
A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Jan Broersen
75
Worlds
Data Loading...
