Skip to main content
    • Aa
    • Aa


  • PETER FRITZ (a1)

Robert Stalnaker has recently advocated propositional contingentism, the claim that it is contingent what propositions there are. He has proposed a philosophical theory of contingency in what propositions there are and sketched a possible worlds model theory for it. In this paper, such models are used to interpret two propositional modal languages: one containing an existential propositional quantifier, and one containing an existential propositional operator. It is shown that the resulting logic containing an existential quantifier is not recursively axiomatizable, as it is recursively isomorphic to second-order logic, and a natural candidate axiomatization for the resulting logic containing an existential operator is shown to be incomplete.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

P. Blackburn , M. de Rijke , & Y Venema . (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science, Vol. 53. Cambridge: Cambridge University Press.

B. F Chellas . (1980). Modal Logic: An Introduction. Cambridge: Cambridge University Press.

B. A. Davey & H. A Priestley . (2002). Introduction to Lattices and Order (second edition). Cambridge: Cambridge University Press.

K Fine . (1974a). An ascending chain of S4 logics. Theoria, 40(2), 110116.

K Fine . (1974b). An incomplete logic containing S4. Theoria, 40(1), 2329.

K Fine . (1977). Properties, propositions and sets. Journal of Philosophical Logic, 6(1), 135191.

K Fine . (1980). First-order modal theories II – Propositions. Studia Logica, 39(2), 159202.

P Fritz . (2016). Propositional contingentism. The Review of Symbolic Logic, 9(1), 123142.

P. Fritz & J Goodman . (2016). Higher-order contingentism, part 1: Closure and generation. Journal of Philosophical Logic, 45(6), 645695.

D Gallin . (1975). Intensional and Higher-Order Modal Logic. Amsterdam: North-Holland.

S. Givant & P Halmos . (2009). Introduction to Boolean Algebras. New York: Springer.

L Humberstone . (2002). The modal logic of agreement and noncontingency. Notre Dame Journal of Formal Logic, 43(2), 95127.

B. Jónsson & A Tarski . (1951). Boolean algebras with operators. Part I. American Journal of Mathematics, 73(4), 891939.

P Kremer . (1993). Quantifying over propositions in relevance logic: Nonaxiomatizability of primary interpretations of ∀p and ∃p . Journal of Symbolic Logic, 58(1), 334349.

P Kremer . (1997). On the complexity of propositional quantification in intuitionistic logic. Journal of Symbolic Logic, 62(2), 529544.

D Lewis . (1988a). Relevant implication. Theoria, 54(1), 161174.

D Lewis . (1988b). Statements partly about observation. Philosophical Papers, 17(1), 131.

D Makinson . (1969). On the number of ultrafilters of an infinite boolean algebra. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 15(7–12), 121122.

D Makinson . (1971). Some embedding theorems for modal logic. Notre Dame Journal of Formal Logic, 12(2), 252254.

S. K Thomason . (1974). An incompleteness theorem in modal logic. Theoria, 40(1), 3034.

F von Kutschera . (1994). Global supervenience and belief. Journal of Philosophical Logic, 23(1), 103110.

T Williamson . (2013). Modal Logic as Metaphysics. Oxford: Oxford University Press.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 11 *
Loading metrics...

Abstract views

Total abstract views: 63 *
Loading metrics...

* Views captured on Cambridge Core between 20th March 2017 - 25th April 2017. This data will be updated every 24 hours.