Do grounding claims entail corresponding supervenience claims? The question matters, as a positive answer would help grounding theorists address worries that their hyperintensional primitive is obscure, and also increase the argumentative strategies that are available within ground-theoretic frameworks for metaphysical inquiry. Leuenberger (Erkenntnis 79:227–240, 2014a) argues for a negative response, by specifying some candidate principles of entailment and then claiming that each of them is subject to counterexamples. In this paper, I critically assess those principles and the objections he raises (...) against them, and advocate a novel entailment principle that overcomes all the problems suffered by those other principles. The principle I defend places a supervenience-based constraint on grounding claims, and secures a substantive connection between grounding and modality, weaker than necessitation. (shrink)

Naturalized metaphysics is based on the idea that philosophy should be guided by the sciences. The paradigmatic science that is relevant for metaphysics is physics because physics tells us what fundamental reality is ultimately like. There are other sciences, however, that de facto play a role in philosophical inquiries about what there is, one of them being the science of language, i.e. linguistics. In this paper I will be concerned with the question what role linguistics should and does play for (...) the metametaphysical question of how our views about fundamental reality can be reconciled with the everyday truisms about what there is. I will present several examples of two kinds of approaches to this question, linguistics-based accounts and purely philosophical accounts, and will discuss their respective methodological merits and shortcomings. In the end I will argue that even proponents of a purely philosophical answer to the metametaphysical question should take the results of linguistics seriously. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

This article offers an approach that combines, on the one hand, the philosophical notion of reflexivity, which is related to the ideas of self-reference and paradox, and, on the other hand, the sociological discussion of epistemic reflexivity as a problem of coherence, which was mainly initiated by certain branches of ethnomethodology and social constructionism. This combinatory approach argues for reflexivity as an epistemic criterion of ontological coherence, which suggests that social ontologies should account for the possibility of self-reflective subjectivity – (...) for otherwise they result in a paradoxical conclusion according to which a social scientist reflects on her or his ontological commitments even though these commitments deny her or him the capacity for self-reflection. This analysis presupposes that all human sciences are categorically premised on social ontologies; and it argues for an analytical distinction between self-reflection, which refers to the agential capacity for reflecting on one’s own commitments, and the epistemic criterion of reflexivity hereby proposed. These two analytically distinct though interdependent socio-theoretical concepts are frequently conflated in the literature; thus, this article also aims at a ‘clearing of the ground’ that can be of categorical use to the human sciences. (shrink)

In recent work, Amie Thomasson has sought to develop a new approach to the philosophy of the categories which is metaphysically neutral between traditional realist and conceptualist approaches, and which has its roots in the ‘correlationalist’ approach to categories put forward in Husserl’s writings in the 1900s–1910s and systematically charted over the past few decades by David Woodruff Smith in his studies of Husserl’s philosophy. Here the author aims to provide a recontextualization and critical assessment of correlationalism in a Husserlian (...) vein. To this end, the author presents, first, the reasons why, later in his life, Husserl himself found his earlier treatment of categories philosophically naive, and why he increasingly advocated for a more genetic-teleological account. The author then draws upon arguments made a century earlier by Schelling and Hegel, in criticism of Fichte, to point up what might remain philosophically unsatisfying about even the post-correlationalist genetic position of the later Husserl, in light of the pronounced trend in Husserl’s own development, on the questions of reason and spirit, toward absolute idealism. (shrink)

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

Characterization of a form of explanation involving grounding on the model of mechanistic causal explanation.

This paper reflects on metametaphysics and as such develops a metametameta-physical view: that quietist metametaphysics requires dialetheism, and in turn a paraconsistent logic. I demonstrate this using Carnap’s metametaphysical position in his 'Empiricism, Semantics and Ontology' as an example, with regard to how it exhibits self-reference and results in inconsistency. I show how applying Carnap’s position to itself produces a dilemma, both horns of which lead to a contradiction. Such inconsistency commonly arises from meta-theories with global scope, as the 'meta' (...) approach aims to transcend the scope of that which it is theorizing about, whilst the global nature will place itself back within the scope of that which it is theorizing about, which together result in the theory referring to itself whilst refuting itself. I argue that any global metametaphysical theory that draws a limit to thought will face self-reference problems leading to contradictory realms. My conclusion is conditional: If we want to meta-philosophize in such a way and treat quietist meta-theories as being true, then we need to be dialetheist and utilize a paraconsistent logic in order to accommodate the contradictions that result from such theorizing. (shrink)

