An overview of hyperintensionality is provided. Hyperintensional languages have
expressions with meanings that are more fine-grained than necessary equivalence. That is …

Current views of metaphysical ground suggest that a true conjunction is immediately
grounded in its conjuncts, and only its conjuncts. Similar principles are suggested for …

This paper studies the notions of conceptual grounding and conceptual explanation (which
includes the notion of mathematical explanation), with an aim of clarifying the links between …

Many philosophers take purportedly logical cases of ground (such as a true disjunction
being grounded in its true disjunct (s)) to be obvious cases, and indeed such cases have …

This paper studies internal (or intra-) mathematical explanations, namely those proofs of
mathematical theorems that seem to explain the theorem they prove. The goal of the paper …

This chapter focuses on the question of how fine-grained grounding is. The author puts
forward a precise formulation of the question and explores the possible answers by means …

This paper establishes a sound and complete semantics for the impure logic of ground. Fine
(Review of Symbolic Logic, 5 (1), 1–25,) sets out a system for the pure logic of ground, one …

Ground is all the rage in contemporary metaphysics. But what is its nature? Some
metaphysicians defend what we could call, following Skiles and Trogdon (Philos Stud 178 …

This article develops the Pure Logic of Iterated Full Ground (plifg), a logic of ground that can
deal with claims of the form “ϕ grounds that (ψ grounds θ)”—what we call iterated grounding …

Most of the logics of grounding that have so far been proposed contain grounding axioms, or
grounding rules, for the connectives of conjunction, disjunction and negation, but little …