In this paper I will address the question of rationalizing mental causation which is involved in the processes of epistemic justification. The main problem concerning mental causation consists in the apparent incompatibility of the three following claims: (i) the subject's mental states (in particular his belief states) are realized by neural states of the subject's brain; (ii) the justifying character of belief transition consists in the fact that there are certain broadly logical relations between the contents of the relevant beliefs; (...) and (iii) all generations of neural states are, at bottom, governed by the purely physical laws. I try to reconciliate the physical necessity of the neural states generation with the logical rationality of the belief transition. Surprisingly enough, it will turn out that, in a sense, each thinking subject is logically perfect. However, in another sense we are exactly as fallible and irrational as our common-sense tells us. (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)

The traditional debate about moral dilemmas concerns whether there are circumstances in which an agent is subject to two obligations that cannot both be fulfilled. Realists maintain there are. Irrealists deny this. Here I defend an alternative, methodologically-oriented position wherein the denial of genuine moral dilemmas functions as a regulative ideal for moral deliberation and practice. That is, moral inquiry and deliberation operate on the implicit assumption that there are no genuine moral dilemmas. This view is superior to both realism (...) and irrealism in accounting for moral residue and other crucial phenomenological dimensions of our experience of moral dilemmas. (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)

Knowledge representation is a central issue in a number of areas, but few attempts are usually made to bridge different approaches accross different fields. As a contribution in this direction, in this paper I focus on one such approach, the theory of conceptual spaces developed within cognitive science, and explore its potential applications in the fields of philosophy of science and formal epistemology. My case-study is provided by the theory of truthlikeness, construed as closeness to “the whole truth” about a (...) given domain, as described in the underlying language. I show how modeling propositions and their relations within a conceptual space has interesting implications for two issues in truthlikeness theory: the so called problem of language dependence, and that of measure sensitivity. I conclude by pointing at some open issues arising from the application of conceptual spaces to the analysis of philosophical problems. (shrink)

The truth-making principle is one of the main subjects in contemporary meta- physics, and this paper is an elementar exposition of the main issues of the on-going debate. I will proceed as follows. First, I will expose the basics, including the principle’s range, the main kinds of truth-making, the main interpretations of the principle, and some applications. Second, I will expose some technical issues about ontological commitment, reification, necessity, reality, and truth.

I defend mereological nihilism, the view that there are no composite objects, against a challenge from ontological emergence, the view that some things have properties that are ‘something over and above’ the properties of their parts. As the nihilist does not believe in composite wholes, there is nothing in the nihilist's ontology to instantiate emergent properties – or so the challenge goes. However, I argue that some simples can collectively instantiate an emergent property, so the nihilist's ontology can in fact (...) accommodate emergent properties. Furthermore, I show that employing plural instantiation does not bloat the nihilist's ontology or ideology. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

One powerful argument for dualism is provided by Chalmers: the ‘zombie’ or conceivability argument. This paper aims to establish that if one adopts the ‘Powerful Qualities’ account of properties developed by Martin and Heil, this argument can be resisted at the first premise: the claim that zombies are conceivable is, by the lights of Chalmers’ own account of conceivability, false. The Powerful Qualities account is outlined. Chalmers’ argument, and several distinctions which underlie it, are explained. It is argued that to (...) make sense of the claim that zombies are conceivable, some account of properties must be given. The paper’s central claim is presented and defended from potential responses: given the Powerful Qualities view, zombies are in fact inconceivable. Finally, an error theory is presented, which offers an explanation of why so many have taken the conceivability of zombies to be unproblematic, and the view is briefly contrasted with Russellian monism. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

One recently popular way to characterise strong emergence is to say that emergent entities possess novel causal powers. However, there is little agreement concerning the nature of powers. One controversy involves whether powers are single- or multi-track; that is, whether each power has only one manifestation type, or whether a single power can be directed towards a number of distinct manifestations. Another concerns how powers operate: whether a lone power manifests when triggered by the presence of a suitable stimulus, or (...) whether powers operate mutually such that several powers must ‘work together’ to bring about a particular manifestation. This paper examines how these distinctions—which can be cross-combined to frame four distinct accounts of the nature of powers—bear on the debate between emergentists and reductionists. (shrink)

