A commonly held idea regarding the nature of time is that the future is open and the past is fixed or closed. This article investigates the notion that there is an asymmetry in openness between the past and the future. The following questions are considered: How exactly is this asymmetry in openness to be understood? What is the relation between an open future and various ontological views about the future? Is an open future a branching future? What is the relation (...) between an open future and the question of whether contingent statements about the future are true or false? Is an open future compatible with a single determinate future? (shrink)

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)

Recently, some authors – call them Reformists – have argued that the traditional Presentism-Eternalism and Actualism-Possibilism debates in the metaphysics of time and modality respectively are unclear or insubstantial, and should therefore give way to the newer Temporaryism-Permanentism and Contingentism- Necessitism debates. In ‘On characterising the presentism/eternalism and actualism/possibilism debates’ (2016, Analytic Philosophy 57: 110-140), Ross Cameron defends the Conservative position that the traditional debates are both substantial and distinct from the Temporaryism-Permanentism and Contingentism- Necessitism debates. In this paper I (...) provide a Reformist response to Cameron’s arguments. (shrink)

Mesmo reconhecido por diversos autores recentes como precursor dos modernos conceitos de produtores de verdade e de produção de verdade, nenhum tratamento destes conceitos na obra de Aristóteles ainda foi apresentado. O presente artigo procura fazer uma apresentação introdutória destes conceitos no pensamento do mestre do Liceu através da análise de algumas passagens retiradas de Categorias e da Metafísica, mostrando que o conceito de produtor de verdade é determinado pela noção de estado de coisas e a relação de produção de (...) verdade por meio dos conceitos de fundação ontológica e de dependência ontológica. (shrink)

Presentists believe that only present things exist. Their theories, at first glance, seem to offer many admirable features: a simple ontology, and a meaningful, objective status for key temporal phenomena, such as the present moment and the passage of time. So intuitive is this theory that, as John Bigelow puts it, presentism was “believed by everyone...until at least the nineteenth century”. Yet, in the last 200 years presentism has been beset by criticisms from both physicists and metaphysicians. One of the (...) most significant criticisms is that presentists cannot provide an acceptable system of truthmaking. If there is no past, how can there still be truths about the past? In this paper, I introduce a new theory of presentism, which addresses this problem in a novel way: by simply denying that there are any truths about the past. While prima facie an unintuitive position, I will argue that a sensible presentist philosophy of this kind can be described, so long as it is accompanied by an appropriate system of physics. I will also indicate at certain points that adopting presentism could allow us to understand fundamental physics in new, more intuitive ways. By the end of the paper, I hope to not only show that hard presentism is a defensible theory of time, but also that it could offer a number of advantages to the physicist and the philosopher alike. (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.

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)

This paper maintains (following Yougrau 1987; 2000 and Hinchliff 1996) that the dead and other former existents count as examples of non-existent objects. If the dead number among the things there are, a further question arises: what is it to be dead—how should the state of being dead be characterised? It is argued that this state should be characterised negatively: the dead are not persons, philosophers etc. They lack any of the (intrinsic) qualities they had while they lived. The only (...) facts involving the dead are facts about the relations they stand in—including the relations they bear to the qualities they formerly instantiated, and the intentional relations they stand in to us. Given an appropriate conception of qualities the dead can be said to be quality-less objects: bare particulars. The ‘Bare Particular Theory’ of individuals, it is argued, is coherent if and only if it concedes that the bare particulars it allows for don’t exist. The account of the dead and other former existents as bare particulars does justice to the misfortune of death, and points the way to a general theory of nonexistent objects. (shrink)

I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.

Contrary to the commonly held position of Luis de Molina, Thomas Flint and others, I argue that counterfactuals of divine freedom are pre-volitional for God within the Molinist framework. That is, CDFs are not true even partly in virtue of some act of God’s will. As a result, I argue that the Molinist God fails to satisfy an epistemic openness requirement for rational deliberation, and thus she cannot rationally deliberate about which world to actualize.