As anyone familiar with my own work would readily infer, I have virtually boundless admiration for Wayne Proudfoot’s Religious Experience. In fact, to be honest I think Religious Experience belongs together with Jeff Stout’s The Flight from Authority and David Hume’s Dialogues Concerning Natural Religion as the books that have most profoundly shaped my teaching and scholarship. More than the other two works, however, Religious Experience has informed my most basic attitudes about the point and proper pursuit of the shared (...) enterprise we call the study of religion. I know I’m not completely idiosyncratic in my estimation of... (shrink)

In an earlier paper in this journal I argued that deflationism is preferable to fictionalism as an alternative to both traditional realism and eliminativism. Gabriele Contessa questions this conclusion, denying that fictionalist arguments beg the question against easy ontological arguments, presenting a new argument against easy ontology, and suggesting a response to the challenge I raise for fictionalists. Below I respond to these points in turn. In so doing, I hope to clarify the broader theoretic orientation of easy ontology—in particular, (...) its rejection of a Quinean criterion of ontological commitment and its commitment to a form of functional pluralism about language. (shrink)

Elizabeth Barnes and Mari Mikkola raise the important question of whether certain recent approaches to metaphysics exclude feminist metaphysics. My own approach does not, or so I argue. I do define “substantive” questions in terms of fundamentality; and the concepts of feminist metaphysics are nonfundamental. But my definition does not count a question as being nonsubstantive simply because it involves nonfundamental concepts. Questions about the causal structure of the world, including the causal structure of the social world, are generally substantive (...) because their answers are not sensitive to any alternate, equally good conceptual choices we could have made. I also argue that such questions are substantive regardless of the ontology of social kinds. (shrink)

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

I argue for a conception of essence that does not rely on distinctions of metaphysical fundamentality.

A number of philosophers think that grounding is, in some sense, well-founded. This thesis, however, is not always articulated precisely, nor is there a consensus in the literature as to how it should be characterized. In what follows, I consider several principles that one might have in mind when asserting that grounding is well-founded, and I argue that one of these principles, which I call ‘full foundations’, best captures the relevant claim. My argument is by the process of elimination. For (...) each of the inadequate principles, I illustrate its inadequacy by showing either that it excludes cases that should not be ruled out by a well-foundedness axiom for grounding, or that it admits cases that should be ruled out. (shrink)

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the desired (...) result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

After many years of enduring the drought and famine of Quinean ontology and Carnapian meta-ontology, the notion of ground, with its distinctively philosophical flavor, finally promises to give metaphysicians something they can believe in again and around which they can rally: their very own metaphysical explanatory connection which apparently cannot be reduced to, or analyzed in terms of, other familiar idioms such as identity, modality, parthood, supervenience, realization, causation or counterfactual dependence. Often, phenomena such as the following are cited as (...) putative examples of grounding connections: systematic connections between entire realms of facts (mental/physical; moral/natural; etc.); truthmaking (e.g., the relation between the truth of the proposition that snow is white and snow’s being white); logical cases (e.g., the connection between conjunctive facts or disjunctive facts and their constituent facts); the determinate/determinable relation (e.g., the relation between something’s being maroon and its being red). I argue in this paper that classifying all of these phenomena as exhibiting grounding connections does not achieve much in the way of illumination. In fact, by treating a collection of phenomena which is in fact heterogeneous as though it were homogeneous, we have, if anything, taken a dialectical step backward. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

The notion of a non-sensory mental state or event that plays a prominent role in coming to understand, an epistemic achievement distinct from mere knowledge, featured prominently in historical writings on philosophy, and philosophical methodology. It is, however, completely absent from contemporary discussions of the subject. This paper argues that intuition plays an epistemic role in understanding, including philosophical understanding, and offers an explanation of how intuition manages to play this role, if and when it does. It is argued, subsequently, (...) that this role is autonomous, in the sense that a source of understanding cannot be reduced to a source of justification, evidence, or reason. Finally, it is noted that such autonomy implies that popular forms of skepticism about intuition do not impugn intuition’s epistemic significance with respect to its status as a source of understanding. (shrink)

