Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...) the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

According to the Dependency Theory, truth asymmetrically depends on the world, in the following sense: true propositions are true because the world makes them true. The Dependency Theory strikes many philosophers as incontrovertible, but in this paper I reject it. I begin by presenting a problem for the Dependency Theory. I then develop an alternative to the Dependency Theory which avoids that problem. This alternative is an immodest Identity Theory of Truth, and I end the paper by responding to Dodd’s (...) charge that immodest Identity Theories are incoherent. (shrink)

In this paper I deal with the relation between the disjunction thesis—that the truthmaking relation is distributed over a disjunction—and the necessary connection thesis—that the existence of some entities requires the existence of other distinct entities. I will first show that because of this very relation, the arguments for and against the disjunction thesis that overlook its metaphysical considerations will fail. Finally, I will show that the commitment produced by truthmaker maximalism to totality states of affairs, or some relevantly similar (...) things, requires one to accept a necessary connection that disaffirms the disjunction thesis. (shrink)

I argue that deflationary theories of truth reveal an important lesson for the broader theory of truth: although the notion of truthmaking has played an essential role in many traditional theories of truth, it can be separated from and survive the rejection of substantive theories of truth. I argue that many of the traditional substantive theories of truth are unified in defining truth in terms of the ontological grounds that are needed to account for truth. Deflationists reject the idea that (...) a theory of truth needs such metaphysical implications, but in so doing they need not rule out the possibility of developing an independently motivated theory of truthmaking. I argue that deflationists can and should embrace truthmaker theory, once it is shorn from its connection to the traditional project of defining truth. (shrink)

Seemingly natural principles about the logic of ground generate cycles of ground; how can this be if ground is asymmetric? The goal of the theory of decycling is to find systematic and principled ways of getting rid of such cycles of ground. In this paper—drawing on graph-theoretic and topological ideas—I develop a general framework in which various theories of decycling can be compared. This allows us to improve on proposals made earlier by Fine and Litland. However, it turns out that (...) there is no unique method of decycling. An important upshot is that the notion of asymmetric ground may be indeterminate. (shrink)

The problem of creeping minimalism concerns how to tell the difference between metaethical expressivism and its rivals given contemporary expressivists’ acceptance of minimalism about truth and related concepts. Explanationism finds the difference in what expressivists use to explain why ethical language and thought has the content it does. I argue that two recent versions of explanationism are unsatisfactory and offer a third version, subject matter explanationism. This view, I argue, captures the advantages of previous views without their disadvantages and gives (...) us a principled and general characterisation of non-representational views about all kinds of language and thought. (shrink)

This paper is about the relationship between truthmaking—one of the pillars of contemporary metaphysics—and deflationism about truth—one of the main contenders in the debate about truth, and a key component of the broad anti-metaphysical philosophical approach known as pragmatism. Many philosophers have argued that deflationism and truthmaking are incompatible or in conflict in some interesting way. Some take this to count against deflationism, others to count against truthmaking. In this paper I argue that deflationism and truthmaking are compatible in most (...) of the ways in which they are commonly thought to be incompatible. Deflationism does not render truthmaking unintelligible, avoidable, unmotivated, or trivial. While deflationism is incompatible with certain ideas within mainstream truthmaking, I argue that these ideas result from merely optional assumptions and principles commonly accepted by mainstream truthmaker theorists. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (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)

Minimalists about truth contend that traditional inflationary theories systematically fail to explain certain facts about truth, and that this failure licenses a ‘reversal of explanatory direction’. Once reversed, they purport that their own minimal theory adequately explains all of the facts involving truth. But minimalists’ main objection to inflationism seems to misfire, and the subsequent reversal of explanatory direction, if it can be made sense of, leaves minimalism in no better explanatory position; and even if the objection were serviceable and (...) the reversal legitimate, minimalists’ adequacy thesis is still implausible. (shrink)

