Loading...
Logics for propositional contingentism
Fritz, Peter
Fritz, Peter
Author
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
03B45, contingentism, propositions, modal logic, propositional quantifiers
Date
2017
Type
Journal article
Journal
The Review of Symbolic Logic
Book
Volume
10
Issue
2
Page Range
203-236
Article Number
ACU Department
Dianoia Institute of Philosophy
Faculty of Theology and Philosophy
Faculty of Theology and Philosophy
Collections
Relation URI
Source URL
Event URL
Open Access Status
License
File Access
Controlled