Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant role in metaphysical theorizing—but its logical foundations are underdeveloped. I argue that recent advances in higher-order logic reveal a subtle ambiguity regarding Purity’s interpretation; there are stronger and weaker versions of that principle. The arguments for Purity only support the weaker interpretation, but arguments that employ it only succeed if the stronger interpretation is true. As a result, nearly every metaphysician who (...) has appealed to Purity has made a mistake—in that the inferences that they make are not justified by the arguments that they provide. (shrink)

According to directionalism, non-symmetric relations are distinct from their converses. Kit Fine (2000) argues that the directionalist faces a dilemma; they must either (i) reject the principle Uniqueness, which states that no completion (fact, state of affairs, or proposition) is a completion of more than one relation, or (ii) reject the principle Identity, which states that each completion of a relation is identical to a completion of its converse (e.g., Dante’s loving Bice is identical to Bice’s being loved by Dante). (...) Fine’s argument has been regarded as a decisive blow to directionalism. But new strategies for replying to it can be developed with the tools of the postmodal metaphysician, who is comfortable individuating relations and their completions hyperintensionally, allowing for necessary connections between distinct entities, and making use of hyperintensional notions like essence and grounding. In what follows, I develop postmodal strategies for denying both horns of Fine’s dilemma, concluding that the postmodal directionalist need not be concerned with Fine’s argument. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)