Better Semantics for the Pure Logic of Ground

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Grounding is supposed to be a certain relation of dependence and determination among facts. This relation is linked with a certain kind of explanation. It is targeted by the sort of explanations we give sometimes when we say that some facts obtain in virtue of other facts and when we ask what makes something the case. When, for instance, ethicists ask what makes murder wrong, epistemologists ask what makes my belief that I have hands justified, chemists ask what makes alcohol miscible in water, and physicists ask what makes gravity so weak, they are asking after the worldly conditions on which the facts in question depend, and by which they are determined.