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 …

This three-part chapter explores a higher-order logic we call 'Classicism', which extends a
minimal classical higher-order logic with further axioms which guarantee that provable …

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 …

What is the relation between metaphysical necessity and essence? This paper defends the
view that the relation is one of identity: metaphysical necessity is a special case of essence …

It is an apparent truism that, for any things x and y, if x and y are identical, then x and y have
the same properties. For if x and y are identical they are one and the same thing, and so it …

An increasing amount of twenty-first century metaphysics is couched in explicitly
hyperintensional terms: concepts such as grounding, fundamentally and metaphysical …

Higher-order realists about properties express their view that there are properties with the
help of higher-order rather than first-order quantifiers. They claim two types of advantages …

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 …

Higher-order metaphysics uses the formal languages of higher-order logic to formulate
metaphysical views and arguments. This chapter provides an introduction to the field and an …