Truthmakers

Adrian Heathcote has proposed a truth-making account of knowledge that combines traditional conditions of justified true belief with the truth-making condition, which would jointly provide us with the sufficient condition of knowledge, and this truth-maker account of knowledge in turn explains why a gettiered justified true belief fails to be regarded as a genuine instance of knowledge. In this paper, by the comparison of two different casual models that are illustrated by the thermometer and the clock respectively, however, it will (...) be argued that Heathcote’s truth-making account of knowledge fails to cope with the Gettier case of the stopped clock and therefore is called for some further remedy. (shrink)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

_ Source: _Page Count 25 The familiar challenges to historiographical knowledge turn on epistemological concerns having to do with the unobservability of historical events, or with the problem of establishing a sufficiently strong inferential connection between evidence and the historiographical claim one wishes to convert from a true belief into knowledge. This paper argues that these challenges miss a deeper problem, viz., the lack of obvious truth-makers for historiographical claims. The metaphysical challenge to historiography is that reality does not appear (...) to co-operate in our cognitive endeavours by providing truth-makers for claims about historical entities and events. Setting out this less familiar, but more fundamental, challenge to the very possibility of historiography is the first aim of this paper. The various ways in which this challenge might be met are then set out, including ontologically inflationary appeals to abstract objects of various kinds, or to “block” theories of time. The paper closes with the articulation of an ontologically parsimonious solution to the metaphysical challenge to historiography. The cost of this approach is a revision to standard theories of truth. The central claim here is that the standard theories of truth have mistaken distinct causes of truth for truth itself. This mistake leads to distorted expectations regarding truth-makers for historiographical claims. The truth-makers of historiographical claims are not so much the historical events themselves but atemporal modal facts about the order of things of which those events were a part. (shrink)

In Categories 12 (14b11–22), Aristotle famously claims that [1] true sentences and reality stand in a mutually implicative relationship, and that [2] reality causes the truth of sentences but not vice versa. In this paper, I first argue that Boethius’ reading of the above passage led medieval logicians to assess [1] and [2] within the framework of a theory of consequence. Then, I consider two important questions raised by Boethius and later logicians in relation to [1] and [2], and, namely, (...) whether the implication described in [1] really satisfies the requirement for consequence, and whether the truthmaking relation posited in [2] can be boiled down to the relation of consequence. Boethius himself, I argue, answered affirmatively to both questions and thus (much like some contemporary truthmaker theorists) committed himself to an account of truthmaking as entailment. I then consider criticisms to Boethius’ account found in the writings of William of Champeaux, two anonymous authors connected to the school of Jocelyn of Soissons, Peter Abelard, and the author of the Ars Meliduna. Here, I argue that the emergence of a concern for relevance drives the need for abandoning Boethius’ account as well as his conception of truthmaking as entailment. (shrink)

I outline a deflationary truthmakers account of social groups. Potentially, the approach allows us to say, with traditional ontological individualists, that there are only pluralities of individuals out there, ontologically speaking, but that there are nevertheless colloquial and social-scientific truths about social groups. If tenable, this kind of theory has the virtue of being both ontologically parsimonious and compatible with ordinary and social-scientific discourse—a virtue which the stock reductive / ontological dependence accounts of social groups arguably lack.

In his "On the Metaphysics of Knowledge" (this volume), Sven Bernecker introduces and defends a novel account of knowledge that he calls ‘identificationism’. In fact, Bernecker’s account is a hybrid view that combines a modal tracking condition – some variation on safety and/or sensitivity – with his original identificationist condition. The reason for including a tracking condition is that some Gettier cases, like the famous fake barn case, are best accommodated in this way. In making this more familiar claim, Bernecker (...) follows epistemologists like Nozick, Sosa, or Pritchard. But he also adds the less familiar claim that there are ‘intractable’ Gettier cases that cannot be dealt with by a tracking condition alone. These intractable cases involve necessary or modally stable propositions, such as '2+2=4' or 'there is carbon on earth', which are either true in all possible worlds, or at least true in all possible worlds that are close to the actual world. In this paper, I will not directly address the epistemological adequacy of Bernecker’s identificationism. Rather, I want to focus on the substantial metaphysical commitments that it incurs, in particular on the problematic idea that our epistemic reasons identify the truthmaker of our respective belief when we know something. My conclusion will be that being a truthmaker for p is metaphysically more demanding than being an epistemic reason for p. A truthmaker for p must necessitate the truth of p, while an epistemic reason for p must merely indicate the truth of p. Thus, we should not expect that epistemic reasons identify the truthmakers of our knowledge-constituting beliefs in the way that Bernecker suggests. (shrink)

