The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

Presentism says that only present objects exist. But the view has trouble grounding past-tensed truths like “dinosaurs existed”. Standard Eternalism grounds those truths by positing the existence of past objects—like dinosaurs. But Standard Eternalism conflicts with the intuition that there is genuine change—the intuition that there once were dinosaurs and no longer are any. I offer a novel theory of time—‘The Imprint’—that does a better job preserving both the grounding and genuine change intuitions. The Imprint says that the past and (...) present exist, but where the present exhibits mass-energy, the past only consists of curved empty regions of spacetime. We therefore avoid saying that there are dinosaurs, since there is no mass-energy in the past; but the curvature of the past gives us a way to ground the truth that “dinosaurs existed”. (shrink)

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

Presentism is held by most to be the intuitive theory of time, due in large part to the view's supposed preservation of time's passage. In this paper, I strike a blow against presentism's intuitive pull by showing how the presentist, contrary to overwhelming popular belief, is unable to establish temporal change upon which the passage of time is based. I begin by arguing that the presentist's two central ontological commitments, the Present Thesis and the Change Thesis, are incompatible. The main (...) problem is that satisfying the Change Thesis to establish passage requires the existence of more than one moment. This conflicts with the Present Thesis that only the present moment exists. The presentist's response is to appeal to surrogates to stand proxy for the past, so as to account for the difference between what does exist and what did exist. I argue that, for this surrogate strategy to be successful, the proposed surrogates must track what actually happened. I demonstrate that there is no guarantee that t.. (shrink)

People hold intuitive theories of the physical world, such as theories of matter, energy, and motion, in the sense that they have a coherent conceptual structure supporting a network of beliefs about the domain. It is not yet clear whether people can also be said to hold a shared intuitive theory of time. Yet, philosophical debates about the metaphysical nature of time often revolve around the idea that people hold one or more “common sense” assumptions about time: that there is (...) an objective “now”; that the past, present, and future are fundamentally different in nature; and that time passes or flows. We empirically explored the question of whether people indeed share some or all of these assumptions by asking adults to what extent they agreed with a set of brief statements about time. Across two analyses, subsets of people's beliefs about time were found consistently to covary in ways that suggested stable underlying conceptual dimensions related to aspects of the “common sense” assumptions described by philosophers. However, distinct subsets of participants showed three mutually incompatible profiles of response, the most frequent of which did not closely match all of philosophers’ claims about common sense time. These exploratory studies provide a useful starting point in attempts to characterize intuitive theories of time. (shrink)

The cohabitation theory is a popular solution to the problem of personal fission. It affirms that all the people who result from fission were there cohabiting the pre-fission body all along. Adopting this solution is an uncontroversial move for four-dimensionalists, but is it open to three-dimensionalists too? Some have thought so, but Katherine Hawley, Mark Johnston, and Eric Olson have argued to the contrary. They claim three-dimensionalists simply cannot be cohabitation theorists. In this paper, I explain how they can.

Open future is incompatible with realism about possible worlds. Since realistically conceived (concrete or abstract) possible worlds are maximal in the sense that they contain/represent the full history of a possible spacetime, past and future included, if such a world is actual now, the future is fully settled now, which rules out openness. The kind of metaphysical indeterminacy required for open future is incompatible with the kind of maximality which is built into the concept of possible worlds. The paper discusses (...) various modal realist responses and argues that they provide ersatz openness only, or they lead to incoherence, or they render the resulting theory inadequate as a theory of modality. The paper also considers various accounts of the open future, including rejection of bivalence, supervaluationism, and the ‘thin red line’ view (TRL), and claims that a version of (TRL) can avoid the incompatibility problem, but only at the cost of deflating the notion of openness. (shrink)

According to the standard version of the counterfactual comparative account of harm, an event is overall harmful for an individual if and only if she would have been on balance better off if it had not occurred. This view faces the “preemption problem.” In the recent literature, there are various ingenious attempts to deal with this problem, some of which involve slight additions to, or modifications of, the counterfactual comparative account. We argue, however, that none of these attempts work, and (...) that the preemption problem continues to haunt the counterfactual comparative account. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

A platonic theory of possibility states that truths about what’s possible are determined by facts about properties not being instantiated. Recently, Matthew Tugby has argued in favour of this sort of theory, arguing that adopting a platonic theory of possibility allows us to solve a paradox concerning alien properties: properties that might have been instantiated, but aren’t actually. In this paper, I raise a worry for Tugby’s proposal—that it commits us to negative facts playing an important truth-making role—and offer a (...) strategy to avoid the objectionable negativity. (shrink)

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