Realists about science tend to hold that our scientific theories aim for the truth, that our successful theories are at least partly true, and that the entities referred to by the theoretical terms of these theories exist. Antirealists about science deny one or more of these claims. A sizable minority of philosophers of science prefers not to take sides: they believe the realism debate to be fundamentally mistaken and seek to abstain from it altogether. In analogy with other realism debates (...) I will call these philosophers quietists. In the philosophy of science quietism often takes a somewhat peculiar form, which I will call naturalistic quietism. In this paper I will characterize Maddy’s Second Philosophy as a form of naturalistic quietism, and show what the costs for making it feasible are. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

The idea that certain philosophical debates are "merely verbal" has historically been raised as a challenge against (large parts of) metaphysics. In this paper, I explore an analogous challenge to large parts of epistemology, which is motivated by recent arguments in experimental philosophy. I argue that, while this challenge may have some limited success, it cannot serve as a wedge case for wide-ranging skepticism about the substantiveness of epistemological debates; most epistemological debates are immune to the worries it raises.

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...) any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (shrink)

Idealism is often associated with the kind of metaphysical system building which was successfully disposed of by logical positivism. As Hume's fork was intended to deliver a serious blow to Leibnizian metaphysics so logical positivism invoked the verificationist principle against the reawakening of metaphysics, in the tradition of German and British idealism. In the light of this one might reasonably wonder what Carnap's pragmatism could possibly have in common with Collingwood's idealism. After all, Carnap is often seen as a champion (...) of the logical positivist's critique of metaphysics, whilst Collingwood is renowned for his defence of the possibility of metaphysics against the attack to which Ayer subjected it. The answer is that they have more in common than one might suspect and that, once the relevant qualifications are made, there is as much convergence as there is contestation between Carnapian pragmatism and Collingwoodian idealism. (shrink)

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)

Discordamos sobre todo o tipo de coisas: o que existe, como as coisas funcionam, o que fazer, de que gostamos, etc. Entre os vários tipos de desacordo discutidos em debates filosóficos contemporâneos encontram-se os desacordos irrepreensíveis, os desacordos meramente verbais, e os desacordos entre pares. Os diferentes tipos de desacordo dão lugar a diversos problemas filosóficos. Há filósofos defendem que se o desacordo sobre uma questão é irrepreensível, então talvez não haja verdades objectivas sobre essa questão, e que se um (...) desacordo é meramente verbal, então não existe nenhum problema real em discussão. Algumas consequências destes tipos de desacordo concernem a objectividade dos problemas em causa. Outras consequèncias concernem a racionalidade das nossas crenças, como quando aprendemos que um par epistémico não concorda connosco. Este artigo resume a discussão filosófica contemporânea sobre o desacordo meramente verbal, o desacordo irrepreensível, e o desacordo entre pares. (shrink)

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).

Much recent literature in metaphysics attempts to answer the question, ‘What is metaphysics?’ In this paper I argue that many of the most influential contemporary answers to this question yield the result that feminist metaphysics is not metaphysics. I further argue this result is problematic.

Does the notion of ground, as it has recently been employed by metaphysicians, point to a single unified phenomenon? Jonathan Schaffer holds that the phenomenon of grounding exhibits the unity characteristic of a single genus. In defense of this hypothesis, Schaffer proposes to take seriously the analogy between causation and grounding. More specifically, Schaffer argues that both grounding and causation are best approached through a single formalism, viz., that utilized by structural equation models of causation. In this paper, I present (...) several concerns which suggest that the structural equation model does not transfer as smoothly from the case of causation to the case of grounding as Schaffer would have us believe. If it can in fact be shown that significant differences surface in how the formalism in question applies to the two types of phenomena in question, Schaffer’s attempt at establishing an analogy between grounding and causation has thereby been weakened and, as a result, the application of the Unity Hypothesis to the case of grounding once again stands in need of justification. (shrink)

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

Given how epistemologists conceive of understanding, to what degree do we understand the hypothesis of extended mind? If the extended mind debate is a substantive dispute, then we have only superficial understanding of the extended mind hypothesis. And if we have deep understanding of the extended mind hypothesis, then the debate over this hypothesis is nothing but a verbal dispute.

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