According to the correspondence theory of truth a proposition is true if and only if it corresponds to a fact. The present entry explains this definition, outlines an ontology of facts, and sketches a theory of meaning that naturally accompanies the correspondence theory of truth. It also discusses two major challenges the correspondence theory faces, related to the meanings of the logical expressions `not' and `all', and surveys possible solutions.

In this review I take to task the related views of E.J. Lowe, John Heil and Peter Simons according to which relations don't exist because they're dispensable qua truth-makers. I argue that this view is methodologically unstable because we also have reason to believe that relations exist because our best mathematical and scientific theories say so, i.e. quantify over them.

This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. The paper will (...) show that abstract states as the entities described by (most) stative verbs are incompatible with Neo-Davidsonian event semantics and proposes a decompositional analysis of stative verbs that may be able to overcome the difficulty. The paper will argue that in addition to Davidsonian events, the semantics of adverbials requires events as truthmakers as well as actions as more complex entities sharply distinguished from events. The paper will also argue that the verbal domain of events sides with mass nouns rather than dividing into mass and count, unlike event nouns. (shrink)

According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)

Both Jago, in his 2020 article ‘A short argument for truthmaker maximalism’ and his 2021 article ‘Which Fitch?’, and Loss in his 2021 article ‘There are no fundamental facts’, employ arguments similar to that familiar from the Church–Fitch Paradox to infer some substantial metaphysical claims from their mere logical possibility. Trueman in his 2022 article ‘Truthmaking, grounding and Fitch’s paradox’ and Nyseth in his 2022 article ‘Fitch’s paradox and truthmaking’ respond by using exactly the same kind of argument to prove (...) contrary theses. Intended as bad company objections, these counterarguments cast doubt on the original arguments, but do not actually identify their flaw. This paper aims to fill this gap. (shrink)

I argue that relaxed moral realists are not ontologically committed to moral properties. Regardless of whether we tie ontological commitment to quantification, entailment, or truthmaking, if moral properties are not explanatory (as relaxed realists claim), then moral truths do not require moral properties. This permits a nominalist form of relaxed realism that is both simpler and more ecumenical than extant formulations. The possibility of such a position places pressure on the ontology of competing views—and helps focus attention on the critical (...) and underexplored explanatory element of the relaxed realist’s program. (shrink)

We construct a presentist semantics on which there are no truth-makers for past and future tensed statements. The semantics is not an expressivist or projectivist one, and is not susceptible to the semantical difficulties that confront such theories. We discuss how the approach handles some standard concerns with presentism.

According to orthodoxy, our best physical theories strongly support Eternalism over Presentism. Our goal is to argue against this consensus, by arguing that a certain overlooked aspect of our best physical theories strongly supports Presentism over Eternalism.

Recently, non-realist cognitivism has been charged with failing to meet various semantic challenges. According to one such challenge, the non-realist cognitivist must provide a non-trivial account of the meaning and truth conditions of moral claims. In this paper, we discuss the various strategies proposed to overcome this challenge. Our aim is to propose a new semantics, a Meinongian referential semantics that is based on truthmaker theory. The consequences of our proposal are two-fold. First, it alleviates objections raised against previous Meinongian (...) semantic approaches. Second, adopting the novel semantics highlights the great theoretical flexibility of non-realist cognitivism. (shrink)

Non-Realist Cognitivism is a meta-ethical theory that is supposedly objectionably unclear. Recently, Farbod Akhlaghi (2022) has provided a novel exposition of Parfit’s Non-Realist Cognitivism that employs truthmaker theory to clarify it. He illustrates that such clarification leads the non-realist cognitivist into a dilemma: either the theory has to accept truthmaker maximalism, rendering the theory inconsistent, or it has to let go of truthmaking altogether. He also attempts to undercut a “partners-in-innocence” strategy that the non-realist cognitivist utilizes to motivate the key (...) assumption of Non-Realist Cognitivism: that normative truths are truthmaker gaps. In this paper, we do three things in reply to Akhlaghi. First, we show how most of his attempts to disqualify candidate partners-in-innocence fail, or at best miss the point. Second, we provide a case for a partner-in-innocence Akhlaghi never covers, though inadvertently mentions. Third, we outline how the non-realist cognitivist could reply to Akhlaghi’s dilemma in a way that allows Non-Realist Cognitivism to come out unscathed. (shrink)

The basic concepts we use to frame metaphysical discussions – our tools of metaphysics – profoundly influence how those discussions proceed. Much recent work in anglophone metaphysics has centred on a set of hyperintensional such tools: grounding, dependence, fundamentality, and essence. This topical collection will provide new perspectives on these debates by bringing them into contact with Asian metaphysical traditions.

