Subverting a once widely held Quinean paradigm, there is a growing consensus among
philosophers of logic that higher‐order quantifiers (which bind variables in the syntactic …

We often speak as if there are merely possible people—for example, when we make such
claims as that most possible people are never going to be born. Yet most metaphysicians …

Contingentists—who hold that it is contingent what there is—are divided on the claim that
having a property or standing in a relation requires being something. This claim can be …

Abstract Brauer (Philos Stud 179: 2751–2763, https://doi. org/10.1007/s11098-022-01793-7,
2022) has recently argued that if it is possible that there is nothing, then the correct modal …

Hybrid contingentism combines first-order contingentism, the view that it is contingent what
individuals there are, with higher-order necessitism, the view that it is non-contingent what …

Propositional modal logic over relational frames is naturally extended with propositional
quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is …

According to propositional contingentism, it is contingent what propositions there are. This
paper presents two ways of modeling contingency in what propositions there are using two …

Serious actualism is the view that it is metaphysically impossible for an entity to have a
property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially …

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in
terms of special kinds of mathematical modality. The goal of this paper is to bring recent …

Propositional contingentism is the view that what propositions there are is a contingent
matter—certain propositions ontologically depend on objects which themselves only …