The waning popularity of logical empiricism and the supposed discovery of insurmountable technical difficulties led most philosophers to abandon the project to formulate a formal criterion of empirical significance. Such a criterion would delineate claims that observation can confirm or disconfirm from those it cannot. Although early criteria were clearly inadequate, criticisms made of later, more sophisticated criteria were often indefensible or easily answered. Most importantly, Carnap’s last criterion was seriously misinterpreted and an amended version of it remains tenable.

In philosophy, as in many other disciplines and domains, stable disagreement among peers is a widespread and well-known phenomenon. Our intuitions about paradigm cases, e.g. Christensen's Restaurant Case, suggest that in such controversies suspension of judgment is rationally required. This would prima facie suggest a robust suspension of judgment in philosophy. But we are still lacking a deeper theoretical explanation of why and under what conditions suspension is rationally mandatory. In the first part of this paper I will focus on (...) this question. After a critical survey of some recent alternative approaches (diversity as a thread to the reliability, decision problem, acquisition of undercutting defeaters), I will argue that in fact discovering disagreement with an opponent provides me with a rebutting defeater, but only if some further non-trivial conditions are satisfied - among them my acknowledging her as my reliability peer. In the second part of the paper I will explore in more detail the skeptical implications this account has for philosophy. Here, I will defend two claims. First, skepticism about philosophy is mandatory only if the relevant peerness assumption can be justified. Second, in philosophy there is no basis available that would support the relevant peerness assumption. If this is correct, we are not forced into skepticism about philosophy and may rationally retain our philosophical beliefs even in the face of controversy. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Dorr, Fine, and Hirsch, and replies by me.

We develop a theory about the metaphysics of time and modality that combines the conceptual resources devised in recent sympathetic work on ontological pluralism (the thesis that there are fundamentally distinct kinds of being) with the thought that what is past, future, and merely possible is less real than what is present and actual (albeit real enough to serve as truthmakers for statements about the past, future, and merely possible). However, we also show that despite being a coherent, distinctive, and (...) prima facie appealing position, the theory succumbs to what we call the “problem of mixed ontological status”. We conclude that the proponents of the theory can only evade these problems by developing ontological pluralism in a radically different way than it has been by its recent sympathizers. (shrink)

I defend the claim that physicalism is not committed to the view that non-phenomenal macrophysical truths are a priori entailed by the conjunction of microphysical truths , basic indexical facts , and a 'that's all' claim . I do so by showing that Chalmers and Jackson's most popular and influential argument in support of the claim that PIT ⊃ M is a priori, where 'M' stands for any ordinary, non-phenomenal, macroscopic truth, falls short of establishing its conclusion. My objection to (...) Chalmers and Jackson's argument takes the form of a nested dilemma. Let 'Conceptual Competence Principle ' stand for the following claim: for any complete microphysical description D of a world w, a subject who is in possession of and competent with a macrophysical concept C is capable of determining a priori the extension of C. Either Jackson and Chalmers accept CCP or not. If the latter, then they cannot demonstrate that the conditional PIT ⊃ M is a priori. If the former, then they have a choice: they can either cite reasons that support the principle or argue that the principle should be taken for granted since it is entailed by the very notion of conceptual competence. But both alternatives are problematic. In regard to the first horn of this latter dilemma, I show not only that there are no good reasons to support the principle, but that there are also reasons to reject it. In regard to the second horn, I show that it cannot be the case that CCP is part of the very notion of conceptual competence. The conceptual capacity expressed by CCP requires that certain bridge principles or conditionals, which link the microphysical level to the macroscopic level, are either implicitly or explicitly given to the subject. But, as I argue, Chalmers and Jackson have no way of accounting for these bridge principles or conditionals in a manner that does not trivialize their position. (shrink)

Fundamental to Computer Science is the distinction between abstractions and implementations. When that distinction is applied to various philosophical questions it yields the following conclusions. -/- • EMERGENCE. It isn’t as mysterious as it’s made out to be; the possibility of strong emergence is not a threat to science. -/- • INTERACTIONS BETWEEN HIGHER-LEVEL ENTITIES. Physical interaction among higher-level entities is illusory. Abstract interactions are the source of emergence, new domains of knowledge, and complex systems. -/- • PHYSICS and the (...) SPECIAL SCIENCES. The new domains of knowledge derived from abstract interactions are the basis of the autonomy of the special sciences. -/- • DOWNWARD CAUSATION. It’s a zombie idea that should have a stake put through its heart and be replaced by downward entailment. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)