This paper explores the ‘metatheoretical location’ of principles in metaphysical theories, using the debate between Cameron and Goff as a case study. These principles can be situated either in a pre-theoretical framework or within the process of theorizing itself. Traditional truthmaking theorists, like Goff, view truthmaking principles as pre-theoretical assumptions that guide metaphysical inquiry. In contrast, Cameron advocates for a heterodox approach, where such principles are treated as theoretical conclusions reached through contentious debate and argumentation. This distinction has significant implications (...) for how theories are evaluated. By examining this debate, the paper highlights how the metatheoretical positioning of methodological principles influences theoretical discourse in analytic metaphysics. (shrink)

Relaxed realist theories are becoming more common in metanormative theory. They want the advantages of robust forms of realism but without their metaphysical underpinnings. However, it is not always clear how we should understand relaxed realist theories in general. In this paper I clarify and defend relaxed realism. First, I characterise and distinguish relaxed realist theories from robust realist theories. Second, I defend relaxed realism against a challenge from truthmaker theory.

This paper defines relational properties and argues for their reducibility in a, broadly speaking, Armstrongian framework of state of affairs ontology and truthmaking. While Armstrong’s own characterisation and reduction of them arguably is the best one available in the literature of this framework, it suffers from two main problems. As will be shown, it neither defines relational properties very clearly (if at all), nor provides an adequate conception of their reduction. This paper attempts to remedy this situation in four steps. (...) First, it introduces relational properties and why they matter in metaphysics in general. Second, by briefly comparing and contrasting them with extrinsic properties, and by briefly mapping them onto a tripartite division of relations, the particular kinds of relevant relational properties are identified. Third, it classifies relational properties and thereby makes possible an apt definition of them. Finally, using the notion of truthmaking, it outlines a more satisfactory case for their reduction. (shrink)

This paper gives a semantic analysis of 'completion-related verbs of absence' such as 'lack' and 'be missing' in English. The analysis is based on the notion of a conceptual (integrated or ideal) whole, the notion of a variable object and its variable parts, and an ontology of 'lacks' as entities whose satisfaction involves parts. The semantics will be embedded into that of object-based truthmaker semantics of modals (Moltmann 2008, 2024).

In recent years there has been a lot of skepticism about the existence of facts. It seems that one of the last places for their application is in truthmaking theory. In this paper I discuss two approaches to the use of facts in truthmaking. The first, categorial, holds that facts are entities that belong to one of three ontological categories (true propositions, truth of propositions, instantiations of universals).The second, deflationary, holds that a fact is merely a functional concept denoting any (...) entity that performs a truthmaking function. I argue that in the face of significant criticism of categorial facts as truthmakers, a defender of facts may resort to the deflationary concept. Nevertheless, even in this case we can do without facts as truthmakers. (shrink)

For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (shrink)

Developments in truthmaker semantics for the most part stay clear of the metaphysical issue of what sort of entities serve as the truthmakers and falsitymakers for sentences. It is assumed that perhaps facts or states of affairs (Fine, 2017a; Jago, 2020), with these taken sometimes as concrete particulars (Hawke, 2018) could serve for the job, but nonetheless that some such entities would do. In this paper I take a closer look at the issue of what entities could or could not (...) play the role of truthmakers and falsitymakers in standard truthmaker semantics (Fine, 2016, 2017a,b; Fine and Jago, 2019), based on desiderata imposed by metaphysical and semantic considerations. (shrink)

Abstractionists claim that the only bearers of intrinsic value are abstract, necessarily existing states of affairs. I argue that abstractionism cannot succeed. Though we can model concrete goods such as lives, projects, and outcomes with abstract states, conflating models of goods with the goods themselves has surprising and unattractive consequences. I suggest that concrete states of affairs or facts are the only bearers of intrinsic value. I show how this proposal can overcome the concerns lodged against abstractionism and, in the (...) process, reconnect us with the good. (shrink)

According to alethic pluralism, sentences belonging to different domains of discourse can be true by having different alethic (i.e., truth-constituting) properties. Against this pluralistic view, Jamin Asay has recently argued that pluralists' appeal to multiple alethic properties is ill-motivated because the main advantages of pluralism can already be obtained within the framework of standard truthmaker theory. In response to this objection, this paper argues that Asay's claim does not hold with respect to one of the central advantages of pluralism, namely, (...) the ability to offer a proper understanding of the realism/anti-realism debate. This is because, first, when simply construed, truthmaker theory can only provide an inadequate understanding of the debate, and second, when construed in certain ways that allow it to avoid inadequacy, it becomes committed to multiple alethic properties. (shrink)