Arthur Cunningham has asserted that my argument targeting the “freedom problem” for Molinism is unsuccessful. I show that while he has correctly identified two minor (and correctible) problems with the argument, Cunningham’s main criticisms are ineffective. This is mainly because he has failed to appreciate the complex dialectical situation created by the use of a reductio ad absurdum argument. The result is to underscore the difficulty for Molinism of the freedom problem.

Every account of moral responsibility has conditions that distinguish between the consequences, actions, or traits that warrant praise or blame and those that do not. One intuitive condition is that praiseworthiness and blameworthiness cannot be affected by luck, that is, by factors beyond the agent’s control. Several philosophers build their accounts of moral responsibility on this luck-free condition, and we may call their views Luck-Free Moral Responsibility (LFMR). I offer moral and metaphysical arguments against LFMR. First, I maintain that considerations (...) of fairness that often motivate LFMR do not require its adoption. Second, I contend that LFMR has counterintuitive implications for the nature and scope of praiseworthiness and blameworthiness and that LFMR is vulnerable to a reductio ad absurdum. Third, I state some common reasons for thinking that LFMR’s commitment to true counterfactuals of libertarian freedom is problematic, and I argue that if there are no such true counterfactuals and if LFMR is true, a person is praiseworthy and blameworthy at most for a tiny fraction of her actions. Fourth, I argue that proponents of LFMR cannot escape this skeptical cost by appealing to a different kind of counterfactual of freedom. Fifth, I develop an anti-skeptical motivation to affirm the idea that luck can affect moral responsibility. (shrink)

This paper introduces a new approach to the theory of truthmaking. According to this approach, there are multiple forms of truthmaking. Here, I characterize and motivate a specific version of this approach, which I call a ‘Pluralist Theory of Truthmaking.’ It is suggested that truthmaking is a plural, variegated phenomenon wherein different kinds of truths, e.g., positive truths, negative truths, counterfactual truths, etc., are made true in different ways. While the paper only aims to lay the groundwork for a Pluralist (...) Theory of Truthmaking, I show how the theory can be applied to positive and negative truths. The upshot of this application is that truthmaking pluralism allows us to provide negative truths with ‘non-suspicious’ truthmakers. Finally, it is argued that Truthmaker Maximalists would do well to endorse truthmaking pluralism, as it offers a new strategy for upholding Maximalism while diminishing controversial ontological commitments. (shrink)

This article considers three recent attempts by David Armstrong, Ross Cameron, and Jonathan Schaffer to provide truthmakers for negative existential truths. It is argued that none of the proposed truthmakers are up to the task of making any negative existential truth true and, it will turn out, for the same reason.

This paper considers the prospects for a theory of intergenerational rights in light of certain ontologies of time. It is argued that the attempt to attribute rights to future persons or obligations to present persons towards future persons, faces serious difficulties if the existence of the future is denied. The difficulty of attributing rights to non-existent future persons is diagnosed as a particularly intractable version of the ‘problem of cross-temporal relations’ that plagues No-Futurist views like presentism. I develop a version (...) of the problem of cross-temporal relations regarding cross-temporal normative relations. I then consider and reject various solutions to the problem available to No-Futurists. The upshot of the discussion is that which ontology of time we choose sets constraints on the kinds of explanations we may offer for our future-directed obligations. (shrink)

Identifying plausible truthmakers for negative truths has been a serious and perennial problem for truthmaker theory. I argue here that negative truths are indeed made true but not in the way that positive truths are. I rely on a distinction between “existence-independence” and “variation-independence” drawn by Hoffman and Horvath to characterize the unique form of dependence negative truths exhibit on reality. The notion of variation-independence is then used to motivate a principle of truthmaking for contingent negative truths.

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast (...) to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted. (shrink)

