Review of Symbolic Logic 10 (2):203-236 (2017)
Authors |
|
Abstract |
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 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
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.
Similar books and articles
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
The Classification of Propositional Calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
On the Rosser–Turquette Method of Constructing Axiom Systems for Finitely Many-Valued Propositional Logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Propositional Identity and Logical Necessity.David B. Martens - 2004 - Australasian Journal of Logic 2:1-11.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
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.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
An Infinite Class of Maximal Intermediate Propositional Logics with the Disjunction Property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Propositional Logics of Closed and Open Substitutions Over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Analytics
Added to PP index
2017-05-18
Total views
57 ( #174,675 of 2,409,410 )
Recent downloads (6 months)
8 ( #87,174 of 2,409,410 )
2017-05-18
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?
Downloads