Logic for Contigent Beings

Journal of Philosophical Research 19:273-329 (1994)
  Copy   BIBTEX

Abstract

One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic (QML) can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this problem. In this paper, I review the extant solutions, finding them all wanting. Then I suggest a new solution inspired by Kripke’s theory of rigid designation and Kaplan’s logic of demonstratives, the latter in particular. It turns out that the basic mechanism of Kaplan’s logic can be exploited to yield a version of QML that will serve as a viable logic for contingent beings. This result, as I show, sheds new light on the problems of singular negative existential propositions, the question of actualism, the question of the existence of the contingent a priori, the relation between logical truth and necessity, and various modal problems and paradoxes going back to Chrysippus, Ramsey, and Moore.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Singular Propositions and Modal Logic.Christopher Menzel - 1993 - Philosophical Topics 21 (2):113-148.
The true modal logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Logic and contingent existence.Peter Loptson - 1980 - History and Philosophy of Logic 1 (1-2):171-185.
Axiomatising the Prior Future in Predicate Logic.Max Cresswell - 2013 - Logica Universalis 7 (1):87-101.
Die stoische Modallogik (Stoic Modal Logic).Susanne Bobzien - 1986 - Wuerzburg: Koenigshausen and Neumann.
Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner. pp. 63--84.
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.

Analytics

Added to PP
2011-12-02

Downloads
124 (#135,306)

6 months
2 (#670,035)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harry Deutsch
Illinois State University

Citations of this work

Actualism.Christopher Menzel - 2008 - Stanford Encyclopedia of Philosophy.
Reply to Fine.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):571-583.
Actualism or possibilism?James E. Tomberlin - 1996 - Philosophical Studies 84 (2-3):263 - 281.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references