Temporal ontology is the philosophical debate on the existence of the past and the future. It features a three-way confrontation between supporters of presentism (the present exists, the past and the future do not), pastism (the past and the present exist, the future does not), and eternalism (the past, the present, and the future all exist). Most philosophers engaged in this debate believe that presentism is much more in agreement with common sense than the rival views; moreover, most of them (...) believe that being in agreement with common sense is epistemically valuable for a philosophical view. We studied experimentally non-experts’ ideas pertaining to the domain of temporal ontology, i.e., as we called it, common-sense temporal ontology, focusing on the Italian population. We found that a non-overwhelming majority of participants (~64%) favoured presentism, while two significant minorities favoured pastism (~19%) and eternalism (~17%). We think that our findings provide some support, albeit weaker than expected, for the view that presentism is more in agreement with common sense than the rival positions. (shrink)

(No abstract is available for this citation).

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should be rejected.

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

Theories that posit metaphysical structure are able to do much work in philosophy. Some, however, find the notion of ‘metaphysical structure’ unintelligible. In this paper, I argue that their charge of unintelligibility fails. There is nothing distinctively problematic about the notion. At best, their charge of unintelligibility is a mere reiteration of previous complaints made toward similar notions. In developing their charge, I clarify several important concepts, including primitiveness, intelligibility, and the Armstrong-inspired “ontologism” view of the world. I argue that, (...) ultimately, their charge is best understood as an objection whose central premise is that the notion of ‘structure’ runs contrary to an important presupposition of contemporary metaphysics. But that central premise is, on closer inspection, implausible. I respond to the objection by identifying three popular metaphysical theories that violate the alleged presupposition but are still generally regarded as intelligible. The objection thus fails to show that a theory that posits metaphysical structure is unintelligible. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis only (...) about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

This paper elaborates the problem of temporal unity for dynamic presentism and diagnoses the source of that problem in the dynamic presentist’s discarding the traditional C-series in its avoidance of McTaggart’s A-series paradox. This C-series provided the fixed structure of time which the transitory aspects of time then followed, and thereby unify those transitory aspects. It then considers ersatzer presentism as an ostensible solution to the problem of temporal unity by providing a new abstract C-series for dynamic presentism. However, after (...) a closer examination of the details of this proposal, it is found that the ersatz-B-series itself needs to be temporally variable to capture the transitory aspects of time that it is meant to track. Consequently, it cannot provide the fixed structure of time required to unify the transitory aspects of time into a temporal series. It is therefore suggested that dynamic presentists look for a more course-grained determiner of temporal progression to construct the presentist-friendly C-series required to unify their transitory aspects of time. (shrink)

This essay outlines an explanatory virtue of presentism: its unique ability amongst temporal metaphysics to deliver a partial explanation of the conservational character of natural laws. That explanation relies on presentism, uniquely amongst temporal metaphysics, being able to support an endurantist account of persistence. In particular, after reconsidering a former argument for endurantism entailing presentism by Merricks, a new argument for this entailment, is expounded. Before delivering the explanation of the conservational character of natural laws, a brief account of that (...) explanandum is given, followed by an elaboration of the wider significance of an explanation for the conservational character for natural laws, particularly for the dispositional essentialist project of nomic reductionism, and explaining the non-simultaneity of causation. (shrink)

Presentism is the view that only presently existing things exist. Actualism is the view that only actually existing things exist. Although these views have much in common, the position we take with respect to one of them is not usually thought to constrain the position that we may take toward the other. In this paper I argue that this standard attitude deserves further scrutiny. In particular, I argue that the considerations that motivate one common objection to presentism—the grounding objection—threaten to (...) give rise to an analogous grounding objection to actualism. Those who are moved by grounding considerations to give up presentism should either be moved by analogous considerations to give up actualism as well or be prepared to undertake quite a bit of further work in order to defend their position. (shrink)

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate ideas: that (...) truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

