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)

The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

In this paper I argue in favour of a new definition of presentism that I call ‘existence presentism’ (EP). Typically, presentism is defined as the thesis that ‘only present objects exist’, or ‘nothing exists that is non-present’.1 I assume these statements to be equivalent. I call these statements of presentism ‘conventional presentism’ (CP). First, in §2, I rehearse arguments due to Ulrich Meyer that purport to show that presentism is not adequately defined as CP. In §§2.1–2.4 I show that considerations (...) of the sort raised by Meyer infect attempts to define presentism, due to Thomas Crisp, Tom Stoneham, and Theodore Sider. Thus the first half of the paper is constituted by a negative project that looks to show how extant definitions of presentism fail. In the second half of the paper, I continue in the negative theme in §3, before laying out EP and demonstrating that it solves the problems faced by CP and offering explanations of how to make sense of certain key notions that lie at the heart of EP. I conclude that EP is preferable to CP. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

In this paper I show that a novel ontic reading of explanation, intending to capture the de re essential features of individuals, can support the qualitative view of individual essences. It is argued further that the putative harmful consequences of the Leibniz Principle and its converse for the qualitative view can be avoided, provided that individual essences are not construed in the style of the naïve bundle theory with set-theoretical identity- conditions. Adopting either the more sophisticated two-tier BT or, alternatively, (...) the neo-Aristotelian position of taking essences as natures in the Aristotelian sense, can help to evade these main charges against the qualitative view. The functional parallels with the alternative haecceitistic view of individuation and individual essence will also be considered. (shrink)

Standard truthmaker theory has generally assumed a realist account of de re modality and essences. But there are reasons to be skeptical about such a view, and for considering antirealist alternatives. Can truthmaker theory survive in the face of such skepticism? I argue that it can, but that only certain antirealist perspectives on de re modality are acceptable for truthmaker theory. In particular, either a quasi-realist or conventionalist account of de re modality is needed to provide the best account of (...) essential and accidental features that can be put to work in truthmaker theory. An important consequence of this approach is that it offers an account of truthmaking that is consistent with a nominalist perspective on properties, and yet fully respects the ontological ambitions driving truthmaker theory. (shrink)

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (shrink)

