Can scientific evidence outstretch what scientists have mentally entertained, or could ever entertain? This article focuses on the plausibility and consequences of an affirmative answer in a special case. Specifically, it discusses how we may treat automated scientific data-gathering systems—especially AI systems used to make predictions or to generate novel theories—from the point of view of confirmation theory. It uses AlphaFold2 as a case study.

Powers are properties defined by what they do. The focus of the large majority of the powers literature has been mainly put on explicating the (multifaceted) results of the production of a power in certain (multifaceted) initial conditions: but all this causal complexity is bound to be—and, in fact, it has proved to be—quite difficult to handle. In this paper we take a different approach by focusing on the very activity of producing those multifaceted manifestations themselves. In this paper, we (...) propose an original account of what the essence of a power consists in which stems from a radical reconceptualisation of power-causation according to which counterfactuals are to be explained away by powers, and not vice-versa. We call this approach the dynamical operator account of powers. According to this account, the causal role of powers consists in their ensuring that the ontological transition from a stimulus S to a manifestation M happens. Powers thus have a dynamical essence which consists in the fundamental activity of generating the counterfactuals typically associated with them. We show that if one conceptualises this functional activity as the metaphysical fulcrum around which counterfactual-based causation revolves, one is granted not only an improved methodology to individuate powers but also a better understanding of their knowability, modality and directedness. (shrink)

When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit. I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved. Given that the folk operate with a teleological view of persistence, I argue for a debunking (...) explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

When do the folk think that mereological composition occurs? Many metaphysicians have wanted a view of composition that fits with folk intuitions, and yet there has been little agreement about what the folk intuit. We aim to put the tools of experimental philosophy to constructive use. Our studies suggest that folk mereology is teleological: people tend to intuit that composition occurs when the result serves a purpose. We thus conclude that metaphysicians should dismiss folk intuitions, as tied into a benighted (...) teleological view of nature. (shrink)

The epistemic argument against epiphenomenalism aims to prove that even if epiphenomenalism is true, its adherents are not able to justify their inferential beliefs. This would mean that they cannot know that they are right which is a self-stultifying consequence. I elaborate on this problem and then present an updated version of epiphenomenalism based on property dualism. I argue that this position is capable of refuting the conclusion of the epistemic argument even in spite of accepting its essential assumptions. This (...) was made possible by an upgraded property exemplification account of events. I also argue against a view which, if true, gives substantial support to the epistemic argument: that a belief justified by other beliefs is knowledge only if it is caused by those beliefs in virtue of their contents. (shrink)

“Physical premotion” is a concept associated with Baroque Catholic theological debates concerning grace and freedom. In this paper, I present an argument that the entities identified in this debate, physical premotions, are necessary for any classical theist’s account of divine causality. A “classical theist” is a theist who holds both that God is simple, that is, without inhering properties, and that humans and God are both free in the incompatibilist sense. In fact, not only does the acceptance of physical premotions (...) not entail determinism, physical premotions are the only way for classical theists to preserve the aforementioned two commitments. Nevertheless, the theory of premotions cannot help theologians resolve questions of how God causes human free acts without violating their freedom. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

It’s not clear what supervaluationists should say about propositional content. Does a vague sentence, e.g., ‘Harry is bald’, express one proposition, or a barrage of propositions, or none at all? Or is the matter indeterminate? The supervaluationist canon is not decisive on the issue; authoritative passages can be cited in favor of each of the proposals just mentioned. Furthermore, some detractors have argued that supervaluationism is incapable of providing any coherent account of propositional content. This paper considers each of the (...) proposals for how many propositions are expressed by a vague sentence: none, some, all, or it’s indeterminate. Most of these proposals turn out to be unworkable in the metalanguage. I conclude that orthodox supervaluationists—those who identify truth with supertruth—must either relax the standard requirement that propositions be bivalent, or else alter the standard relation between sentences and propositions in which a sentence inherits its truth-conditions from the proposition it expresses. The best option going forward for the orthodox supervaluationist is perhaps the most surprising—amend the requirement that propositions be bivalent. I argue that propositions having supervaluational truth-conditions are best suited to fill the propositional roles in the semantic theory of a vague language. These propositions admit of truth-value gaps, and gappy propositions are controversial, but I argue that they earn their keep. (shrink)

