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

Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence theories of truth, and to metaphysical (...) realism. I argue that, quite to the contrary, truthmaker theory is distinct from correspondence theory, and that the former actually undermines the motivation for the latter. In fact, truthmaker theory can be used to argue for a particular kind of deflationism about truth. I also argue that debates about realism and anti-realism are best viewed through the lens of truthmaker theory, which is not—contrary to what many have thought—an essentially realist approach to metaphysics. Anti-realists of various stripes can also make use of truthmakers. The anti-realism of such views depends upon either the nature of the truthmakers they use, or the nature of the truthmaking relation itself. (shrink)

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)

It is commonly assumed that facts would be complex entities made out of particulars and universals. This thesis, which I call Compositionalism, holds that parthood may be construed broadly enough so that the relation that holds between a fact and the entities it ‘ties’ together counts as a kind of parthood. I argue firstly that Compositionalism is incompatible with the possibility of certain kinds of fact and universal, and, secondly, that such facts and universals are possible. I conclude that Compositionalism (...) is false. What all these kinds of fact and universal have in common is a violation of supplementation principles governing any relation that may be intelligibly regarded as a kind of parthood. Although my arguments apply to Compositionalism generally, I focus on recent work by David Armstrong, who is a prominent and explicit Compositionalist. (shrink)

In this paper I examine two principles of orthodox truthmaker theory: truthmaker maximalism - the doctrine that every (contingent) truth has a truthmaker, and truthmaker necessitarianism - the doctrine that the existence of a truthmaker necessitates the truth of any proposition which it in fact makes true. I argue that maximalism should be rejected and that once it is we only have reason to hold a restricted form of necessitarianism.

Since its first appearance in print, Wittgenstein’s Tractatus Logico-Philosophicus has been universally recognised as a seminal work in philosophy. It is a complex work which poses many exegetical problems whose resolution is by no means easy. One particular problem to which I wish to propose a solution here concerns the interrelation among the following three propositions.

According to the truthmaker theory that we favour, all contingent truths are made true by existing facts or states of affairs. But if that is so, then it appears that we must accept the existence of the negative facts that are required to make negative truths (such as 'There is no hippopotamus in the room.') true. We deny the existence of negative facts, show how negative truths are made true by positive facts, point out where the (reluctant) advocates of negative (...) facts (Russell, Armstrong, et al.) went wrong, and demonstrate the superiority of our solution to the alternatives. (shrink)

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

In Reinach’s works one finds a very rich ontology of states of affairs. Some of them are positive, some negative. Some of them obtain, some do not. But even the negative and non-obtaining states of affairs are absolutely independent of any mental activity. Now in spite of this claim of the “ontological equality” of positive and negative states of affairs there are, according to Reinach, massive epistemological differences in our cognitive access to them. Positive states of affairs could be directly (...) “extracted” from our experience while to acquire a negative belief we must pass a quite complicated process starting with certain positive beliefs. A possible and reasonable explanation of this discrepancy would be a theory to the effect that these epistemological differences have their basis in the ontology of the entities in question. Our knowledge of the negative states of affairs is essentially dependent on our knowledge of the positive ones precisely because the negative states of affairs are ontologically dependent on the positive ones. Such a theory has been in fact formulated by Roman Ingarden. According to him negative states of affairs supervene on some positive ones and on certain mental acts of the conscious subjects. (shrink)

Ingarden’s official ontology of states of affairs is by no means reductionist. According to him there are states of affairs, but they are ontologically dependent onother entities. There are certain classical arguments for the introduction of states of affairs as extra entities over and above the nominal objects, that can be labelled “the problem of composition,” “the problem of relation” and “the problem of negation.” To the first two Ingarden proposes rather traditional solutions, while his treatment of negation proves to (...) be original and interesting. Ingarden doesn’t deny the existence of negative states of affairs altogether, but he (i) accepts only a restricted group of them and (ii) ascribes to them an extremely weak mode of being. Negative states of affairs are construed as supervenient entities, and their supervenience-basis involves two factors: on the one hand the appropriate positive states of affairs, and on the other hand certain mental acts of conscious subjects. They enjoy thus a curious “half-subjective” mode of being. (shrink)

The thought of Alexius Meinong (1853–1920) has a distinguished position within the conceptual space of ontology. He was the first philosopher who tried systematically to develop a quasi-ontological discipline which was intended to be much more general than the metaphysics in the traditional sense. Metaphysics investigates being qua being; and this constitutes only a small part of the domain of the theory of objects (Gegenstandstheorie) as Meinong conceived of it. For – so reads one of Meinong’s most frequently cited theses (...) – the objects considered purely qua objects are neutral concerning their being or non-being. In this book Meinong’s theory of objects is presented in its historical development and investigated within the context of his theory of intentionality. This connection is justified because the real motivation behind Meinong’s introduction of entities "beyond being and non being" lies in the philosophical puzzles of the theory of intentionality. (shrink)