Molinists hold that there are contingently true counterfactuals about what agents would do if put in specific circumstances, that God knows these prior to creation, and that God uses this knowledge in choosing how to create. In this essay we critique Molinism, arguing that if these theses were true, agents would not be free. Consider Eve’s sinning upon being tempted by a serpent. We argue that if Molinism is true, then there is some set of facts that fully explains both (...) Eve’s action and everything else Eve does that influences that action; and that if this is the case, Eve does not act freely. The first premise of this argument follows from the explanatory relations the Molinist is committed to, and the second premise follows from libertarian intuitions about free will. (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)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

In the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think that transcendental idealism (...) allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (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.

This paper argues that there is significant motivation for contemporary ethicists to affirm a view I call “moral property eliminativism.” On this eliminativist view, there are no moral properties, but there are moral truths that are made true by only nonmoral entities. Moral property eliminativism parallels eliminativist views defended in other domains of philosophical inquiry, but has gone nearly entirely overlooked by contemporary ethicists. I argue that moral property eliminativism is motivated by the claim that there cannot be differences in (...) moral truths without differences in nonmoral ontology—a claim widely endorsed by contemporary ethicists. Engaging with a variety of ways whereby one might resist the motivation I cite for moral property eliminativism, I argue that alternative contemporary metaethical views tend to purchase moral properties at the price of unnecessary theoretical complexity. (shrink)

17th-century Iberian and Italian scholastics had a concept of a truthmaker [verificativum] similar to that found in contemporary metaphysical debates. I argue that the 17th-century notion of a truthmaker can be illuminated by a prevalent 17th-century theory of truth according to which the truth of a proposition is the mereological sum of that proposition and its intentional object. I explain this theory of truth and then spell out the account of truthmaking it entails.

According to truthmaker maximalism, each truth has a truthmaker. Peter Milne has attempted to refute truthmaker maximalism on mere logical grounds via the construction of a self-referential truthmaker sentence M “saying” of itself that it doesn’t have a truthmaker. Milne argues that M turns out to be a true sentence without a truthmaker and thus provides a counterexample to truthmaker maximalism. In this paper, I show that Milne’s refutation of truthmaker maximalism does not succeed. In particular, I argue that the (...) notion of truthmaker meets two structural principles which, if added to a formal language of a theory, are already sufficient to produce a provable contradiction—a contradiction that gives rise to a socalled “Truthmaker paradox”. I also address the question of how to possibly resolve the Truthmaker paradox. I thereby show that the Truthmaker paradox, just as the strengthened Liar paradox, yields a “revenge problem” for paracomplete theories and might lead to triviality for Priest’s dialetheist account LP if the notion of truthmaker is defined as a certain semantic predicate within LP. But regardless of how one tries to cope with the Truthmaker paradox, this paradox is surely interesting in its own right. However, its significance is completely orthogonal to the question of whether truthmaker maximalism is a philosophically sound view. (shrink)

It is sometimes supposed that, in principle, we cannot offer an explanation for why there is something rather than nothing. I argue that this supposition is a mistake, and stems from a needlessly myopic conception of the form explanations can legitimately take. After making this more general point, I proceed to offer a speculative suggestion regarding one sort of explanation which can in principle serve as an answer to the question “why is there something rather than nothing?” The suggestion is (...) that there may be something rather than nothing in virtue of the truth of certain sorts of subjunctive conditionals. (shrink)

Robin Le Poidevin (2007) claims that we do form perceptual beliefs regarding order and duration based on our perception of events, but neither order nor duration are by themselves objects of perception. Temporal properties are discernible only when one first perceives their bearers, and temporal relations are discernible only when one first perceives their relata. The epistemic issue remains as to whether or not our perceptual beliefs about order and duration are formed on the causal basis of an event’s objective (...) order and duration. Le Poidevin raises this issue in the form of an epistemological puzzle of time perception, from which he derives the claim that the order and duration of events do not causally contribute to our perceptual beliefs about them. Since his view is motivated by a causal truthmaker principle for grounding knowledge, it also holds that perceptual beliefs about temporal features must be caused by the features themselves in order to count as knowledge. Given these theoretical commitments, there is a puzzle concerning how such perceptual beliefs could constitute knowledge of temporal properties. In response to Le Poidevin, I argue for an account according to which order and duration are objects of perception, causally contribute to our perceptual beliefs about them, and such beliefs are capable of counting as knowledge. I conclude by showing that, on my alternative account, the epistemological puzzle dissolves and his own solution to it fails. (shrink)

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious about (...) a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

This paper motivates and develops a new theory of time: priority presentism. Priority presentism is the view according to which (i) only present entities exist fundamentally and (ii) past and future entities exist, but they are grounded in the present. The articulation of priority presentism is an exercise in applied grounding: it draws on concepts from the recent literature on ontological dependence and applies those concepts in a new way, to the philosophy of time. The result, as I will argue, (...) is an attractive position that can do much of the same work in satisfying our intuitions about time as presentism, but without the ontological cost. (shrink)

Philosophical theorizing about truth manifests a desire to conform to the ordinary or folk notion of truth. This practice often involves attempts to accommodate some form of correspondence. We discuss this accommodation project in light of two empirical projects intended to describe the content of the ordinary conception of truth. One, due to Arne Naess, claims that the ordinary conception of truth is not correspondence. Our more recent study is consistent with Naess’ result. Our findings suggest that contextual factors and (...) respondent gender affect whether the folk accept that correspondence is sufficient for truth. These findings seem to show that the project of accommodating the ordinary notion of truth is more difficult than philosophers had anticipated because it is fragmentary. (shrink)

In this paper I consider the aboutness objection against standard truth-preserving presentism (STP). According to STP: (1) past-directed propositions (propositions that seem to be about the past) like , are sometimes true (2) truth supervenes on being and (3) the truth of past-directed propositions does not supervene on how things were, in the past. According to the aboutness objection (3) is implausible, given (1) and (2): for any proposition, P, P ought to be true in virtue of what P is (...) about, and so it is upon the past that the truth of past-directed propositions ought to supervene. Although an objection along these lines has been offered previously, I press the objection in two ways. First, by providing needed support for the view that propositions ought to be true in virtue of what they are about and, second, by arguing that the two responses available to the proponent of STP fail to be compelling. (shrink)

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (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)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the grounding argument against presentism. Many presentists (...) claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

According to dispositionalism, de re modality is grounded in the intrinsic natures of dispositional properties. Those properties are able to serve as the ground of de re modal truths, it is said, because they bear a special relation to counterfactual conditionals, one of truthmaking. However, because dispositionalism purports to ground de re modality only on the intrinsic natures of dispositional properties, it had better be the case that they do not play that truthmaking role merely in virtue of their being (...) embedded in some particular, extrinsic causal context. This paper examines a recent argument against dispositionalism that purports to show that the intrinsicality of that relation cannot be maintained, due to the ceteris paribus nature of the counterfactuals that dispositions make-true. When two prominent responses are examined, both are found wanting: at best, they require unjustified special pleading, and at worst, they amount to little more than ad hoc conceptual trickery. (shrink)

Explanation has played myriad roles in truthmaker theory. The notion of explanation is sometimes thought to give content to the very idea of truthmaking, and is sometimes used as a weapon to undermine the entire point of truthmaker theory. I argue that the notion of explanation is dialectically useless in truthmaker theory: while it’s true that truthmaking offers a form of explanation, this claim is theoretically unilluminating, and leaves truthmaker theorists vulnerable to various kinds of attack. I advocate an alternative (...) approach to truthmaker theory that downplays the role of explanation, and show how it releases the enterprise from a variety of problematic commitments that have troubled truthmaker theorists. The “ontology-first” approach to truthmaking that I advocate not only restores the initial impulse behind truthmaking, but also has a number of theoretical advantages. Most prominently, it dodges the infamous problem of negative existentials, and lessens truthmaker theory’s dependence on contentious intuitive judgments about both explanation and truthmaking. (shrink)

Truthmaker necessitarianism is the view that an object is a truthmaker for a truth-bearer only if it is impossible for the object to exist and the truth-bearer be false. While this thesis is widely regarded as truthmaking "orthodoxy", it is rarely explicitly defended. In this paper I offer an argument in favor of necessitarianism that raises the question of what the truthmakers are for the truths about truthmaking. The supposed advantages of non-necessitarianism dissolve once we take these truths into account.

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)

