The purpose of the book is to clarify the notion of existential dependence and cognate notions, such as supervenience and the notion of an internal relation. I defend the view that such notions are best understood in terms of the concept of metaphysical grounding, i.e. the concept of one fact obtaining in virtue of other facts, where ‘in virtue of’ has a distinctively metaphysical meaning.

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

In spite of its significance for everyday and philosophical discourse, the explanatory connective has not received much treatment in the philosophy of logic. The present paper develops a logic for based on systematic connections between and the truth-functional connectives.

The main question of this paper is how to understand the notion of a truth-maker. In section 1, I show that the identification of truth-making with necessitation cannot capture the pretheoretic understanding of notions such as ‘x makes something true’. In section 2, I examine Barry Smith’s reaction to this problem: he defines truth-making as the combination of necessitation and projection. I focus on the formal part of Smith’s account, which is shown to yield undesired results. However, in section 3, (...) I present an alternative account of projection, which fares better and can fruitfully be employed to circumvent the problems raised in section 1. Unfortunately, the account still has to face some troublemakers, as I show in the final section. I conclude, therefore, with a pessimistic view on the project of defining truth-making via necessitation and projection. (shrink)

We first introduce the intuitive idea of a relation of grounding between facts . Then we propose a definition of this idea, based on a certain theory of the structure of facts . Finally we consider the idea of proofs of a special kind, namely proofs which follow the grounds of what is proved.