Around 1904 Meinong formulated his most famous idea: There are no empty (non-referential) singular terms. Each singular term refers to an object. Some of these objects do not exist but all of them enjoy status of Außersein. Russell also did not accept non-referential singular terms. But in his paper “On denoting” (1905) he claimed that all singular terms that are apparently empty could be reinterpreted as apparent singular terms. In short, Meinong expands his universe, while Russell narrows the category of (...) singular term. However, if we take a more careful look at both theories, we find many unexpected similarities. It is well known that Russell’s concept of a genuine proper name is very technical. Yet exactly the same holds for Meinong. Also according to him we can refer “directly” only to a very special category of ontologically simple objects. All reference to the common-sense individuals has to be mediated by Russellian descriptions. However, in the domain of Meinongian objects “beyond being and non-being” a plurality of objects always corresponds to each such Russellian description. Thus, if Meinong were right, there could be no definite descriptions. The only way we can get a definite description is to narrow the domain of reference by placing certain “extra-nuclear” (außerkonstitutorisch) predicates (“exists” or “possible”) in the scope of the description. If we narrow the domain of reference to existent objects, we can get a definite description in a simple Russellian way. We have only to specify a collection of predicates that is contingently satisfied by only one (existing) object. But if we operate in the domain of all possible objects, we have to specify all (absolute and relative) properties that are had by the object in question. It turns out that such a “Leibnizian” specification amounts to the complete description of a possible world. (shrink)

Wittgenstein’s Tractatus contains some very striking theses. We read, e.g., that „in a sense” we could not be wrong in logic, and that the whole subject matter of the theory of modalities could be reconstructed on the ground of the insights in the mechanism of the linguistic reference. Yet in the light of the last sentences of Tractatus the whole semantics turns out to be principaly ineffable. In our paper we will try to clarify these matters. We show how these (...) theses could be made plausible in the context of the transcendental method of Wittgenstein’s Tractatus. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)

Abstract: In Mind and World, McDowell conceives of the content of perceptual experiences as conceptual. This picture is supposed to provide a therapy for skepticism, by showing that empirical thinking is objectively and normatively constrained. The paper offers a reconstruction of McDowell's view and shows that the therapy fails. This claim is based on three arguments: 1) the identity conception of truth he exploits is unable to sustain the idea that perception-judgment transitions are normally truth conducing; 2) it could be (...) plausible only from an externalist point of view that is in tension with the view of normativity that motivates conceptualism; 3) the identity conception of truth is incompatible with McDowell's recent version of conceptualism in terms of ‘non-propositional intuitive contents’. (shrink)

My paper takes issue both with the standard view that the Tractatus contains a correspondence theory and with recent suggestions that it features a deflationary or semantic theory. Standard correspondence interpretations are mistaken, because they treat the isomorphism between a sentence and what it depicts as a sufficient condition of truth rather than of sense. The semantic/deflationary interpretation ignores passages that suggest some kind of correspondence theory. The official theory of truth in the Tractatus is an obtainment theory – a (...) sentence is true iff the state of affairs it depicts obtains. This theory differs from deflationary theories in that it involves an ontology of states of affairs/facts; and it can be transformed into a type of correspondence theory: a sentence is true iff it corresponds to, i.e. depicts an obtaining state of affairs (fact). Admittedly, unlike correspondence theories as commonly portrayed, this account does not involve a genuinely truth-making relation. It features a relation of correspondence, yet it is that of depicting, between a meaningful sentence and its sense – a possible state of affairs. What makes for truth is not that relation, but the obtaining of the depicted state of affairs. This does not disqualify the Tractatus from holding a correspondence theory, however, since the correspondence theories of Moore and Russell are committed to a similar position. Alternatively, the obtainment theory can be seen as a synthesis of correspondence, semantic and deflationary approaches. It does justice to the idea that what is true depends solely on what is the case, and it combines a semantic explanation of the relation between a sentence and what it says with a deflationary account of the agreement between what the sentence says and what obtains or is the case if it is true. (shrink)

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)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of the (...) issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (shrink)

Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true by something’s (...) existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist. (shrink)

Substantial facts (or states of affairs ) are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to (...) provide identity conditions for facts. This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation. (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)

I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality state (...) of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)