In this paper, we present an extensional system of mereology suitable to account for the intuitive distinction between heaplike and non-heaplike entities. Since the need to capture this distinction has been a key motivation for non-extensional mereologies, we first assess the main non-extensional systems advanced in the last years and highlight some mereological and metaphysical difficulties they involve. We then advance a novel program, according to which the distinction between heaplike and non-heaplike entities can be accounted for by bringing together (...) the parthood relation characterized by classical extensional mereology and an Aristotelian extensional notion of potential parthood. Thus, while rejecting the thesis of mereological monism, our proposal is consistent with the thesis of mereological extensionalism. We show that within this framework it is possible to characterize the above-mentioned distinction, to define the relation of material constitution, and to capture three fundamental standpoints in metaphysics. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (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)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

This paper provides the first thorough assessment of a physics-based answer, the Bound State Answer, to the Special Composition Question. According to the BSA some objects compose something if they are in a common bound state. The reasons to endorse such an answer, in particular, motivations coming from empirical adequacy and conservativeness, precision, simplicity, and parsimony, are critically addressed. I then go on to compare the BSA to other moderate answers to the SCQ and consider whether objections raised against such (...) answers can be raised against the BSA as well. I finally relate the discussion with mereological pluralism. (shrink)

My aim in this paper is to discuss the logical form of exemplification. In order to achieve this goal, I analyze three views on the logical form of exemplification, namely, Gustav Bergmann's logical realism, Wilfrid Sellars's meta-linguistic expressivism, and Javier Cumpa's logical eliminativism. I start by examining the account advanced by Bergmann in his 1960 essay "Ineffability, Ontology, and Method," according to which the logical form of exemplification is represented by the juxtaposition of logical signs in a sentence. Then I (...) consider two alternatives to Bergmann's realism, namely, Sellars's meta-linguistic expressivism, according to which exemplification is a quasi-semantical relation that is accounted for at a meta-linguistic level; and Cumpa's molecular theory of exemplification—which I will call logical eliminativism—according to which exemplification is an eliminable constituent of facts. I conclude that neither the account advanced by Sellars nor the one provided by Cumpa is preferable to Bergmann's account of the logical form of exemplification, while offering a defense of the latter. (shrink)

In a recent paper, Cumpa : 319–324, 2014) argues that a scientific turn in metaphysics requires the acceptance of a materialist criterion of fundamentality, according to which the most fundamental metaphysical category is the one that provides us with a reconciliation of the ordinary world and the physical universe. He concludes that the dominant category of substance cannot be the most fundamental category, for it does not satisfy this criterion of fundamentality. The most fundamental category is instead the category of (...) fact. Although convincing, the defense of factualism over substantialism offered by Cumpa takes into account the case of classical physics without considering the physical universe of quantum mechanics. My aim in this paper is to offer a completion to Cumpa’s factualist approach. To achieve my aim, I show that substances cannot provide a satisfactory account of the relationship between the ordinary world and the physical universe even in the case of quantum mechanics, whereas a factualist approach does. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

Humean compatibilism combines a Humean conception of laws of nature with a strong dual-ability condition for free will that requires that agents possess the ability to decide differently when they make a free decision. On the Humean view of laws of nature, laws of nature are taken to be contingent non-governing descriptions of significant regularities that obtain in the entire history of the universe. On Humean compatibilism, agents are taken to possess dual ability when making free decisions because what the (...) laws of nature will finally be is (at least partially) dependent upon how an agent decides. In this paper, I argue that the tenability of Humean compatibilism depends in part upon what theory of time is correct. More specifically, I argue that Humean compatibilism is untenable in a deterministic universe if eternalism is true. (shrink)

This essay proposes a comprehensive blueprint for the hylomorphic foundations of cosmology. The key philosophical explananda in cosmology are those dealing with global processes and structures, the regularity of global regularities, and the existence of the global as such. The possibility of elucidating these using alternatives to hylomorphism is outlined and difficulties with these alternatives are raised. Hylomorphism, by contrast, provides a sound philosophical ground for cosmology insofar as it leads to notions of cosmic essence, the unity of complex essences, (...) and globally emergent properties. These are used as the basis to account for the aforementioned cosmological explananda and to resolve two problems in the philosophy of cosmology: the meta-law dilemma and the uniqueness of the universe. In summary, cosmology needs hylomorphism because it is able to ground cosmology’s efforts as a scientific inquiry. It can do so because hylomorphism philosophically accounts for changing substances and aggregates of substances, the various scales of law-governed behavior measured by the natures of those substances, and how those substances as parts relate to the universe as a whole. (shrink)

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential part of traditional philosophical theology, it is now widely rejected as incoherent. In this paper, I develop an interpretation of the doctrine designed to resolve contemporary concerns about its coherence, as well as to show precisely what is required to make sense of divine simplicity.