Truthmaking is the metaphysical exploration of the idea that what is true depends upon what exists. Truthmaker theorists argue about what the truthmaking relation involves, which truths require truthmakers, and what those truthmakers are. This Element covers the dominant views on these core issues in truthmaking. It also explores some key metaphysical topics and debates that are usefully approached by employing the tools of truthmaker theory: the debate between presentists and eternalists over the existence of entities from the past, and (...) the debate between actualists and possibilists over merely possible states of affairs. In the final section, the Element explores how to think about truthmakers for truths involving social constructions. (shrink)

When and why does awareness of a belief's genealogy render it irrational to continue holding that belief? According to explanationism, awareness of a belief’s genealogy gives rise to an epistemic defeater when and because it reveals that the belief is not explanatorily connected to the relevant worldly facts. I argue that an influential recent version of explanationism, due to Korman and Locke, incorrectly implies that it is not rationally permissible to adopt a “sparse” ontology of worldly facts or states of (...) affairs. I then propose a new explanationist account of genealogical defeat capable of accommodating rational belief in ontological sparsity. According to my account, awareness of a belief’s genealogy gives rise to a defeater when and because it reveals that the belief is not explanatorily connected to its truthmaker. (shrink)

William of Ockham (d. 1347) is well known for his commitment to parsimony and for his so-called ‘razor’ principle. But little is known about attempts among his own contemporaries to deflect his use of the razor. In this paper, I explore one such attempt. In particular, I consider a clever challenge that Ockham’s younger contemporary, Walter Chatton (d. 1343) deploys against the razor. The challenge involves a kind of dilemma for Ockham. Depending on how Ockham responds to this dilemma, his (...) razor will, Chatton argues, either prove unacceptably dull when it comes to determining ontological commitment or prove unacceptably sharp when it comes to determining commitments entailed by certain theological doctrines. While Chatton’s objection is subtle and interesting in its own right, the broader significance of the debate between these thinkers lies in the light it sheds on medieval approaches to issues surrounding metaphysical methodology. (shrink)

There are two versions of the correspondence theory of truth: the object-based correspondence theory and the fact-based correspondence theory. Some scholars have put forward their objections to my rejection of the concept of a fact and their defence of that concept. But their arguments are not cogent, since they haven’t clarified the relation between facts and propositions, haven’t successfully argued for the necessity and feasibility of introducing the concept of a fact, and haven’t provided an acceptable standard of identity for (...) facts. Under the framework of the fact-based correspondence theory, a “negative fact” is usually introduced to explain the falsehood of an affirmative proposition and the truth of a negative proposition. But, after careful analysis, we find that the positing of negative facts is the result of the concurrence of three factors: the positive states of objects, the expectations of cognitive subjects, and certain kinds of inferences, Thus, negative facts at most have a sort of inferential “existence” without independent ontological status. The positing of negative facts has been criticized for many reasons, such as the ontological inflation of negative facts, the supervenience of negative facts on positive facts, the imperceptibility of negative facts, and the lack of causal force of negative facts. Many replies to these criticisms have been put forward, such as the dilemma argument, the self-defeating argument, and the role-making of negative facts: constitution (e.g. hole-making), causation (event-making), chance-making, and truth-making. However, these replies can also be reasonably rejected. The final conclusion of this article is that, in order to account for the falsehood of an affirmative proposition and the truth of a negative proposition, we can appeal to the object-based correspondence theory of truth without appealing to the concept of a fact, let alone the concept of a “negative fact”. (shrink)

This paper addresses some problems related to the relation of truthmaking, especially those concerning its necessity, adopting an essentialist point of view and focusing on the nature of truthbearers. According to the orthodox view in truthmaker theory, the relation of truthmaking is necessary in some sense. Thus, an important question involves how the relation of truthmaking is made necessary. I adopt a version of Jonathan Lowe’s essentialist approach to this question. However, contra Lowe, I take token acts of predication as (...) the primary truthbearers. This is Peter Hanks’ view in the philosophy of language. I shall argue that some problems with the essentialist approach can be solved by taking the nature of token acts of predication to be the source of necessity in truthmaking. At the end of this paper, I shall also briefly outline two general consequences related to truthmaking that I suppose this move about truthbearers should have. (shrink)

I identify an inconsistency in Jago’s theory of truth. I show that Jago is committed to the identity of the proposition that the proposition that A is true and the proposition that A. I show that Jago is committed to the proposition that A being true because A if the proposition that A is true. I show that these two commitments, given the rest of Jago’s theory, entail a contradiction. I show that while the latter commitment follows from Jago’s theory (...) of truth, even by Jago’s own lights he should not be committed to the identity of the proposition that the proposition that A is true and the proposition that A. (shrink)