Most authors on metaphysical grounding have taken full grounding to be an internal relation in the sense that it's necessary that if the grounds and the grounded both obtain, then the grounds ground the grounded. The negative part of this essay exploits empirical and provably nonparadoxical self-reference to prove conclusively that even immediate full grounding isn't an internal relation in this sense. The positive, second part of this essay uses the notion of a “completely satisfactory explanation” to shed light on (...) the logic of ground in the presence of self-reference. This allows us to develop a satisfactory logic of ground and recover a sense in which grounding is still an internal relation. (shrink)

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value of a proposition depends on how things stand (...) outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in particular the (...) unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

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.

Armstrong appeals to the existence of totalities in order to solve the problem of negative truths. The totality of first-order states of affairs is a truthmaker for all negative truths, but it involves things which are irrelevant to many such truths. To solve this problem, Armstrong claimed that negative truths have minimal truthmakers which usually consist in totalities smaller than the totality of first-order states of affairs. Merricks objects to this claim by arguing that given Armstrong’s definition of minimal truthmakers, (...) the totality of first-order states of affairs is a minimal truthmaker for every negative truth. In this article, I respond to Merricks’s objection. I will first show that the definition of minimal truthmakers that he proposes is not plausible. However, Merricks’s objection, I will argue, also works on the standard definition of minimal truthmakers. I will then show that for independent reasons, the standard definition should be revised, and, given my revised definition, Merricks’s objection fails. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

I defend (metaphysical) ground against recent, unanswered objections aiming to dismiss it from serious philosophical inquiry. Interest in ground stems from its role in the venerable metaphysical project of identifying which facts hold in virtue of others. Recent work on ground focuses on regimenting it. But many reject ground itself, seeing regimentation as yet another misguided attempt to regiment a bad idea (like phlogiston or astrology). I defend ground directly against objections that it is confused, incoherent, or fruitless. This vindicates (...) the very attempt to regiment ground. It also refocuses our attention on the genuine open questions about ground and away from the distracting, unpersuasive reasons for dismissing them. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

Semantic paradoxes like the liar are notorious challenges to truth theories. A paradox can be phrased with minimal resources and minimal assumptions. It is not surprising, then, that the liar is also a challenge to minimalism about truth. Horwich (1990) deals swiftly with the paradox, after discriminating between other strategies for avoiding it without compromising minimalism. He dismisses the denial of classical logic, the denial that the concept of truth can coherently be applied to propositions, and the denial that the (...) liar sentence expresses a proposition, but he endorses the denial that the liar is an acceptable instance of the equivalence schema (E). This paper has two main parts. It first shows that Horwich’s preferred denial is also problematic. As Simmons (1999), Beall and Armour-Garb (2003), and Asay (2015) argued, the solution is ad hoc, faces a possible loss of expressibility, and is ultimately unstable. Finally, the paper explores a different combination of possibilities for minimalism: treating the truth-predicate as context-dependent, rejecting the notion that the liar expresses a proposition, and reinterpreting negation in some contexts as metalinguistic denial. The paper argues that these are preferable options, but signposts possible dangers ahead. (shrink)

Is the truthmaker principle a development of the correspondence theory of truth? So Armstrong introduced the truthmaker principle to us, but Lewis (2001. Forget about the ‘correspondence theory of truth’. Analysis 61: 275–80.) influentially argued that it is neither a correspondence theory nor a theory of truth. But the truthmaker principle can be correctly understood as a development of the correspondence theory if it’s conceived as incorporating the insight that truth is a relation between truth-bearers and something worldly. And we (...) strengthen rather than weaken the plausibility of the truthmaker principle if we conceive of truth as performing a substantial rather than deflationary role in the truthmaker principle. (shrink)

Using only uncontentious principles from the logic of ground I construct an infinitely descending chain of ground without a lower bound. I then compare the construction to the constructions due to Dixon and Rabin and Rabern.

