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)
|
Text
89868.pdf - Published Version Available under License Creative Commons Attribution. 587kB |
Publisher's URL: http://dx.doi.org/10.1002/tht3.76
Abstract
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 |
| Status: | Published |
| Refereed: | Yes |
| 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 |
| Publisher: | Wiley |
| ISSN: | 2161-2234 |
| 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
Funder and Project Information
Funder and Project Information