Some people object to realism about universals because they think that instantiation, the connection between something and the universals that characterize it, is too mysterious. Baxter and Armstrong try to make instantiation less mysterious by taking it to be a kind of partial identity. However, I argue that their accounts of instantiation, and any similar ones, fail.

It is standardly assumed that there are three — and only three — ways to solve problem of temporary intrinsics: (a) embrace presentism, (b) relativize property possession to times, or (c) accept the doctrine of temporal parts. The first two solutions are favoured by endurantists, whereas the third is the perdurantist solution of choice. In this paper, I argue that there is a further type of solution available to endurantists, one that not only avoids the usual costs, but is structurally (...) identical to the temporal-parts solution preferred by perdurantists. In addition to providing a general characterization of this new type of solution, I discuss certain of its anticipations in the literature on bundle theory, as well as provide a detailed development of it in terms of my own preferred metaphysics of ordinary objects — namely, a distinctive form of substratum theory tracing to Aristotle. (shrink)

Since G. E. Moore introduced his concept of organic unity there has been some discussion of how one should best understand this notion and whether there actually are any organic unities in the Moorean sense. Such discussions do however often put general questions about part-whole relations to the side and tend to focus on interpreting our intuitive responses to possible cases of organic unity. In this paper the focus lies on the part-whole relation in valuable wholes and it is suggested (...) that we should distinguish between two kinds of wholes, collections and complex unities, where the latter can involve values that do not pass on their value to the greater whole in which they are included. Given this distinction we are then able to distinguish between two kinds of organic unity phenomena, the first involving a form of goodness that emerges on the level of the whole, the second involving a form of goodness that is embedded on the level of parts. In order to properly understand the latter form of goodness, there is also a need to distinguish final value from inherent value. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles about (...) entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

In this article I attempt to give an account of the thesis according to which composition is identity and of the criticisms that might be formulated against it. According to a weak version of the thesis, composition, in virtue of being analogous in important respects to identity, is as ontologically innocent as identity. According to the strong version of the thesis, composition is literally a species of the generic relation of identity, and is as ontologically innocent as any species of (...) identity. As we will see, the weak version begs the question or incurs in a non sequitur ; and the strong version is incoherent and faces a dilemma. Thus, composition is not identity: one thing cannot be identical to many things. (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)

Sober and Elgin defend the claim that there are a priori causal laws in biology. Lange and Rosenberg take issue with this on Humean grounds, among others. I will argue that Sober and Elgin don’t go far enough – there are a priori causal laws in many sciences. Furthermore, I will argue that this thesis is compatible with a Humean metaphysics and an empiricist epistemology.

Creationists have long argued that evolutionary science is committed to a dogmatic metaphysics of naturalism and materialism, which is based on faith or ideology rather than evidence. The standard response to this has been to insist that science is not committed to any such metaphysical doctrine, but only to a methodological version of naturalism, according to which science may only appeal to natural entities and processes. But this whole debate presupposes that there is a clear distinction between the natural and (...) the supernatural, and thus that naturalism is a meaningful doctrine. I argue that this assumption is false. The concepts of the natural and the supernatural are in fact hopelessly obscure, such that the claim that science is committed to methodological naturalism cannot be made good. This is no victory for anti-naturalists however; explicitly supernaturalist theories, such as Creationism, can be ruled out of scientific consideration as a priori incoherent, given that they presuppose for their intelligibility that there is a meaningful natural-supernatural distinction. This is not the case for standard scientific theories however, as they are not explicitly naturalistic theories; they do not postulate natural or physical entities or processes as such. (shrink)

According to Lewis, mereology is the general and exhaustive theory of ontological composition, and every contingent feature of the world supervenes upon some fundamental properties instantiated by minimal entities. A profound analogy can be drawn between these two basic contentions of his metaphysics, namely that both can be intended as a denial of emergentism. In this essay, we study the relationships between Humean supervenience and two philosophical spin-offs of mereological monism: the possibility of gunk and the thesis of composition as (...) identity. In a gunky scenario, there are no atoms and, thus, some criteria alternative to mereological atomicity must be introduced in order to identify the bearers of fundamental properties; this introduction creates a precedent, which renders the restriction of the additional criteria to gunky scenarios arbitrary. On the other hand, composition as identity either extends the principle of indiscernibility of identicals to composition or is forced to replace indiscernibility with a surrogate; both alternatives lead to the postulation of a symmetric kind of supervenience which, in contrast to Humean supervenience, does not countenance a privileged level. Both gunk and composition as identity, thus, display a tension with Humean supervenience. (shrink)

