It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...) On letting, say, x be such that \, the sentence ‘Either \ or \’ is true but the sentence ‘\’ has an indeterminate truth value: it is determinate that the variable x refers to either 2 or \, but it is indeterminate which of the two it refers to, as a result ‘\’ has a truth value but its truth value is indeterminate. The semantic indeterminacy is analysed in a ‘radically’ supervaluational semantic framework closely analogous to the treatment of vagueness in McGee and McLaughlin and Smith, which saves bivalence, the T-schema and the truth-functional analysis of the boolean connectives. It is shown that on such an analysis the modality ‘determinately’ is quite clearly not an epistemic modality, avoiding a potential objection raised by Williamson against such ‘radically’ supervaluational treatments of vagueness, and that determinate truth is the semantic value preserved in classically valid arguments. The analysis is contrasted with the epistemicist proposal of Breckenridge and Magidor which implies that ‘\’ has a determinate but unknowable truth value. (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)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal truth.

This paper aims at answering some of the objections to the NIP’s criticism of the idea of rights of future persons. Those objections usually adopt different perspectives depending on how they understand differently the nature of the correlativity between rights and duties – some adopt a present-rights-of-future-persons view, others a future-rights-of-future-persons view, others a transitive present-rights-of-present-persons view, and others still an eternalist view of rights and persons. The paper will try to show that only a non-transitive present-rights-of-present-persons view can survive (...) the challenges posed by the notion of correlativity inherent in the NIP, and thus preserve rights language when discussing the future. This view is proved also more suitable for the legal and political realms, where policies and law-making are usually more concerned with present addressees and short term effects. (shrink)

Together, these entail that for every true proposition p, there exists some thing which could not exist and p be false.

Some truths are necessary, others could have been false. Why? What is the source of the distinction between the necessary and the contingent? What's so special about the necessary truths that account for their necessity? In this article, we look at some of the most promising accounts of the grounds of necessity: David Lewis' reduction of necessity to truth at all possible worlds; Kit Fine's reduction of necessity to essence; and accounts of necessity that take the distinction between the necessary (...) and the contingent to be a matter of convention. (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)

In the current debate on how ordinary objects persist through time, more than one philosopher has endorsed the following two theses: stage theory and diachronic universalism. In this paper, I would like to offer a solution to the problem that Balashov poses to the joint acceptance of these theses. I will also offer a number of reasons why, even if it is not necessary to undermine Balashov’s counterexamples, stage theorists can, without making their theory less appealing, reject Balashov’s understanding of (...) sorts, which plays a crucial role in his criticisms of stage universalism. (shrink)

In the past few years, deflationary positions in the debate on the nature of composite material objects have become prominent. According to Ted Sider these include the thesis of quantifier variance, against which he has defended ontological realism. Recently, Sider has considered the possibility of rejecting his arguments against the vagueness of the unrestricted quantifiers in terms of translation functions. Against this strategy, he has presented an intuitive complaint and has argued that it can only be resisted if quantifier variance (...) is accepted. But this is false. In this paper I argue, against Sider, that there is a coherent way to combine the rejection of quantifier variance with the vagueness of the unrestricted quantifiers. I sketch a model to show this, and then I consider, on the basis of it, several versions of the indeterminacy argument against the vagueness of the unrestricted quantifiers that Sider has formulated over the years. (shrink)

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

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)

In this paper I further elucidate and defend a metaontological position that allows you to have a minimal ontology without embracing an error-theory of ordinary talk. On this view 'there are Fs' can be strictly and literally true without bringing an ontological commitment to Fs. Instead of a sentence S committing you to the things that must be amongst the values of the variables if it is true, I argue that S commits you to the things that must exist as (...) truthmakers for S if it is true. I rebut some recent objections that have been levelled against this metaontological view. (shrink)

This book brings together papers from a conference that took place in the city of L'Aquila, 4–6 April 2019, to commemorate the 10th anniversary of the earthquake that struck on 6 April 2009. Philosophers and scientists from diverse fields of research debated the problem that, on 6 April 1922, divided Einstein and Bergson: the nature of time. For Einstein, scientific time is the only time that matters and the only time we can rely on. Bergson, however, believes that scientific time (...) is derived by abstraction, even in the sense of extraction, from a more fundamental time. The plurality of times envisaged by the theory of Relativity does not, for him, contradict the philosophical intuition of the existence of a single time. But how do things stand today? What can we say about the relationship between the quantitative and qualitative dimensions of time in the light of contemporary science? What do quantum mechanics, biology and neuroscience teach us about the nature of time? The essays collected here take up the question that pitted Einstein against Bergson, science against philosophy, in an attempt to reverse the outcome of their monologue in two voices, with a multilogue in several voices. (shrink)