It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

Creeping minimalism threatens to cloud the distinction between realist and anti-realist metaethical views. When anti-realist views equip themselves with minimalist theories of truth and other semantic notions, they are able to take on more and more of the doctrines of realism (such as the existence of moral truths, facts, and beliefs). But then they start to look suspiciously like realist views. I suggest that creeping minimalism is a problem only if moral realism is understood primarily as a semantic doctrine. I (...) argue that moral realism is better understood instead as a metaphysical doctrine. As a result, we can usefully regiment the metaethical debate into one about moral truthmakers: in virtue of what are moral judgments true? I show how the notion of truthmaking has been simmering just below the surface of the metaethical debate, and how it reveals one metaethical view (quasi-realism) to be a stronger contender than the others. (shrink)

This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of truthmaking, and not by (...) any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory can (...) make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

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

Realism and anti-realism about a domain of thought are metaphysical theses that involve the natures of the truthmakers in that domain and the truthmaking relation that is operant in the domain. Truthmaker theory is not exclusive territory for realists: anti-realist views are also best understood in terms of how they understand truthmakers and truthmaking. In particular, I explore the possibility of projectivist truthmaking, and show how it makes sense of quasi-realism. In addition to critically examining some extant accounts of the (...) relationship between realism and truthmaking, I offer an account that best captures the nature of the various realism debates. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