Philosophical accounts of causation have traditionally been framed as attempts to analyze the concept of a cause. In recent years, however, a number of philosophers have proposed instead that causation be empirically reduced to some relation uncovered by the natural sciences: e.g., a relation of energy transfer. This paper argues that the project of empirical analysis lacks a clearly defined methodology, leaving it uncertain how such views are to be evaluated. It proposes several possible accounts of empirical analysis and argues (...) that the most promising approach would treat it as a contingent identity discovered by identifying the relation (or relations) that most nearly approximate the inferential role of causal concepts in a psychological theory of causal judgment. (shrink)

In his recent book, Jaegwon Kim argues thatpsychophysical supervenience withoutpsychophysical reduction renders mentalcausation `unintelligible'. He also claimsthat, contrary to popular opinion, his argumentagainst supervenient mental causation cannot begeneralized so as to threaten the causalefficacy of other `higher-level' properties:e.g., the properties of special sciences likebiology. In this paper, I argue that none ofthe considerations Kim advances are sufficientto keep the supervenience argument fromgeneralizing to all higher-level properties,and that Kim's position in fact entails thatonly the properties of fundamental physicalparticles are causally efficacious.

In this paper, the ontological, terminological, epistemological, and ethical aspects of omission are considered in a coherent and balanced framework, based on the idea that there are omissions which are actions and omissions which are non-actions. In particular, we suggest that the approach to causation which best deals with omission is Mackie's INUS conditional proposal. We argue that omissions are determined partly by the ontological conditional structure of reality, and partly by the interests, beliefs, and values of observers. The final (...) upshot is that moral judgments involved in cases of omissions cannot be grounded on, but are the ground for judgments about what INUS conditions count as omissions. (shrink)

Different interpretations of Bradley’s regress argument are considered. On the basis of textual evidences, it is argued that the most persuasive is the one that sees the argument as primarily addressing the general issue of unity or connectedness.

Mark Jago has introduced a short Fitch-style argument for truthmaker maximalism – the thesis that every truth has a truthmaker. In response to Jago, Trueman argues that the Fitch-style reasoning allows us to prove the opposite – no truth has a truthmaker. In the article, we consider the debates between Jago’s truthmaker maximalism and Trueman’s truthmaker nihilism. Also, we introduce a short Grim-style argument against Jago’s truthmaker maximalism.

In this paper, I present the thesis of Composition as Identity as I think it should be understood, and reply to some objections to it. My aim is not to argue that CAI is true, but to show how CAI can be true, and push the debate forward in the direction I think it must and should go in light of some new objections.

There are two no-change objections that can be raised against the B-theory of time. One stems from the observation that in a B-theoretic scenario changes of determinations can only be represented by propositions which have eternal truth values. The other derives from the principle that nothing can vary over a period of time if it doesn’t instantiate a state of change at all the instants of time which compose it. Here I argue that both objections apply to all comparative conceptions (...) of change, regardless of whether they take tense seriously or not. It follows that, contrary to what is widely believed, A-theoretic accounts of time are not immune to no-change objections, just in virtue of being realist about tense. A-theorists must either accept the conclusion that time, according to their account, does not flow, or put forward an account of flow that is not comparative. A number of difficulties with both of these options are discussed. (shrink)

Given the centrality of arguments from vicious infinite regress to our philosophical reasoning, it is little wonder that they should also appear on the catalogue of arguments offered in defense of theses that pertain to the fundamental structure of reality. In particular, the metaphysical foundationalist will argue that, on pain of vicious infinite regress, there must be something fundamental. But why think that infinite regresses of grounds are vicious? I explore existing proposed accounts of viciousness cast in terms of contradictions, (...) dependence, failed reductive theories and parsimony. I argue that no one of these accounts adequately captures the conditions under which an infinite regress—any infinite regress—is vicious as opposed to benign. In their place, I suggest an account of viciousness in terms of explanatory failure. If this account is correct, infinite grounding regresses are not necessarily vicious; and we must be much more careful employing such arguments to the conclusion that there has to be something fundamental. (shrink)

I show that Armstrong’s view of laws as second-order contingent relations of ‘necessitation’ among categorical properties faces a dilemma. The necessitation relation confers a relation of extensional inclusion (‘constant conjunction’) on its relata. It does so either necessarily or contingently. If necessarily, it is not a categorical relation (in the relevant sense). If contingently, then an explanation is required of how it confers extensional inclusion. That explanation will need to appeal to a third-order relation between necessitation and extensional inclusion. The (...) same dilemma reappears at this level. Either Armstrong must concede that some properties are not categorical but have essential powers – or he is faced with a regress. (shrink)