Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions
Mind 118 (469):71-100 (2009)
AbstractIn philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators
Similar books and articles
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
The Logic of Necessity in Aristotle--an Outline of Approaches to the Modal Syllogistic, Together with a General Account of de dicto - and de re -Necessity.Ulrich Nortmann - 2002 - History and Philosophy of Logic 23 (4):253-265.
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Added to PP
Historical graph of downloads
Citations of this work
Non‐Classical Knowledge.Ethan Jerzak - 2019 - Philosophy and Phenomenological Research 98 (1):190-220.
How to express self-referential probability. A Kripkean proposal.Catrin Campbell-Moore - 2015 - Review of Symbolic Logic 8 (4):680-704.
Belief, Truth, and Ways of Believing.Johannes Stern - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox.
Deontic modals and hyperintensionality.Federico L. G. Faroldi - 2019 - Logic Journal of the IGPL 27 (4):387-410.