_ The Metaphysics of Truth _By EdwardsDouglasOxford University Press, 2018. x + 198 pp.

Armstrong famously argued in favour of introducing totality facts in our ontology. Contrary to fully negative (absence) facts, totality facts yield a theory of “moderate” or “partial” negativity, which allegedly provides an elegant solution to the truthmaking problem of negative claims and, at the same time, avoids postulating (many) first-order absences. Friends of totality facts argue that partial negativity is (i) tolerable vis-à-vis the Eleatic principle qua mark of the real, and (ii) achieves a significant advantage in terms of ontological (...) parsimony. But are totality facts, which are partially negative, really more ontologically acceptable than fully negative facts? In this paper, we argue that, comparatively, the case for totality facts is weaker than commonly assumed and that, ultimately, the answer is negative. (shrink)

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)

Proclus (c.412-485) once offered an argument that Christians took to stand against the Christian doctrine of creation ex nihilo based on the eternity of the world and God’s perfection. John Philoponus (c.490-570) objected to this on various grounds. Part of this discussion can shed light on contemporary issues in philosophical theology on divine perfection and creation. First I will examine Proclus’ dilemma and John Philoponus’ response. I will argue that Philoponus’ fails to rebut Proclus’ dilemma. The problem is that presentism (...) is incompatible with divine simplicity, timelessness, and a strong doctrine of immutability. From there I will look at how this discussion bears on contemporary understandings of divine perfection and creation, and argue that there are at least two possible ways contemporary philosophical theologians can try to get around the dilemma. One option is to adopt four-dimensional eternalism and maintain the traditional account of the divine perfections. I argue that this option suffers from difficulties that are not compatible with Christian belief. The other option is to keep presentism and modify the divine perfections. I argue that this option is possible and preferable since our understanding of the divine perfections must be modified in light of divine revelation and the incarnation. (shrink)

Ross Cameron proposes to reconcile presentism and truth-maker theory by invoking temporal distributional properties, instantiated by present entities, as the truth-makers for truths about the past. This chapter argues that Cameron's proposal fails because objects can change which temporal distributional properties they instantiate and this entails that the truth-values of truths about the past can change in an objectionable way.

In this chapter I outline some metaphysical views about time, and about persistence, and discuss how they can help us clarify our thinking about life and death.