States of affairs constitute a basic ontological category in Chisholm's metaphysical system, and yield events and propositions as subclasses. Qua events, they enter into causal relations, and qua propositions, they are objects of our intentional attitudes. This paper expounds and critically examines Chisholm's conception of a state of affairs and his constructions of events and propositions. Various difficulties with some of Chisholm's definitions and procedures are pointed out and discussed. The last section contains a set of suggested modifications to the (...) theory to avoid these difficulties. (shrink)

States of affairs are considered as ontologically basic. Different from similar accounts, these states of affairs are introduced as simple occurrences or items of a certain kind. The ontological importance of these occurrences lies in their semantical function as exemplars for the introduction of the most basic linguistic devices. The ontological basis proposed is particularist. Universals are an aspect of our routine behaviour as we neglect the differences of particular properties of things. Abstract objects are produced in our routine, language-dependent (...) operations if we leave aside the fact that we usually operate with some definite material. (shrink)

Australasian Journal of Philosophy, Volume 90, Issue 1, Page 189-192, March 2012.

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)

In this paper, I will give a presentation of Bradley's two main arguments against the reality of relations. Whereas one of his arguments is highly specific to Bradley's metaphysical background, his famous regress argument seems to pose a serious threat not only for ontological pluralism, but especially for states of affairs as an ontological category. Amongst the proponents of states-of-affairs ontologies two groups can be distinguished: One group holds states of affairs to be complexes consisting of their particular and universal (...) constituents alone, the other holds that there has to be a "unifying relation" of some sort to establish the unity of a given state of affairs. Bradley's regress is often conceived to be a compelling argument against the first and for the latter. I will argue that the latter approaches have no real advantage over the simpler theories—neither in the light of Bradley's regress nor in other respects. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

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)

This paper proposes an ontological account of what we refer to as cases: 'the case of the stolen statue', the case of a defeat' and 'the case in which John may be late'. It is argued that cases are best suited for the role of truthmakers, which manifests itself in the appearance of 'the case' in 'it is sometimes the case that S'.

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)

In this paper, I defend a distinction between what I will call ‘abstract states’ and ‘concrete states’, a distinction that has recently been proposed by Maienborn (2005, 2007) to account for the peculiar semantic behavior of stative verbs. I give an ontological account of the notion of an abstract state and relate it to the category of tropes, which has so far neglected in the semantic literature on stative verbs.

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 ...

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)

This occasional paper from the proceedings of the Burkamp Club sets out part of the Austro-German context of the beginning and the end of Wittgenstein’s Tractatus: Husserl’s 1900-1901 account of the world as the totality of contingently obtaining states of affairs or facts; and Scheler’s 1913-1916 account of persons as correlates but not parts of worlds, and of microcosms, selves, bodies, life, solipsism, God, value, punishment and happiness.

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)

In his two recent books on ontology, Universals: an Opinionated Introduction, and A World of States of Affairs, David Armstrong gives a new argument against nominalism. That argument seems, on the face of it, to be similar to another argument that he used much earlier against Rylean behaviourism: the Truthmaker Argument, stemming from a certain plausible premise, the Truthmaker Principle. Other authors have traced the history of the truthmaker principle, its appearance in the work of Aristotle [10], Bradley [16], and (...) even Husserl [15]. But that is not my task — in this paper I argue that Armstrong’s new argument is not logically analogous to the old, and, in particular, that it is quite possible to be a thoroughgoing nominalist, and hold a truthmaker principle. (shrink)

This essay is a reflection on the idea of truth-making and its applications. I respond to a critique of my 1986 paper on truth-making and discuss some key principles at play in the Truth-maker Program as it has emerged over the past 25 years, paying special attention to negative and general truths. I maintain my opposition to negative and general facts, but give an improved account of how to do without them. In the end, I accept Truth-maker Maximalism and a (...) weakened form of Truth-maker Necessitarianism, reject the assumption that truth-makers must be entities, and urge that the idea of a truth-maker be broadened and loosened so that it applies to anti-realistic as well as realistic truths. (shrink)