According to one popular criterion of property identity, where X and Y are properties, X is identical with Y if and only if X and Y bestow the same conditional powers on their bearers. In this paper, I argue that this causal criterion of property identity is unsatisfactory, because it fails to provide a sufficient condition for the identification of properties. My argument for this claim is based on the observation that the summing of properties does not entail the summing (...) of the conditional powers that they bestow on an object, but, rather, in some cases their subtraction. If so, the following causal structure seems possible: There are two properties, A and B. Each bestows a different set of conditional powers on its bearer, but the conjunctive property A-and-B bestows exactly the same set of conditional powers as either A or B. If this causal structure is possible, then it creates a serious problem for the causal criterion of property identity. (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

It is argued that if we take grounding to be univocal, then there is a serious tension between truth-grounding and one commonly assumed structural principle for grounding, namely transitivity. The primary claim of the article is that truth-grounding cannot be transitive. Accordingly, it is either the case that grounding is not transitive or that truth-grounding is not grounding, or both.

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. (shrink)

The timeless solution to the problem of divine foreknowledge and human freedom has many advantages. Still, the relationship between a timeless God and temporal beings is problematic in a number of ways. In this paper, we focus on the specific problems the timeless view has to deal with when certain assumptions on the metaphysics of time are taken on board. It is shown that on static conception of time God’s omniscience is easily accounted for, but human freedom is threatened, while (...) a dynamic conception has no problems with human freedom, but, on this view, some truths seem not to be knowable by a timeless God. We propose Fragmentalism as a metaphysics of time in which the divine timeless knowledge of temporal events and human freedom can be reconciled. -/- . (shrink)

This article seeks to clarify and theorise three fundamental themes in the work of John Milbank: truth, faith and reason. In his work, Milbank often uses these terms in ambiguous ways, so the terminology requires clarity to facilitate further productive discussion. It is found that truth refers to the revelation of the divine relations in the Trinity, and these correspond with human relations when this revelation is apprehended by faith through participation. Faith means trust or persuasion, such that when the (...) divine is graciously revealed, the mind is transformed and persuaded to participate in the divine relations. This faith is reconciled with reason, or logos, the divine word which is Christ and is the ultimate revelation of the Trinity through the Incarnation, which produces a reason that leads to peace based in faith. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Our project in this essay is to showcase nonnaturalistic moral realism’s resources for responding to metaphysical and epistemological objections by taking the view in some new directions. The central thesis we will argue for is that there is a battery of substantive moral propositions that are also nonnaturalistic conceptual truths. We call these propositions the moral fixed points. We will argue that they must find a place in any system of moral norms that applies to beings like us, in worlds (...) similar to our own. By committing themselves to true propositions of these sorts, nonnaturalists can fashion a view that is highly attractive in its own right, and resistant to the most prominent objections that have been pressed against it. (shrink)

Since the publication of Universals and Scientific Realism (Armstrong 1978a, b) until Sketch for a Systematic Metaphysics (Armstrong 2010), via Universals: An Opinionated Introduction (Armstrong 1989), a World of States of Affairs (Armstrong 1997), and Truth and Truthmakers (Armstrong 2004), David Armstrong has developed one of the most influential theories of instantiation in contemporary analytic metaphysics (see, for example, Lewis, in Aust J Phil 61(4), 343–377, 1983; Baxter in Aust J Phil, 79, 449–464, 2001; Forrest, in Aust J Phil, 83, (...) 213–228, 2006). Instantiation has been advocated by Armstrong to give a solution to what he has called the “pressing problem” of “the multiple location of property universals” (Armstrong, in Universals: An opinionated introduction. University Press, Cambridge, 1989, pp. 89–90). Here I argue that Armstrong’s theory of instantiation fails to solve the problem because it involves two kinds of instantiation to account for particulars “having” and “sharing” universals. As a viable alternative to Armstrong’s theory, I propose a theory of instantiation capable of accounting for both phenomena in a univocal way. (shrink)

The purpose of this article is to demonstrate that, if we pursue an approach to metaphysics widespread in contemporary philosophy that moves from the study of language to ontology, but do not remove religious claims from the language deemed appropriate for the task, we end up with an approach to metaphysics which is remarkably similar to the kind of theological method which Robert Jenson has advocated for much of his career.

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (shrink)

The standard view of truth-conditional semantics is that it is world-involving in the sense that a theory that specifies truth conditions eo ipso is a theory that specifies the way the world must be if the target sentences are to be true. It would appear to follow that the semantic properties of expressions, such as nominals, specify the very worldly objects that make true or false the sentences that host the nominals. Chomsky and others have raised a fundamental complaint against (...) this thought: perfectly quotidian nominals, such as London or book, may occur copredicatively as a single argument of categorically mismatched predicates, which prima facie preclude a coherent uniform construal of the nominal argument. The argument has hitherto been presented via examples that challenge the standard view. My aim here is to present the argument explicitly, defend it against some likely counterclaims, and resolve what might appear to be a decisive consideration against the conclusion of the argument, viz., if nominals as copredicatively occurring do not contribute uniform worldly entities, then how can the copredicative constructions be counted as true? (shrink)

If there are facts about what grounds what, are there any grounding relations between them? This paper suggests so, arguing that transitivity and amalgamation principles in the logic of grounding yield facts of grounding that are grounded by others. I develop and defend this view and note that combining it with extant accounts of iterated grounding commits us to seemingly problematic instances of ground-theoretic overdetermination. Taking the superinternality thesis as a case study, I discuss how defenders of this thesis should (...) respond. It emerges that our discussion puts pressure on superinternalists to make an interesting qualification to their view: to only regard as a fundamental metaphysical law a version of the superinternality thesis that is restricted to minimal and immediate grounding. (shrink)

Theories of truthmaking have been introduced quite recently in epistemology. Having little to do with truth serums, or truths drugs, their concern is to define truth in terms of a certain relation between truthbearers and truthmakers. Those theories make an attempt to remedy what is supposed to be lacking in classical theories of truth, especially in Alfred Tarski’s semantic theory.

Often when one omits to do a certain thing, there's no action that is one's omission; one's omission, it seems, is an absence of any action of some type. This paper advances the view that an absence of an action--and, in general, any absence--is nothing at all: there is nothing that is an absence. Nevertheless, it can result from prior events that one omits to do a certain thing, and there can be results of the fact that one omits to (...) do something. This is so even if absences cannot be causes or causal effects. (shrink)

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

Traditional correspondence theory of truth with the concept of fact encounters many serious difficulties, main one of which is that it is too difficult to explain clearly the concept of ‘fact’ and how propositions ‘correspond’ to facts. This does not mean that we should abandon the traditional correspondence theory of truth and turn to some other type theories of truth. In order to guarantee the objectivity of truth, any reasonable theory of truth must adhere to the core insight of the (...) traditional correspondence theory: it is not something in our language, nor in our mind, but something in the external world, that make the propositions we use to describe the states of affairs in the world either true or false. It is entirely possible to formulate a new correspondence theory of truth without the concept of fact but still adhering to the core insights mentioned above of the traditional correspondence theory. New correspondence theory of truth has its own metaphysical and epistemological assumptions, and also its assumption in the philosophy of language. Because of the generativity of language, in defining the concept of truth, the new correspondence theory of truth must resort to Tarskian recursive procedure. First, it gives the semantic value of the components of a proposition, defines the truth of its atomic propositions, then gradually defines the truth of its more and more complex propositions and finally of the whole proposition. Coherence is the intrinsic element of truth. The concept of truth is by no means trivial and insignificant; on the contrary, it is very substantive. The pursuit of truth is our mission. (shrink)

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)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