Super-substantivalism (of the type we’ll consider) roughly comprises two core tenets: (1) the physical properties which we attribute to matter (e.g. charge or mass) can be attributed to spacetime directly, with no need for matter as an extraneous carrier “on top of” spacetime; (2) spacetime is more fundamental than (ontologically prior to) matter. In the present paper, we revisit a recent argument in favour of super-substantivalism, based on General Relativity. A critique is offered that highlights the difference between (various accounts (...) of) fundamentality and (various forms of) ontological dependence. This affords a metaphysically more perspicuous view of what super-substantivalism’s tenets actually assert, and how it may be defended. We tentatively propose a re-formulation of the original argument that not only seems to apply to all classical physics, but also chimes with a standard interpretation of spacetime theories in the philosophy of physics. (shrink)

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)

A novel non-classical mereological concept built up by blending the Metaphysics of Xavier Zubiri and the Quantum Theory of Atoms in Molecules of R. F. W. Bader is proposed. It is argued that this philosophical concept is necessary to properly account for what happens in a chemical reaction. From the topology of the gradient of the laplacian of the electronic charge density, \\) within the QTAIM framework, different “atomic graphs” are found for each atom depending on the molecular context, reflecting (...) how the whole molecule affects each atom. In this way, the whole molecular system imposes certain geometry onto each atom, and every atom exhibits different ontological modality. On the Metaphysical side, for X. Zubiri real things are system of different notes. The physical essence is the subsystem of essential notes with a coherence unity. Every note is grounded on the essence. The unity of the system is present somehow in every note-of beforehand, and every essential note-of turns towards the other. The essence determines the position of each note within the system, and hence is the grounding for modality of the notes. By conflating both “theories” and taking the atoms as essential notes, we propose the concept of “Molecule in atoms-of” or “atoms-of in Molecules”. Within the course of a chemical reaction the atoms-of modified their “of” as required by the new molecular unity being formed, and eventually change their modality. The validity to the Zubiri’s statements, is attained by evaluating necessity and possibility in a set-up of finite accessible “possible worlds”. (shrink)

In Calosi and Wilson (Phil Studies 2019/2018), we argue that on many interpretations of quantum mechanics (QM), there is quantum mechanical indeterminacy (QMI), and that a determinable-based account of metaphysical indeterminacy (MI), as per Wilson 2013 and 2016, properly accommodates the full range of cases of QMI. Here we argue that this approach is superior to other treatments of QMI on offer, both realistic and deflationary, in providing the basis for an intelligible explanation of the interference patterns in the double-slit (...) experiment. We start with a brief overview of the motivations for QMI and for a determinable-based account of MI (§1). We then apply a developed 'glutty' implementation of determinable-based QMI to the superposition-based QMI present in the double-slit experiment, and positively compare the associated explanation of double-slit interference with that available on a metaphysical supervaluationist account of QMI (§2). We then present and respond to objections, due to Glick (2017) and Torza (2017), either to QMI (§3) or to our specific account of QMI (§4); in these sections we also positively compare our treatment of double-slit interference to that available on Glick's deflationary treatment of QMI. We conclude with some dialectical observations (§5). (shrink)

In this paper, we focus on two related reductive theses in metaphysics—Humean Supervenience and Composition as Identity—and on their status in light of the indications coming from science, in particular quantum mechanics. While defenders of these reductive theses claim that they can be updated so as to resist the quantum evidence, we provide arguments against this contention. We claim that physics gives us reason for thinking that both Humean Supervenience and Composition as Identity are at least contingently false, as the (...) very process of composition determines, at least in some cases, the nature of composed systems. The argument has essentially to do with the fact that denying the reductive theses in question allows one to provide better explanations for the quantum evidence. (shrink)

In this paper, we address an infamous argument against divisibility that dates back to Zeno. There has been an incredible amount of discussion on how to understand the critical notions of divisibility, extension, and infinite divisibility that are crucial for the very formulation of the argument. The paper provides new and rigorous definitions of those notions using the formal theories of parthood and location. Also, it provides a new solution to the paradox of divisibility which does not face some threats (...) that can possibly undermine the standard Lebesgue measure solution to such a paradox. (shrink)