Panentheism, a frequently discussed view in recent theological debate, claims that the world is ‘in God’ but that God is ‘more than’ the world. Different theories of the structure of the world produce distinct panentheist views. According to the hunky structure, the world is composed of an infinite number of layers and lacks an ungrounded level. To depict this model, I employ the concepts of ‘grounding’ and ‘emergence.’ The outcome is that if the world is hunky and material reality emerges (...) from such a structure, the world can be in God, but the model of God the Creator is dismissed. (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

The paper argues that Lewis’ Genuine Modal Realism, in taking the plurality of worlds to be necessarily the way it is, implies the existence of necessary connections of the sort that contradicts the Humean thesis that Lewis endorses. By endorsing, pace Divers, a non-redundancy interpretation of advanced modalizing, we gain the means to exactly state what these connections amount to.

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...) that all three views are ineluctably plagued by generation gaps: they either overgenerate beliefs, undergenerate them, or both. (shrink)

This paper sets out some new skeleton mathematically-couched models for dealing with supervenience in some, if not all, its many guises. Our models are based around a naïve invocation of a ‘topology’ induced on object sets by property sets. We have two aims: one is to provide an overview of supervenience with enough rigour and detail to act as a self-contained introduction to the subject; and the other is to set out our new approach—but without getting too bogged down in (...) excessive mathematical, or indeed philosophical, niceties—so that it can be used as a foundation for further work. Throughout we have scattered examples and comments to help clarify the points we make. The early sections use our topological approach to recast what appears elsewhere in the literature. And in the latter sections of the paper, we introduce some new ideas and techniques which help in exploring the general structures underpinning supervenience. (shrink)

Chisholm’s paradox serves as an important constraint on our modal theorising. For example, one lesson of the paradox is that widely accepted essentialist theses appear incompatible with metaphysical necessity obeying a logic that includes S4. However, this article cautions against treating Chisholm’s paradox in isolation, as a single line of reasoning. To this end, the article outlines two crucial morals about Chisholm’s paradox which situate the paradox within a broad family of paradoxes. Each moral places significant constraints on the paradox’s (...) solution space. In light of this perspective, the paper applies the two morals to a recently proposed solution to Chisholm’s Paradox by Benj Hellie, Murray and Wilson Oxford studies in metaphysics, Oxford University Press, Oxford, 2012). (shrink)

In this paper, I examine the case that has been made for origin essentialism and find it wanting. I focus on the arguments of Nathan Salmon and Graeme Forbes. Like most origin essentialists, Salmon and Forbes have been concerned to respect the intuition that slight variation in the origin of an artifact or organism is possible. But, I argue, both of their arguments fail to respect this intuition. Salmon's argument depends on a sufficiency principle for cross-world identity, which should be (...) rejected, if - as Salmon concedes - a given artifact might have been originally made from slightly different material. Similarly, Forbes's argument succeeds only if essentially the same argument can be used to establish a claim that - by his own admission - is too strong, namely that no variation, however slight, in an organism's origin is possible. (shrink)

As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

I present a novel argument against the non-contingency of identity. I first argue that the necessity of distinctness is intimately connected with numerous paradoxes of recombination. In particular, I argue that those who reject the necessity of distinctness have natural solutions to various paradoxes of recombination which have plagued the metaphysics of modality. Moreover, I argue that adding the necessity of distinctness to modest, paradox-free assumptions is sufficient to reinstate the paradoxes. Given that identity is non-contingent only if distinctness is (...) necessary, I suggest this constitutes new evidence against the non-contingency of identity. (shrink)

Heidegger has never been the darling of analytic philosophy. From Carnap’s (1931) dismissal of ‘the nothing noths’ and other remarks of Heidegger’s as paradigmatic examples of the kind of nonsense...

Let Nomological Bound be the thesis that there is nothing objectively possible beyond what is physically possible. Nomological Bound has struck many as a live hypothesis. Nevertheless, in this article I provide a novel argument against it. Yet even though I claim that Nomological Bound is false, I argue that the boundaries of objective possibility can still be characterized intimately in terms of physical necessity. This is philosophically significant, for on a natural understanding it constitutes the powerful anti-sceptical result that (...) those who believe in physical necessity should not harbour any scepticism towards merely metaphysical possibilities. (shrink)

