The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms.
The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally.
Correia is full professor of analytic philosophy at the University of Geneva. He defended his PhD thesis at the University of Geneva in 2002. After four years as a postdoc at the Universitat Rovira I Virgili in Tarragona (Spain) and a member of the LOGOS research group at the University of Barcelona, he came back to the University of Geneva with a Swiss National Science Foundation professorship. He then joined the Philosophy Institute at the University of Neuchâtel five years later, in 2012, where he occupied the chair of logic and contemporary philosophy, and moved to his current position in 2017. He has been the principal investigator of ten distinct research projects, including seven Swiss National Science Foundation projects two modules of Marie (Skłodowska-)Curie ITN projects, which covered or currently cover topics such as time, essence, existence, identity and grounding. Correia specialises in metaphysics and philosophical logic, and has published numerous papers in these areas, as well as two books (one co-authored with Sven Rosenkranz) and two volumes (both co-edited).
Rosenkranz is ICREA Research Professor at the University of Barcelona. After award of his PhD from the University of St Andrews in 1999, he spent one year as postdoctoral research fellow at the Instituto de Investigaciones Filosóficas, UNAM, before taking up his post as Assistant Professor at FU Berlin in 2000. He completed his habilitation (senior doctorate) in 2005, and from 2005 until 2008, he was Heisenberg Fellow of the Deutsche Forschungsgemeinschaft. He joined ICREA and the University of Barcelona in December 2008. From 2010 until 2013 Rosenkranz coordinated the FP7 Marie Curie ITN on Perspectival Thoughts and Facts, the first of its kind exclusively in analytic philosophy. From 2014 until 2017, he was PI of the research project on Fallibility, Rational Belief and Knowledge, financed by the Spanish Ministry of Economy. He is currently coordinator of the Consolidated Research Group LOGOS at the University of Barcelona, and of the Horizon 2020 European Training Network Diaphora that focuses on the hardness of philosophical problems and the nature and extent of peer disagreement about their solutions. Rosenkranz specialises in metaphysics (realism, philosophy of time) and epistemology (agnosticism, fallibility, justification) and has written various articles and book chapters on issues in these areas, published with internationally renowned scientific journals and publishing houses.