David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Research 19:273-329 (1994)
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
James E. Tomberlin (1996). Actualism or Possibilism? Philosophical Studies 84 (2-3):263 - 281.
Edward N. Zalta (2006). Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects. Noûs 40 (4):591–622.
Similar books and articles
Christopher Menzel (1993). Singular Propositions and Modal Logic. Philosophical Topics 21 (2):113-148.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
Bernard Linsky & Edward N. Zalta (1994). In Defense of the Simplest Quantified Modal Logic. Philosophical Perspectives 8 (Logic and Language):431-458.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Peter Loptson (1980). Logic and Contingent Existence. History and Philosophy of Logic 1 (1-2):171-185.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Max Cresswell (2013). Axiomatising the Prior Future in Predicate Logic. Logica Universalis 7 (1):87-101.
Susanne Bobzien (1986). Die stoische Modallogik (Stoic Modal Logic). Königshausen & Neumann.
George Boolos (1979). The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
Seiki Akama, Yasunori Nagata & Chikatoshi Yamada (2008). Three-Valued Temporal Logic Q T and Future Contingents. Studia Logica 88 (2):215-231.
Susanne Bobzien (1993). Chrysippus' Modal Logic and Its Relation to Philo and Diodorus. In K. Doering & Th Ebert (eds.), Dialektiker und Stoiker. Franz Steiner 63--84.
Phillip Bricker (1989). Quantified Modal Logic and the Plural De Re. Midwest Studies in Philosophy 14 (1):372-394.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Added to index2011-12-02
Total downloads52 ( #79,387 of 1,792,834 )
Recent downloads (6 months)11 ( #73,278 of 1,792,834 )
How can I increase my downloads?