I explore options for a plenitudinarian solution to the Paradox of Flexible Origin Essentialism, taking as my unlikely starting point the views of Sarah-Jane Leslie, who holds that if plenitudinarianism is true, then there is in fact no paradox to be solved, only the illusion of one. The first three sections are expository: Sect. 1 on plenitudinarianism, Sect. 2 on the paradox, and Sect. 3 on Leslie’s views about how plenitudinarianism bears on the paradox. In Sect. 4, I reject the (...) contention that there is no paradox and critically explore three options for a plenitudinarian solution. In Sect. 5, I argue that the plenitudinarian ought to endorse a fourth option. In Sect. 6, I consider an objection. I endorse neither plenitudinarianism nor its denial; the main aim of the paper is to argue that for one who does endorse plenitudinarianism, the best solution to the Paradox of Flexible Origin Essentialism is clear. (shrink)

In this paper I argue that the growing block theory of time has rather surprising, and hitherto unexplored, explanatory benefits when it comes to certain enduring philosophical puzzles concerning death. In particular, I claim the growing block theorist has readily available and convincing answers to the following questions: Why is it an evil to be dead but not an evil to be not yet born? How can death be an evil for the dead if they no longer exist to suffer (...) it? When is death an evil for the one who dies? The ability to give such answers is a significant, but by no means decisive, advantage for the growing block view of time. (shrink)

I focus on two arguments, due to Jaegwon Kim and Trenton Merricks, that move from claims about the sufficiency of one class of causes to the reduction or elimination of another class of entity, via claims about overdetermination. I argue that in order to validate their move from sufficiency to reduction or elimination, both Kim and Merricks must assume that there can be no ‘weak overdetermination’; i.e., that no single effect can have numerically distinct but dependently sufficient causes occurring at (...) the same time. One problem for both arguments is that weak overdetermination isn't obviously objectionable. That point has been well made before. But I want here to go further than merely shifting the burden of proof onto the advocates of overdetermination arguments. I want to tease out why they are so convinced that we must resist weak overdetermination and explain why their conviction is misguided. Both Merricks and Kim, I shall argue, ultimately rest their case on the same motivating principle, wh.. (shrink)

In this paper I argue for a view of groups, things like teams, committees, clubs and courts. I begin by examining features all groups seem to share. I formulate a list of six features of groups that serve as criteria any adequate theory of groups must capture. Next, I examine four of the most prominent views of groups currently on offer—that groups are non-singular pluralities, fusions, aggregates and sets. I argue that each fails to capture one or more of the (...) criteria. Last, I develop a view of groups as realizations of structures. The view has two components. First, groups are entities with structure. Second, since groups are concreta, they exist only when a group structure is realized. A structure is realized when each of its functionally defined nodes or places are occupied. I show how such a view captures the six criteria for groups, which no other view of groups adequately does, while offering a substantive answer to the question, “What are groups?”. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 202-220, April 2022.

Any movement worth its salt has a creation myth. Analytic metaphysics is no exception. According to legend, it was born from the clash of two titans. On the one side, was the anti-metaphysical Logi...

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

The aim of this text is show how Borges, in his story Tigres azules, develops several interesting ideas about logic, language and mathematics. The starting point is Borgesian skepticism about the ability of classical logic to take the problem of truth and impossible worlds. It is defended that inconsistent and even self-contradictory objects do not necessarily give rise to physically or logically impossible worlds. It is suggested that the paradoxes that Borges constructs in the story are not paradoxes of self-reference, (...) but variants of Moore’s paradox and paradoxes of material implication, so to overcome them requires a non-classical approach that neutralizes ECQ, this is, a paraconsistent logic system. (shrink)

