Review of Symbolic Logic 10 (2):203-236 (2017)

Peter Fritz
Australian Catholic University
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.
Keywords contingentism  propositions  modal logic  propositional quantifiers
Categories (categorize this paper)
DOI 10.1017/S1755020317000028
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 56,903
External links

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

Symbolic Logic.C. I. Lewis & C. H. Langford - 1934 - Erkenntnis 4 (1):65-66.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Relevant Implication.David Lewis - 1988 - Theoria 54 (3):161-174.
A Shorter Model Theory.Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-134.
Statements Partly About Observation.David Lewis - 1988 - Philosophical Papers 17 (1):1-31.

View all 22 references / Add more references

Citations of this work BETA

Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
Standard State Space Models of Unawareness.Peter Fritz & Harvey Lederman - 2015 - Theoretical Aspects of Rationality and Knowledge 15.

Add more citations

Similar books and articles

Propositional Contingentism.Peter Fritz - 2016 - Review of Symbolic Logic 9 (1):123-142.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Embeddings of Propositional Monomodal Logics.E. Zolin - 2000 - Logic Journal of the IGPL 8 (6):861-882.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.


Added to PP index

Total views
57 ( #174,675 of 2,409,410 )

Recent downloads (6 months)
8 ( #87,174 of 2,409,410 )

How can I increase my downloads?


My notes