Ascriptions of truth give rise to an explanatory asymmetry. For instance, we accept ‘ is true because Rex is barking’ but reject ‘Rex is barking because is true’. Benjamin Schnieder and other philosophers have recently proposed a fresh explanation of this asymmetry : they have suggested that the asymmetry has a conceptual rather than a metaphysical source. The main business of this paper is to assess this proposal, both on its own terms and as an option for deflationists. I offer (...) a pair of objections to the proposal and defend them from counter-objections. To conclude, I discuss how else to explain the asymmetry, and set out the implications for deflationism and correspondence theories of truth. (shrink)

Ascriptions of truth give rise to an explanatory asymmetry. For instance, we accept ‘ is true because Rex is barking’ but reject ‘Rex is barking because is true’. Benjamin Schnieder and other philosophers have recently proposed a fresh explanation of this asymmetry: they have suggested that the asymmetry has a conceptual rather than a metaphysical source. The main business of this paper is to assess this proposal, both on its own terms and as an option for deflationists. I offer a (...) pair of objections to the proposal and defend them from counter-objections. To conclude, I discuss how else to explain the asymmetry, and set out the implications for deflationism and correspondence theories of truth. (shrink)

A perennial issue in contemporary philosophy is the question of how, in Wilfrid Sellars’ terms, categories of the ‘manifest image’ relate to those of the ‘scientific image’. A widespread kind of naturalism assumes that the categories of science have a certain kind of ontological priority and that other categories (meaning, mind, morality and so on) have to be somehow placed or located in the world of science to be fully vindicated. Huw Price has argued in several papers that if one (...) gives up a view of how language functions he calls ‘representationalism’ then this way of understanding placement problems—object naturalism—necessarily lapses. Price argues that in foregoing representationalism and embracing semantic deflationism we should remain naturalists, but subject naturalists, seeking to understand the function our different discourses play in our lives as natural beings: the project of global expressivism. This argument has recently been challenged by several authors who argue that object naturalism can coherently and rationally be pursued within a semantic deflationist framework. I will argue that these objections to Price’s view are all ultimately unconvincing given a wide enough purview of the dialectic. The viability and coherence of global expressivism itself, and whether it is the only possible form of subject naturalism, are briefly addressed in conclusion. (shrink)

Next SectionAn attempt to resolve the controversy regarding the solution of the Sleeping Beauty Problem in the framework of the Many-Worlds Interpretation led to a new controversy regarding the Quantum Sleeping Beauty Problem. We apply the concept of a measure of existence of a world and reach the solution known as ‘thirder’ solution which differs from Peter Lewis’s ‘halfer’ assertion. We argue that this method provides a simple and powerful tool for analysing rational decision theory problems.

In this commentary piece, I argue that Asay’s accounts of truth and truthmaking in A Theory of Truthmaking give no role to the idea that truth depends on being. In fact, some of the positions taken in the book are in tension with this idea that has been central to truthmaker theory. I consider how three aspects of Asay’s account relate to the idea that truth depends on being.

It is plausible that every true representation is made true by something in the world beyond itself. I believe that a simple fact is the truthmaker of each true proposition. Simple facts are not familiar entities. This lack of familiarity might lead many to regard them with suspicion, to think that including them in one’s ontology is an ad hoc maneuver. Although such suspicion is warranted initially, it is, I believe, ultimately unfounded. In this paper, I first present what I (...) take to be the simplest argument for simple facts. I then clarify what a simple fact is supposed to be by elucidating the way in which such entities are simple and elaborating an account of their nature. The simplest argument for simple facts relies on a premise that is deeply plausible and yet not uncontroversial, so I present a second argument that forgoes this premise. The second argument is more subtle—and shows the relevance to this discussion of unity from complexity, a metaphysical notion of profound importance—and yet leads to the same conclusion: simple facts exist. I end by considering some concerns one might have regarding the existence of simple facts or the fundamental role that I maintain they have in making true our thoughts and claims about the world. (shrink)

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (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)