On its usual interpretation, the Barcan Formula—◊∃_xB_ → ∃_x_◊_B_—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates the Barcan Formula. (...) This logic has the surprising feature of also validating the Converse Barcan Formula, □∀_xB_ → ∀_x_□_B_, while still invalidating related formulas—such as □∀_x_□∃_y x_ = _y_ (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

Perdurantists hold that we persons—just like other ordinary objects—persist by perduring, by having temporal parts, or stages, located over time. Perdurantists also standardly endorse the B-theory of time. And, in light of this endorsement, they typically characterize our tensed beliefs as self-ascriptions of properties, made not by us but by our stages. For instance, for me to believe that Angela Merkel is currently the chancellor of Germany is for my now-located stage to self-ascribe the property of being simultaneous with Merkel’s (...) chancellorship. The problem with this way of understanding tensed belief is that it undermines—if not outright contradicts—the perdurantist’s best options for resisting the Too Many Thinkers objection. In what follows, I show why this is. I then consider what I take to be the perdurantist’s most promising alternative account of tensed belief. I argue that this alternative either leaves perdurantists no better off with respect to the Too Many Thinkers objection or, instead, leaves them vulnerable to another objection, one that they would otherwise have no problem resisting. (shrink)

H. G. Wells’ Time Traveller inhabits uniform Newtonian time. Where relativistic/quantum travelers into the past follow spacetime curvatures, past-bound Wellsians must reverse their direction of travel relative to absolute time. William Grey and Robin Le Poidevin claim reversing Wellsians must overlap with themselves or fade away piecemeal like the Cheshire Cat. Self-overlap is physically impossible but ‘Cheshire Cat’ fades destroy Wellsians’ causal continuity and breed bizarre fusions of traveler-stages with opposed time-directions. However, Wellsians who rotate in higher-dimensional space can reverse (...) temporal direction without self-overlap, Cheshire Cats or mereological monstrosities. Alas, hyper-rotation in Newtonian space poses dynamic and biological problems,. Controllable and survivable Wellsian travel needs topologically-variable spaces. Newtonian space, not Newtonian time, is Wellsians’ real enemy. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion of (...) substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In this article, I reply to the charge, made in Analysis by Anthony Hatzimoysis, that my criticism of Sartre's Sketch for a Theory of the Emotions is unwarranted. I argued that Sartre offers two lines of reasoning about emotional experience that are in clear conflict with each other. Hatzimoysis counters that we can and should read Sartre's text in a way that avoids attributing inconsistency to Sartre. In response, I argue that Hatzimoysis' suggestion about how one might read the text (...) does not in fact remove the central inconsistency. Pace Hatzimoysis, the inconsistency that I identified remains. (shrink)

In this paper, we consider the implications of Grace de Laguna and Joel Katzav's work for the charge of conservatism against the analytic tradition. We differentiate that conservatism into three kinds: starting place; path dependency; and modesty. We also think again about gender in philosophy, consider the positive account of speculative philosophy presented by de Laguna and Katzav in comparison to some other naturalist trajectories, and conclude with a brief Australian addendum that reflects on a similar period in our own (...) country which was also associated with the professional institutionalisation of analytic philosophy. (shrink)

In this paper, I show how a solution to Lewis’ problem of temporary intrinsics is also a response to McTaggart’s argument that the A-series is incoherent. There are three strategies Lewis considers for solving the problem of temporary intrinsics: perdurantism, presentism, and property-indexing. William Lane Craig (Analysis 58(2):122–127, 1998) has examined how the three strategies fare with respect to McTaggart’s argument. The only viable solution Lewis considers to the problem of temporary intrinsics that also succeeds against McTaggart, Craig claims, is (...) presentism. This gives us prima facie reason to be presentists. But there is a strategy Craig does not consider-indexing, or relativizing, the copula. In this paper, I show that to the degree that indexing the copula solves the problem of temporary intrinsics, it also shows the invalidity of McTaggart’s argument. The upshot: the copula-indexer needn’t affirm the unreality of time, nor need she embrace presentism. (shrink)

Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

David Lewis famously argued that the time traveller ‘can’ murder her grandfather, even though she never will: it is compossible with a particular set of facts including her motive, opportunity and skill . I argue that while ordinary agents ‘can’ under Lewis’s conception, philosophers cannot – the latter will not only fail to fulfill their homicidal intentions but also fail to form them in the first place.

It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.