It is now often taken for granted that facts are entia non grata, for there exists a powerful argument (dubbed the slingshot), which is backed by such great names as Frege or Gödel or Davidson (and so could hardly be wrong), that discredits their existence. There indeed is such an argument, and it indeed is not wrong on the straightforward sense of wrong. However, in how far it knocks down any conception of facts is another story, a story which is (...) anything but simple and perspicuous. In his book, Stephen Neale takes pains to excavate the origins of the argument and the presuppositions which it needs to be usable for the purpose of exorcising facts. In the introduction of the book, Neale expresses his conviction that his analysis of the slingshot will not only compromise its usability for the purpose of discrediting facts, but also save representationalist conceptions of language and mind from the attacks of the antirepresentationalist philosophers like Davidson and Rorty. „Representational philosophy,“ he claims, „survives the Davidson-Rorty onslaught because non-truth-functional logics and ontologies of facts, states of affairs, situations and propositions survive not only the actual arguments deployed against them, but also the most precise and powerful slingshot arguments that can be constructed.“ However, what he does take his analyses to show is that „the most precise and powerful slingshot arguments demonstrate conclusively that the logical and ontological theories originally targeted must satisfy non-trivial conditions if they are to avoid logical or ontological collapse.“ (P. 12) The book starts with the discussion of the philosophy of Donald Davidson, who appears to have brought the slingshot argument to the current prominence within philosophical discussions. Here we encounter the first variant of the slingshot: Consider two sentences φ and ψ and a proper name d. Consider the definite descriptions ‘the object x such that (x = d and φ)’ and ‘the object x such that (x = d and ψ)’.. (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)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...) (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

Chisholm's ontological objective is the reductionist one of translating statements which appear to be about propositions and generic events into statements about states of affairs, denying the existence of concrete events altogether. The paper questions this program by criticising the notion of concretization on which Chisholm heavily relies. It is argued that there are no convincing arguments in favor of eliminative reductionism. Translability of statements about one kind of entity into statements about another kind of entity has nothing to do (...) with what exists. (shrink)

I develop new paths to the existence of a concrete necessary being. These paths assume a metaphysical framework in which there are abstract states of affairs that can obtain or fail to obtain. One path begins with the following causal principle: necessarily, any contingent concrete object possibly has a cause. I mark out steps from that principle to a more complex causal principle and from there to the existence of a concrete necessary being. I offer a couple alternative causal principles (...) and paths, too. The paths marked out rely on relatively modest causal principles and avoid many obstacles that traditional cosmological arguments face. (shrink)

States of affairs raise, among others, the following questions: What kind of entity are they (if there are any)?

Stephen Neale presents, in Facing Facts (Oxford: Clarendon Press, 2001), one convenient package containing his reasoned complaints against theories of facts and non-extensional connectives. The slingshot is a powerful argument (or better, it is a powerful family of arguments) which constrains theories of facts, propositions and non-extensional connectives by showing that some of these theories are rendered trivial. This book is the best place to find the state of the art on the slingshot and its implications for logic, language and (...) metaphysics. It provides a useful starting point for anyone who has wondered what all of the fuss about the slingshot amounts to. Neale shows that the fuss does amount to something, and that theories of facts must “face facts” and present an adequate response to the slingshot. However, Neale’s evaluation of the state of play for theories of facts is too pessimistic. As the book draws near to a close, Neale writes: As I have stressed, Russell’s Theory of Facts, according to which facts have properties as components, is safe. It is certainly tempting to draw the moral that if one wants non-collapsing facts one needs properties as components of facts. I have not attempted to prove this here, but I suspect it will be proved in due course. (page 210) Neale concludes that while theories which take facts to be structured entities are safe from slingshot arguments, and he suspects that this is the only kind of fact theory safe from slingshot-style collapse. If this were the case, then theories such as situation theories or accounts of truthmakers may well be threatened. However, Neale’s suspicion is ill-founded, as I shall soon show. Not only do Russellian theories of facts survive the slingshot unscathed, but so can theories of facts which take them to be unstructured entities. Furthermore, the way that this may be not only argued for, but proved can provide a new weapon in the armoury of the theorist investigating fact theories. (shrink)

In 1997, David Armstrong argued that the world is a world of states of affairs. In his latest book, Truth and Truthmakers, he remains strongly committed to the existence of states of affairs, despite now advocating an ontology in which they are not needed, 'as an ontological extra'. States of affairs remain needed, Armstrong says, 'to act as truthmakers for predicative truths'. In this paper, I attempt to shed light on what Armstrong might mean by this claim. While there is (...) a straightforward sense in which states of affairs are not needed in Armstrong's amended ontology, I suggest that Armstrong might be charitably interpreted in a manner that justifies his claim. However, in clarifying the manner in which states of affairs remain needed in Armstrong's ontology, it becomes unclear whether they are needed in any 'deep' sense, or rather are merely parochial to his ontology. I examine Armstrong's rejection of Resemblance Nominalism on the grounds that it does not provide adequate 'minimal' truthmakers. I then argue that he has significant additional work to do in explaining this concept before his rejection of Resemblance Nominalism can be justified, and thus before the need for states of affairs can be asserted generally, rather than just within particular ontologies, such as Armstrong's amended one. (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)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)