Armstrong's analysis, which acknowledges the "logical atomism" of Russell and Wittgenstein, makes facts (or states of affairs, as the author calls them) the ...

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

This volume will be the starting point for future discussion and research.

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

Commentators have long agreed that Wodeham’s account of objects of judgment is highly innovative, but they have continued to disagree about its proper interpretation. Some read him as introducing items that are merely supervenient on (and nothing in addition to) Aristotelian substances and accidents; others take him to be introducing a new type of entity in addition to substances and accidents—namely, abstract states of affairs. In this paper, I argue that both interpretations are mistaken: the entities Wodeham introduces are really (...) distinct from substances and accidents, but, like substances and accidents, they are concrete (rather than abstract). Moreover, the key to understanding the significance of his theory, I contend, lies in a proper understanding of the theoretical role these entities play in his theory of judgment. (shrink)

Reissue from the classic Muirhead Library of Philosophy series (originally published between 1890s - 1970s).

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

In this article, I will focus on the notion of supervenience introduced and deployed by Armstrong. The aim is to settle the issue of whether it has any fruitful applications. My conclusions are negative. Armstrong gives to his notion of supervenience a major explanatory role of telling why one need not consider certain beings as a genuine ontic expansion, if one already assumes a certain meagre set of more basic entities. On closer inspection, however, Armstrong’s notion does not clarify such (...) intuitions any further. The legitimate uses of the notion for the above purpose turn out to be redundant: the concepts of identity and partial identity can be employed instead. (shrink)

The opinionated introduction genre of philosophical writing knows no greater master than D.M. Armstrong. This little book is a tour de force of the genre, offering a succinct presentation of a global metaphysical worldview – a grand system in the early-modern style. Longtime Armstrong readers (or even those who just read his 1997 A World of States of Affairs) will be familiar with most of the material here, but bringing all of it into a concisely articulated stable equilibrium is a (...) philosophical achievement of the first magnitude, one which ought to serve well an increasingly balkanized discipline. The book reminds us that, as Sellars once put it, ‘the aim of philosophy is to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term.’ In Armstrong’s hands, the Sellarsian aim is reframed in terms of truthmaking: to understand what the world must be like to make true all and only true propositions. More specifically, since the sciences too are in the business of exploring what the world must be like, the proper mandate of metaphysics is to target notions so general that they are not targeted by any specific science (‘topic-neutral notions’): particular, property, causation, number, law, structure, fact, etc. These can be thought of as determinates of the two Sellarsian metaphysical determinables thing-in-the-broadest-sense and hanging-togetherin-the-broadest-sense. Many metaphysical debates about topic-neutral notions can be represented as Euthyphro dilemmas pitting a reductive, deflating position against a non-reductive, inflating one. Is some chunk of the world a particular because it is the site of a bundle of compresent properties, or is it the site of a bundle of compresent properties because it is a particular? Does a thing have a property because it holds a fund of causal powers, or does it hold a fund of causal powers because it has a property? Is the connection between two things causal because it is regular, or is it regular because causal? (In all these formulations, the ‘because’ is constitutive rather than causal: the ‘because’ of ‘I am a bachelor because I am an unmarried man,’ not that of ‘I am a bachelor because I never met the right woman.’) The book is divided roughly into two parts: the chapters leading up to Chapter 8 discuss topic-neutral notions on which Armstrong is non-reductive, and thus provide the fundamental furniture of the world as he sees it; the chapters succeeding Chapter 8 discuss topic-neutral notions on which Armstrong is generally reductive (modulo the occasional additional non-reductive concession), thus showcasing the explanatory power of the metaphysical machinery put in place in the first half of the book. Chapter 8 itself concerns the linchpin notion of truthmaker.. (shrink)

The notion that there is a single type of entity in terms of which the whole world can be described has fallen out of favor in recent Ontology. There are only two serious exceptions to this. Factualists (Skyrms 1981, Armstrong 1997) hold that the world can be fully described in terms of facts. Trope theorists (Williams 1953, Campbell 1981, 1990) hold that it can be fully described in terms of tropes. Yet the relationship between facts and tropes remains obscure in (...) both camps’ writings. In this note, a distinction between (the names of) events and facts, due to Vendler and Bennett, is extended to distinguish between (the names of) tropes and facts. On its basis, a portrait of the domain of abstract particulars is sketched. The purpose is to contribute to our understanding of both forms of (if you will) metaphysical monism by offering a principled distinction between them. (shrink)

