De jure and de facto validity in the logic of time and modality

Leuenberger, S. (2013) De jure and de facto validity in the logic of time and modality. Thought: A Journal of Philosophy, 2(3), pp. 196-205. (doi: 10.1002/tht3.76)

89868.pdf - Published Version
Available under License Creative Commons Attribution.


Publisher's URL:


What formulas are tense-logically valid depends on the structure of time, for example on whether it has a beginning. Logicians have investigated what formulas correspond to what physical hypotheses about time. Analogously, we can investigate what formulas of modal logic correspond to what metaphysical hypotheses about necessity. It is widely held that physical hypotheses about time may be contingent. If so, tense-logical validity may be contingent. In contrast, validity in modal logic is typically taken to be non-contingent, as reflected by the general acceptance of the so-called “rule of necessitation.” But as has been argued by various authors in recent years, metaphysical hypotheses may likewise be contingent. If, in particular, hypotheses about the extent of possibility are contingent, we should expect modal-logical validity to be contingent too. Let “contingentism” be the view that everything that is not ruled out by logic is possible. I shall investigate what the right system of modal logic is, if contingentism is true. Given plausible assumptions, the system contains the McKinsey principle, and is thus not even contained in S5. It also contains simple and elegant iteration principles for the contingency operator: something is contingent if and only if it is contingently contingent.

Item Type:Articles
Keywords:contingentism; validity; tense logic; modal logic; McKinsey; S5
Glasgow Author(s) Enlighten ID:Leuenberger, Professor Stephan
Authors: Leuenberger, S.
College/School:College of Arts > School of Humanities > Philosophy
Journal Name:Thought: A Journal of Philosophy
Copyright Holders:Copyright © 2013 The Author
First Published:First published in Thought: A Journal of Philosophy 2(3):196-205
Publisher Policy:Reproduced under a Creative Commons License

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
572551The Contingency of ContingencyStephan LeuenbergerArts and Humanities Research Council (AHRC)AH/J004189/1HU - PHILOSOPHY