Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive parthood (...) in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, in (...) order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

The subjects of this thesis are truth, grounding and dependence. The thesis consists of an introduction and five free-standing essays. The purpose of the introduction is not merely to summarize the papers, but to provide a general background to the discussions in the essays. The introduction is divided into four chapters, each of which splits into a number of sections and/or subsections. Chapter 1. concerns the notion of ontological dependence. I start by making a distinction between two different types of (...) ontological dependence and discuss how well these notions deal with a number of philosophical issues. I then go on to consider the role that ontological dependence plays in hierarchies of natural kinds. In Chapter 2., I discuss a related notion, namely that of grounding. I sketch the theoretical framework by specifying the logical form of grounding statements and a set of structural principles that govern grounding. The chapter ends with a brief discussion on some philosophical applications of grounding. Chapter 3. deals with the notion of truthmaking and how it squares with the grounding framework developed in the previous chapter. I present the reader with the so-called Truthmaker Principle, and provide answers to a number of questions that it raises. The fourth and final chapter summarizes the five papers. The six essays are divided into three categories. Paper I deals with the notion of ontological dependence in hierarchies of natural kinds. Paper II concerns the notion of grounding and resemblance orderings among powers. Papers III, IV and V discuss various aspects of truthmaker theory. (shrink)

La teoría de los hacedores de verdad, como la vieja teoría correspondentista, intenta comprender la relación que, ligando proposiciones y hechos, resulta en la verdad (o falsedad) de las primeras. Esta teoría presenta una versión débil, que da cuenta de dicha relación en términos de la noción de implicación, y una fuerte, fundada en la relación de "ser verdadero en virtud de". La diferencia fundamental entre ambas es la adhesión y el rechazo, respectivamente, del Principio de Implicación, según el cual (...) dos proposiciones ligadas por implicación serán hechas verdaderas por el mismo hecho. El presente trabajo muestra cómo esta adhesión conduce a las versiones débiles al colapso, por lo cual sólo las versiones fuertes tienen oportunidades de prosperar. (shrink)