Composition as Identity is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently Sider [2014] exploited the resources of plural logic and extensional mereology to undermine McDaniel’s argument. He shows that CAI identifies extensionally equivalent pluralities – he calls it the Collapse Principle – and then shows how this identification rescues CAI from the emergentist argument. In this paper I first give a (...) new generalized version of both the arguments. It is more general in that it does not presuppose an atomistic mereology. I then go on to argue that the consequences of CP are rather radical. It entails mereological nihilism, the view that there are only mereological atoms. I finally show that, given a mild assumption about property instantiation, namely that there are no un-instantiated properties, this argument entails that CAI and emergent properties are incompatible after all. (shrink)

David Lewis famously endorsed Unrestricted Composition. His defense of such a controversial principle builds on the alleged innocence of mereology. This innocence defense has come under different attacks in the last decades. In this paper I pursue another line of defense, that stems from some early remarks by van Inwagen. I argue that Unrestricted Composition leads to a better metaphysics. In particular I provide new arguments for the following claims: Unrestricted Composition entails extensionality of composition, functionality of location and four-dimensionalism (...) in the metaphysics of persistence. Its endorsement yields an impressively coherent and powerful metaphysical picture. This picture shows a universe that might not be innocent but it is certainly elegant. (shrink)

David Lewis famously endorsed Unrestricted Composition. His defense of such a controversial principle builds on the alleged innocence of mereology. This innocence defense has come under different attacks in the last decades. In this paper I pursue another line of defense, that stems from some early remarks by van Inwagen. I argue that Unrestricted Composition leads to a better metaphysics. In particular I provide new arguments for the following claims: Unrestricted Composition entails extensionality of composition, functionality of location and four-dimensionalism (...) in the metaphysics of persistence. Its endorsement yields an impressively coherent and powerful metaphysical picture. This picture shows a universe that might not be innocent but it is certainly elegant. (shrink)

The arrow paradox is an argument purported to show that objects do not really move. The two main metaphysics of motion, the At–At theory of motion and velocity primitivism, solve the paradox differently. It is argued that neither solution is completely satisfactory. In particular it is contended that there are no decisive arguments in favor of the claim that velocity as it is constructed in the At–At theory is a truly instantaneous property, which is a crucial assumption to solve the (...) paradox. If so the At–At theory faces the threat that most of our physical theories turn out to be non-Markovian. Finally it is considered whether all those threats and paradoxes are dispelled if only a new metaphysics of persistence is taken into account, namely four-dimensionalism. (shrink)

The textbook presentation of quantum mechanics, in a nutshell, is this. The physical state of any isolated system evolves deterministically in accordance with Schrödinger's equation until a "measurement" of some physical magnitude M (e.g. position, energy, spin) is made. Restricting attention to the case where the values of M are discrete, the system's pre-measurement state-vector f is a linear combination, or "superposition", of vectors f1, f2,... that individually represent states that..

Recently, there has been a revival in taking empirical magnitudes seriously. Weights, heights, velocities and the like have been accepted as abstract entities in their own right rather than just equivalence classes of objects. The aim of my paper is to show that this revival should include value magnitudes. If we posit such magnitudes, important value comparisons can be easily explained; it becomes easier to satisfy the axioms for measurement of value; goodness, badness, and neutrality can be given univocal definitions; (...) value aggregation can be given a non-mathematical understanding which allows for Moorean organic unities. Of course, this does not come for free. One has to accept a rich ontology of abstract value magnitudes, but, to quote David Lewis, ‘The price is right; the benefits in theoretical unity and economy are well worth the entities.’. (shrink)

Cosmological arguments for the existence of God face a gap problem. This is the problem of convincingly arguing that their intermediate conclusions that some first cause or necessary being exists provide evidence for their main conclusion that God exists. This paper develops a simple and innovative approach to solving this problem, applicable to many cosmological arguments. According to the proposal, the best explanation for why the necessary being is found to have necessary existence is that it is a perfect being. (...) Since a perfect being would be God, the intermediate conclusions of the relevant cosmological arguments provide abductive evidence for their main conclusions. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

I discuss various formulations of stochastic Einstein locality (SEL), which is a version of the idea of relativistic causality, that is, the idea that influences propagate at most as fast as light. SEL is similar to Reichenbach's Principle of the Common Cause (PCC), and Bell's Local Causality. My main aim is to discuss formulations of SEL for a fixed background spacetime. I previously argued that SEL is violated by the outcome dependence shown by Bell correlations, both in quantum mechanics and (...) in quantum field theory. Here I reassess those verdicts in the light of some recent literature which argues that outcome dependence does not violate the PCC. I argue that the verdicts about SEL still stand. Finally, I briefly discuss how to formulate relativistic causality if there is no fixed background spacetime. (shrink)

