Beschreibung
This book explores the birth of modern modal logic, which offers a precise formalism for encoding the concepts of possibility and necessity within the fundamental logical formalism and for using them in conjunction with the preexisting set of logical operators. The editors of this volume have translated six foundational articles from the original German and French, three of which have never appeared in English before, and have provided a meticulous commentary on the texts, aiding the reader in understanding the theory. Furthermore, they introduce each article with a contextualization of the authors lives and works, further enriching the collection. The original articles are by Oskar Becker, Mordchaj Wajsberg, Robert Feys, Arnould Bayart, and include the reproduction of an extract from Clarence I. Lewiss A Survey of Symbolic Logic. This book will be of interest to scholars and students interested in the historical origins of modal logic, its later developments and extensions and in deepening their knowledge of the conceptual and technical foundations of this crucial area of the field.
Autorenporträt
Max Cresswell was Emeritus Professor of Philosophy at the Victoria University of Wellington, Wellington, New Zealand. Jacques Riche is a Researcher in Computer Science at the Katholieke Universiteit, Leuven, Belgium.
Herstellerkennzeichnung:
Springer Basel AG in Springer Science + Business Media
Heidelberger Platz 3
14197 Berlin
DE
E-Mail: juergen.hartmann@springer.com