Suppose that Eleanor is drowsy. Truth's asymmetry is illustrated by the following fact: while we accept that <Eleanor is drowsy> is true because Eleanor is drowsy, we do not accept that Eleanor is drowsy because <Eleanor is drowsy> is true. This asymmetry requires an explanation, but it has been alleged, notably by David Liggins, that the minimalist about truth cannot provide one. This paper counteracts this pessimism by arguing that the minimalist can successfully explain the asymmetry conceptually, rather than metaphysically. (...) It then goes on to defend this account against objections, in the end concluding that explaining truth's asymmetry is no problem for the minimalist. (shrink)

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some of them depend on others? (...) If so, how might one understand the dependence relation? (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

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

is true, there is a truth-maker (e.g., a fact) with which it is identical and the truth of the former consists in its identity with the latter. The theory is best understood as a reaction to the correspondence theory, according to which the relation of truth-bearer to truth-maker is correspondence. A correspondence theory is vulnerable to the nagging suspicion that if the best we can do is make statements that merely correspond to the truth, then we inevitably fail to capture (...) the reality they are about and thus fall short of the truth we aim at. An identity theory is designed to overcome this suspicion. (shrink)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (Leeds). (...) The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

This dissertation is a defense of a particular theory of the metaphysics of time which I call "accretivism", but which is popularly known in a form usually called the "Growing Block Theory". The goal of a metaphysics of time is to incorporate the various aspects of our temporal experience into a single, comprehensive whole. To this end I delineate five aspects of our ordinary experience of time: 1) The Tensed Aspect, in virtue of which objects are presented to us as (...) past, present, or future; 2) The Transitory Aspect, in virtue of which time passes or "flows"; 3) The Durational Aspect, in virtue of which entities have a certain temporal extent; 4) The Structural Aspect, in virtue of which entities are given as being in temporal relations to one another, and 5) The Differential-Repetitive Aspect, in virtue of which things are different from one time to another, and yet there is a certain recurrence of aspects of our experience form one time to another. I contrast the accretivist picture of time, according to which that which is past and that which is present both have ontological status, but nothing which is future has ontological status, and in which temporal passage consists in the coming-into-being of new entities at the temporal edge of reality marked by the present, with the two dominant theories of time in the contemporary literature: 1) presentism, according to which only that which is present has ontological status, and 2) four-dimensionalism, according to which time is to be understood on analogy with spatial dimensions. Accretivism, I argue, is superior to the other two views in virtue of the fact that it gives full status to both the Structural Aspect of Time, for which the presentist has difficulty accounting, and the Transitory Aspect of Time, for which the four-dimensionalist has difficulty accounting. I then defend the accretivist picture against a variety of objections that might be raised to it. (shrink)

Metaphysicians with reductive theories of reality like to say how those theories account for ordinary usage and belief. A typical strategy is to offer theoretical sentences, often called ‘paraphrases’, to serve in place of various sentences that occur in ordinary talk. But how should we measure success in this endeavor? Those of us who undertake it usually have a vague set of theoretical desiderata in mind, but we rarely discuss them in detail. My purpose in this paper is to say (...) exactly what they are, and why. -/- Among the questions I want to address: what counts as an adequate theoretical replacement for an ordinary sentence? On whom does the burden of proof lie when it is unclear whether a theory of reality can provide a true replacement for some ordinary truism? Which ordinary truisms are most important to ‘save’ in this way, and why? What role does the theoretical virtue of simplicity play in this strategy: is the goal to offer simpler replacement sentences, or a simpler recipe for matching them with ordinary claims? Finally, how do recipes of this sort relate to the theories of natural language sought by semanticists? Answering these questions is crucial if we want to get clear on how best to evaluate reductive theories of reality that make use of the ‘paraphrase strategy’. (shrink)

The article explores the strategy of reconciliation of the idea of objective flow of time with science. In the first part of my paper, I analyze different conceptions of the passage of time and ponder on how we should understand it. The second part is de-voted to the problem whether there is the passage of time in science.

The subjects of this thesis are truth, grounding and dependence. The thesis consists of an introduction and five free-standing essays. The purpose of the introduction is not merely to summarize the papers, but to provide a general background to the discussions in the essays. The introduction is divided into four chapters, each of which splits into a number of sections and/or subsections. Chapter 1. concerns the notion of ontological dependence. I start by making a distinction between two different types of (...) ontological dependence and discuss how well these notions deal with a number of philosophical issues. I then go on to consider the role that ontological dependence plays in hierarchies of natural kinds. In Chapter 2., I discuss a related notion, namely that of grounding. I sketch the theoretical framework by specifying the logical form of grounding statements and a set of structural principles that govern grounding. The chapter ends with a brief discussion on some philosophical applications of grounding. Chapter 3. deals with the notion of truthmaking and how it squares with the grounding framework developed in the previous chapter. I present the reader with the so-called Truthmaker Principle, and provide answers to a number of questions that it raises. The fourth and final chapter summarizes the five papers. The six essays are divided into three categories. Paper I deals with the notion of ontological dependence in hierarchies of natural kinds. Paper II concerns the notion of grounding and resemblance orderings among powers. Papers III, IV and V discuss various aspects of truthmaker theory. (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.