This paper is about the metaphysical debate whether objects persist over time by the selfsame object existing at different times (nowadays called “endurance” by metaphysicians), or by different temporal parts, or stages, existing at different times (called “perdurance”). I aim to illuminate the debate by using some elementary kinematics and real analysis: resources which metaphysicians have, surprisingly, not availed themselves of. There are two main results, which are of interest to both endurantists and perdurantists. (1) I describe a precise formal (...) equivalence between the way that the two metaphysical positions represent the motion of the objects of classical mechanics (both point-particles and continua). (2) I make precise, and prove a result about, the idea that the persistence of objects moving in a void is to be analysed in terms of tracking the continuous curves in spacetime that connect points occupied by matter. The result is entirely elementary: it is a corollary of the Heine–Borel theorem. (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

I commemorate David Lewis by discussing an aspect of modality within analytical mechanics, which is closely related to his work on counterfactuals. This concerns the way Hamilton ‐Jacobi theory uses ensembles, i.e. sets of possible initial conditions.

The violation of the Bell inequality means that measurement-results in the two wings of the experiment cannot be screened off from one another, in the sense of Reichenbach. But does this mean that there is causation between the results? I argue that it does, according to Lewis's counterfactual analysis of causation and his associated views. The reason lies in his doctrine that chances evolve by conditionalization on intervening history. This doctrine collapses the distinction between the conditional probabilities that are used (...) to state screening off, and the counterfactuals with chance consequents that are used to state lack of causation. I briefly discuss ways to evade my argument. (shrink)

This review of Julian Barbour's The End of Time ([1999]) discusses his Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum geometrodynamics, viz. by saying that there is no time! 1 Introduction 2 Machian themes in classical physics 2.1 The status quo 2.2 Machianism 2.2.1 The temporal metric as emergent 2.2.2 Machian theories 2.2.3 Assessing intrinsic dynamics 3 The end of time? 3.1 Time unreal? The classical case 3.1.1 (...) Spontaneity 3.1.2 Barbour's vision: time capsules 3.2 Evidence from quantum physics? 3.2.1 Mott scattering as a model for time capsules 3.2.2 Solving the problem of time? (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

Resemblance Nominalism About Perfect Naturalness is the view that perfect naturalness of classes is best defined by a conceptual primitive of resemblance between particulars. The adequacy of RNPN is defended by outlining nominalism as the strictly anti-constitutive view that the particulars’ being the fundamental ways they are is not constituted by anything further, supplying a doubly plural contrastive and graded resemblance predicate that allows for a definition of perfect naturalness on an actualist basis, and proving a representation and a uniqueness (...) theorem on the basis of a formal constraint on resemblance called “the Principle”, thereby revealing that bodies of nominalist resemblance facts are guaranteed to behave as if they were grounded in patterns of universals distributed over particulars. (shrink)

Strong dispositional monism, the position that all fundamental physical properties consist in dispositional relations to other properties, is naturally construed as property structuralism. J. Lowe’s circularity/regress objection constitutes a serious challenge to SDM that questions the possibility of a purely relational determination of all property essences. The supervenience thesis of A. Bird’s graph-theoretic asymmetry reply to CRO can be rigorously proved. Yet the reply fails metaphysically, because it reveals neither a metaphysical determination of identities on a purely relational basis nor (...) a determination specifically of identities in the sense of essences. Asymmetry is thus not by itself sufficient for a solution to CRO. But it cannot even help to answer CRO when a model for the determination of essences is taken as a basis. Nor is asymmetry necessary for a reply, as property structures may well be symmetric. A metaphysics of dispositional properties as grounded in a purely relational structure faces serious obstacles, and the properties would not be fundamental. Since essence and grounding are notions of metaphysical priority, there can be no essentially dispositional metaphysically fundamental properties, and the prospects of a “coherentist” metaphysics of basic properties are dim. A modal retreat that refrains from a post-modal conception of essence and simply claims that fundamental properties play dispositional roles by metaphysical necessity is unsatisfactory. (shrink)

In this paper, I argue that a definition of paternalism must meet certain methodological constraints. Given the failings of descriptivist and normatively charged definitions of paternalism, I argue that we have good reason to pursue a normatively neutral definition. Archard's 1990 definition is one such account. It is for this reason that I return to Archard's account with a critical eye. I argue that Archard's account is extensionally inadequate, failing to capture some cases which are clear instances of paternalism. I (...) refine each of his three conditions, ultimately providing an improved definition of paternalistic interference. This revised definition meets specific methodological constraints, offering a definition that is both neutral between anti- and pro-paternalistic intuitions, but that also explains why paternalism is normatively significant. Specifically, this definition captures the conflict between interfering with an individual's choices and treating the individual benevolently, without making paternalism permissible or impermissible by definition. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)