There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also on the indistinguishability of particles. Both issues were discussed as far back as the late 1920’s. However, the implications of these challenges to classical ontology were taken up rather late, in part in the ‘quantum set theory’ of Takeuti (Curr Issues Quant Logic 303–322, 1981), Finkelstein (in Beltrametti EG, Van Fraassen BC (eds) Current issues in (...) quantum logic. Plenum, New York, 1981) and the work of Décio Krause (1992)—and subsequent publications). But the problems created by quantum mechanics go far beyond set theory or the identity of indiscernibles (another subject that has been often discussed)—it extends, I argue, to our accounts of truth. To solve this problem, i.e. to have an approach to truth that facilitates a transition from a classical to a quantum ontology one must have a unified framework for them both. This is done within the context of a pluralist view of truthmaking, where the truthmakers are unified in having a monoidal structure. The structure of the paper is as follows. After a brief introduction, the idea of a monoid is outlined (in Sect. 1) followed by a standard set of axioms that govern the truthmaker relation from elements of the monoid to the set of propositions. This is followed, in Sect. 2, by a discussion of how to have truthmakers for two kinds of necessities: tautologies and analytic truths. The next Sect. 3, then applies these ideas to quantum mechanics. It gives an account of quantum states and shows how these form a monoid. The final section then argues that quantum logic does not, despite what one might initially suspect, stand in the way of an account of quantum truth. (shrink)

The metaphysical doctrine of emergence continues to exert a powerful pull on philosophers and metaphysically inclined scientists. This paper focuses on a recent account of emergence advanced by Jessica Wilson in Metaphysical Emergence, but the discussion has the broader aim of making explicit some of the underlying themes that inspire thoughts of emergence generally. These prove to be, not merely optional, but largely lacking in merit.

A compositional nihilist believes that the only objects that exist are simples. However, a non-nihilist believes in the existence of composite objects and challenges the nihilist to explain why there are true sentences about chairs, tables, etc., if composite objects do not exist. Different nihilist views have been suggested to explain this (the paraphrase strategy and the truthmaker theory), but I believe that they are unsuccessful (either they do not successfully paraphrase every sentence apparently about composite objects, or they are (...) not precise about the truthmakers of those sentences). I will suggest that a new truthmaker theory, which uses resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy, can give such an explanation and does not face the problems of other theories. Therefore, we have a good reason to accept this truthmaker theory as the best nihilist way to accommodate sentences apparently about composite objects. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

There are many ways for truths to be true. How should we understand that idea? One is that there are different kinds of truth: the _ways_ are different truth-like properties. Another understanding is that a truth can be made true in different ways, by different kinds of entities. The former understanding supports alethic pluralism. But the latter can be understood as a kind of monism: truth is the existential property of having some truthmaker or other. On this view, the differences (...) reside in how a truth is made true, but not in its being true. I’ll discuss how these two understandings differ and what the potential advantages of the latter idea might be. (shrink)

As concerns the explication of the intuitive notion of truthmaking, Barry Smith has an insight that deserves more attention. Basically, in his view, an object x makes a proposition true iff (i) x necessitates and (ii) is representationally closely tied with x. To be more specific, he suggests that (ii) is fulfilled only if x is among ’s ontological commitments. I appreciate his basic insight but reject his specific suggestion. I argue that we can make a more attractive proposal from (...) his basic insight if we take into consideration that the close tie can also be realized by ’s being about x. (shrink)

This paper explores applying the truthmaker theory to address the challenge of divine simplicity and its alignment with Ibn Sina’s understanding of divine attributes. It proposes that God’s essence enables the predication of these attributes, eliminating the need for constituent properties. By adopting this approach, meaningful statements about God can be expressed without delving into ontological intricacies. The truthmaker account establishes a direct connection between God’s necessary existence and the truthfulness of statements about Him, overcoming the barrier of ineffability. It (...) offers a robust framework for understanding and expressing the truth of divine attributes while preserving divine simplicity. Ultimately, the truthmaker account provides a compelling resolution to the problem of ineffability in the realm of divine attributes in Ibn Sina’s philosophy. (shrink)

I outline a version of idealism that borrows from Humean Supervenience. The resulting theory is immune to what is often considered to be the most powerful anti-idealist argument, the gist of which is that the idealist can’t supply truthmakers (or an adequate supervenience base) for commonly accepted truths about the physical world. That charge has no purchase on Humean idealism.

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond to (...) parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (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)