The author investigates greek ontologies that apparently rely on a conflation of "binary" (x is f) and "monadic" (x is) uses of 'is'. He uses Aristotelian and other texts to support his proposal that these ontologies are explained by the Greeks using two alternative semantic analyses for 'x is F'. The first views it as asserting a relation between x and F, the second as asserting that a "predicative complex" exists, where a predicative complex is a complex consisting of x (...) and F. The article concludes by indicating some uses for the novel concept of predicative complex in aristotelian interpretation. (shrink)

The most common philosophical view of existence is that existence amounts to existential quantification or is a second-order concept. A less common philosophical view is that existence is a first-order property distinguishing between nonexistent (past, possible, or merely intentional) objects and existing objects. An even less common philosophical view is that existence divides into different ‘modes of being’ for different kinds of entities. The aim of the present paper is to take a closer look at how the notion of existence (...) is in fact expressed in natural language. In natural language, it appears, existence is not so much expressed by quantification, which can be shown to be neutral as regards any distinction between existent and nonexistent objects that one might draw. Rather existence is expressed by predicates, and that is, first-order predicates, such as in English 'exist', 'occur', and 'obtain'. The semantic behavior of such existence predicates reveals a notion of existence that divides into at least three different kinds of modes being, reflecting the distinction between endurance and perdurance, as well as their space-related analogues, but also the particular mode of being of such entities as states, facts, conditions, and laws. (shrink)

David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and his followers (...) regarded as unsurmountable. As a concrete example of structural universals groups are considered in some detail. (shrink)

The aim of this paper is to elucidate the mereological structure of complex states of affairs without relying on the problematic notion of structural universals. For this task tools from graph theory, lattice theory, and the theory of relational systems are employed. Our starting point is the mereology of similarity structures. Since similarity structures are structured sets, their mereology can be considered as a generalization of the mereology of sets ...

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

A version of Bradley's regress can be endorsed in an effort to address the problem of the unity of states of affairs or facts, thereby arriving at a doctrine that I have called fact infinitism . A consequence of it is the denial of the thesis, WF, that all chains of ontological dependence are well-founded or grounded. Cameron has recently rejected fact infinitism by arguing that WF, albeit not necessarily true, is however contingently true. Here fact infinitism is supported by (...) showing that Cameron's argument for the contingent truth of WF is unsuccessful. (shrink)

The topic of this essay is “the slingshot,” a short argument that purports to show that sentences1 designate (stand for, refer to) truth values. Versions of this argument have been used by Frege 2, Church 3, Quine4 and Davidson5; thus it is historically important, even if it immediately strikes one as fishy. The argument turns on two principles, which I call substitution and redistribution. In “Semantic Innocence and Uncompromising Situations,”6 Jon Barwise and I rejected both principles, as part of our (...) attempt.. (shrink)

In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require ...

This document consists primarily of an excerpt (chapter 13) from the author’s book From Brain to Cosmos. In that excerpt, the author presents a study of the notion of truth using the concept of subjective fact developed earlier in the book. The author argues that mind-body materialism is compatible with certain forms of metaphysical idealism. The chapter closes with some remarks on relativism with regard to truth. (This document depends heavily upon the concept of subjective fact developed in From Brain (...) to Cosmos. Readers unfamiliar with that concept are strongly advised to read chapters 2 and 3 of From Brain to Cosmos first. See the last page of this document for details on how to obtain those chapters.). (shrink)

Keith Hossack argues in his The Metaphysics of Knowledge(2007) that knowledge is a simple and metaphysically fundamental relation between a thinker and a fact: knowledge is uptake of fact. Facts are conceived as combinations of particulars and universals, distinct from true propositions. Hossacks's general argument is, roughly, that one can define central philosophical concepts (belief, content, justification, etc.) if one assumes that knowledge is primitive, but that knowledge cannot be defined in terms of such concepts. In this paper, I will (...) question Hossack's view of knowledge and his use of knowledge in the theory of content. To anticipate one of the main points: there is knowledge that cannot be uptake of a fact, because there is no fact to be taken up. The conclusion is that Hossack needs either to revise his theory of facts or his metaphysics of knowledge. Something has to give. (shrink)

In this 1921 opus, Wittgenstein defined the object of philosophy as the logical clarification of thoughts and proposed the solution to most philosophic problems by means of a critical method of linguistic analysis. Beginning with the principles of symbolism, the author applies his theories to traditional philosophy, examines the logical structure of propositions and the nature of logical inference, and much more. Definitive translation. Introduction by Bertrand Russell.