Truth is a fundamental philosophical concept that, despite its common and everyday use, has resisted common-sense formulations. At this point, one may legitimately wonder if there even is a common-sense notion of truth or what it could look like. In response, I propose here a common-sense account of truth based on four “truisms” that set a baseline for how to go about building an account of truth. Drawing on both ordinary language philosophy and contemporary pragmatic approaches to truth, I defend (...) a pragmatic, common-sense theory of truth. The result is a theory that focuses the use and function of truth while also emphasizing its “subject-independence.”. (shrink)

In this paper I examine whether the Humean denial of necessary connections between wholly distinct contingent existents poses problems for a theory of tropes. In section one I consider the substance-attribute theory of tropes. I distinguish first between three versions of the non-transferability of a trope from the substratum in which it inheres and then between two versions of the denial of necessary connections. I show that the most plausible combination of these views is consistent. In section two I consider (...) an objection to the bundle theory using the Humean doctrine that is advanced by Armstrong, and argue that it is unconvincing. In section three I return to the version of non-transferability that would cause obvious trouble for a substance-attribute theory, and less obvious trouble for a bundle theory. I argue that there is independent reason to reject this principle since, given a perdurantist metaphysic, it does not in fact secure what appeared to be its only benefit: namely that it allows tropes to act as truthmakers. I conclude that there is no objection to trope theory per se on the grounds that it brings commitment to necessary connections. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

This paper employs recent developments in the theory of truthmakers to offer a novel solution to the most discussed philosophical challenge presented by the Christian doctrine of the Trinity. According to the view developed, the Father, Son, and Spirit each serve as the only substantial constituent of equally minimal truthmakers for claims about God. Because they do, there is a clear and robust sense in which each is a substance that “is” God as much as anything is, while the three (...) remain distinct from each other. The view is shown to hold certain prima facie advantages over rival extant approaches. (shrink)

Wittgenstein's conception of logical and conceptual truth is often thought to rival that of the logical positivists. This paper argues that there are important respects in which these conceptions complement each other. Analyticity, in the positivists' sense, coincides, not with Wittgenstein's notion of a grammatical proposition, but rather with his notion of a tautology. Grammatical propositions can usually be construed as analyticity postulates in Carnap's sense of the term. This account of grammatical and analytic propositions will be illustrated by appeal (...) to logical, conceptual and arithmetic truths. Its consequences for an analysis of corresponding modal notions will be indicated. (shrink)

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)