3.2.2. The principle of conceptual containment ........................... 116 3.3.3. The physical human subject or the “I” ............................... 119 3.4. The hyperverse and its EDWs – the antimetaphysical foundation of the EDWs perspective ........................................... 150 Part II. Applications Chapter 4. Applications to some notions from philosophy of mind .. 159 4.1. Levels and reduction vs. emergence ............................................. 160 4.2. Qualia, Kant and the “I” ............................................................... 181 4.3. Mental causation and supervenience ............................................ 190 Chapter 5. Applications to some notions from cognitive science (...) ...... 200 5.1. Computationalism ........................................................................ 200 5.2. Connectionism .............................................................................. 211 5.3. The dynamical system approach .................................................. 223 5.4. Robotics ........................................................................................ 232 5.5. Dichotomies concerning the notion of mental representation and processing .............................................................................. 243 5.6. The EDWs perspective and some key elements in cognitive science .......................................................................................... 249 5.7. The relation between key elements and some philosophical distinctions ................................................................................... 264 5.8. Cognitive neuroscience ................................................................ 267 5.9. The status of any living entity ...................................................... 277 Chapter 6. Applications to some notions from philosophy of science and science ............................................................................ 281 6.1. A glance at logical positivism ...................................................... 285 6.2. Carnap’s linguistic frameworks .................................................... 289 6.3. Carnap vs. Gödel or syntactic vs. semantic .................................. 292 6.4. Carnap vs. Quine or rational reconstruction vs. naturalized epistemology ................................................................................ 295 6.5. Quine’s ontological relativity ....................................................... 296 6.6. Goodman’s relativity .................................................................... 298 6.7. Putnam and the rejection of the “thing-in-itself” .......................... 299 6.8. Friedman’s relative constitutive a priori principles....................... 301 6.9. Some notions from quantum mechanics ....................................... 305 6.10. The status of the external non-living epistemologically different entities ....................................................................................... 343 Conclusion .............................................................................................. 361 References .............................................................................................. 369. (shrink)

Amie Thomasson’s work provides numerous ways to rethink and improve our approach to metaphysics. This chapter is my attempt to begin to sketch why I still think the easy approach leaves room for substantive metaphysical work, and why I do not think that metaphysics need rely on any ‘epistemically metaphysical’ knowledge. After distinguishing two possible forms of deflationism, I argue that the easy ontologist needs to accept (implicitly or explicitly) that there are worldly constraints on what sorts of entities could (...) exist, and could co-exist. I argue this leaves room for a substantive role for metaphysics if (following the work of E.J. Lowe) we take metaphysics to be concerned with the possible ways that reality could be. I explain how this conception does not need to appeal to any ‘epistemically metaphysical’ knowledge, and need only make use of conceptual and/or empirical means to arrive at views on what could exist (and co-exist). Thus, the answer I propose to the question posed in the title, at least in my view, is no-one. Or, at least, no-one should be afraid of conceptual analysis. Not even metaphysicians. (shrink)

In his recent article "Carnapian Frameworks" (Synthese, 2021), Gabriel Broughton criticizes my discussions of Carnap on ontology and puts forward his own interpretation of what Carnap’s external/internal distinction amounts to. I here first argue that Broughton’s main claims about me are based on a misinterpretation. Then I turn to some issues of broader interest. I argue that Broughton’s own, potentially interesting interpretation of Carnap’s external/internal distinction does not work. And in light of Broughton’s discussion I present a sharpened version of (...) what I have earlier said about Carnap’s this distinction. (shrink)

The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphysics, is well recognized. I argue that the relationship between them is not necessarily a rivalry; a division of labour that resembles the relationship between pure mathematics and science is possible. As a case study, I look into the metaphysical underdetermination argument for ontic structural realism, a well‐known position in scientific metaphysics, together with an argument for the position in analytic metaphysics known as ontological nihilism. I argue that (...) we can ascribe the same schema to both arguments, which indicates that analytic metaphysics can offer an abstract model that scientific metaphysics may find useful. (shrink)

Especially over the past twenty years, a number of analytic philosophers have embraced the idea that the world itself is vague or indeterminate in one or more respects. The issue then arises as to whether it can be the case that the world itself is indeterminate in all respects. Using as a basis Chinese Madhyamaka Buddhist thought, I offer two reasons for the coherence and intelligibility of the thesis that all concrete things are themselves indeterminate with respect to the ways (...) they are. The first reason draws on a notion reminiscent of the picture of reality as an amorphous lump, while the second reason makes use of the relativity of conceptual perspectives and determinations. Assuming that the world is the mere totality of all concrete things, I show that there is a genuine metaphysical possibility of the world’s being indeterminate in all respects. (shrink)

Eli Hirsch argues that certain ontological disputes involve a conflict between “equivalent” languages, and that the principle of charity compels each disputant to interpret the other as speaking truly in their own language. For Hirsch, a language’s semantics maps sentences (in context) onto sets of possible worlds but assigns no role to reference. I argue that this method leads to an overly uncharitable portrayal of the disputes at issue – whereby ontologists who speak “equivalent” languages can only argue about syntax. (...) Lack of charity stems from the fact that this portrayal likely fails to uphold the self-conception of the disputants – and particularly what I will call “the weak self-conception”. As a result, Hirsch’s deflationism falls victim of the same principle of charity that informs it. (shrink)

Carnap's conception of linguistic frameworks is widespread; however, it is not entirely clear nor consensual to pinpoint what is the influence of his stance within the traditional realist/anti-realist debate. In this paper, we place Carnap as a proponent of a scientific realist stance, by presenting what he called “linguistic realism”. Some possible criticisms are considered, and a case study is offered with wave function realism, a popular position in the philosophy of quantum mechanics.

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself is not (...) an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

Recent years have seen several studies of metaphysical disputes as disagreement phenomena employing the resources from the research on disagreement in social epistemology. This paper undertakes an analogous study of the metametaphysical disagreement over the substantiveness of metaphysical disputes between inflationists and deflationists. The paper first considers and questions the skeptical argument that the mere existence of the disagreement mandates the suspension of judgement about the substantiveness of metaphysical disputes. Rather, the paper argues that steadfastness in the face of this (...) disagreement is rational, at least for inflationists. Since inflationists are often metaphysicians who were called to this disagreement due to its apparent threat to their first order debates in metaphysics, they can therefore return to these debates in good faith. In contrast, deflationists have no such alternative occupation and the verdict of steadfastness will not alter their engagement in the inflationist/deflationist disagreement: they will continue their attempt to resolve the disagreement to their advantage. Thus, though the verdict of steadfastness is epistemically symmetric between inflationism and deflationism, it induces an asymmetry in the motivation to pursue the inflationist/deflationist disagreement which places the burden of advancing the dialectic of this disagreement with the deflationists while metaphysicians can continue their work as before. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

This paper develops and defends a new argument against physicalist views of consciousness: the inconceivability argument. The argument has two main premises. First, it is not (ideally, positively) conceivable that phenomenal truths are grounded in physical truths. (For example, one cannot positively conceive of a situation in which someone has a vivid experience of pink wholly in virtue of the movements of colorless, insentient atoms.) Second, (ideal, positive) inconceivability is a guide to falsity. I attempt to show that the inconceivability (...) argument enjoys a significant advantage over the more familiar conceivability argument. One can reasonably endorse the inconceivability argument without endorsing the conceivability argument, but one cannot reasonably endorse the conceivability argument without also endorsing the inconceivability argument. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 864-886, December 2021.

The Integrated Information Theory (IIT) formulated for the first time in 2004 by the neuroscientist Giulio Tononi, is a theoretical framework aiming to scientifically explain phenomenal consciousness. The IIT is presented in the first part of this work. Broadly speaking, integrated information is an abstract quantitative measure of the causal power a system has on itself. The main claim of IIT is the identity between informational structures and experience. The nature of this identity will be the subject of the second (...) part. One can interpret the IIT as a fundamental law of nature connecting the physical domain to the mental domain. The philosophical implications of such a claim are numerous and they are subject to criticism. This will be the main concern of the third and last part. (shrink)

I define two metaphysical positions that anti-physicalists can take in response to Jonathan Schaffer’s ground functionalism. Ground functionalism is a version of physicalism where explanatory gaps are everywhere. If ground functionalism is true, arguments against physicalism based on the explanatory gap between the physical and experiential facts fail. In response, first, I argue that some anti-physicalists are already safe from Schaffer’s challenge. These anti-physicalists reject an underlying assumption of ground functionalism: the assumption that macrophysical entities are something over and above (...) the fundamental entities. I call their position “lightweight anti-physicalism.” Second, I go on to argue that even if anti-physicalists accept Schaffer’s underlying assumption, they can still argue that the consciousness explanatory gap is especially mysterious and thus requires a special explanation. I call the resulting position “heavyweight anti-physicalism.” In both cases, the consciousness explanatory gap is a good way to argue against physicalism. (shrink)

According to naturalized metaphysics, metaphysics should be informed by our current best science and not rely on a priori reasoning. Consequently, naturalized metaphysics tends to dismiss metaphysicians’ attempts to quarrel with science. This paper argues that naturalized metaphysics should instead welcome such conflicts between metaphysics and science. Naturalized metaphysics is not eliminative of metaphysics. So, if such conflicts are driven by the immediate absence in science of an answer to a metaphysical question, then the conflict should not be dismissed, but (...) instead be received as an occasion to do naturalized metaphysics. That conflicts between metaphysics and science might be beneficial for naturalized metaphysics is exemplified by the case of non-spatial theories of quantum gravity. These theories are criticized by metaphysicians who, often following David Lewis, argue that spatial distance is an indispensable fundamental element in any coherent metaphysics due to its role as the world-making relation. The resulting conflict, however, is found to be well-motivated since the non-spatial theories of quantum gravity offer no alternative world-making relation to spatial distance. Rather than dismissing this conflict, naturalized metaphysics should therefore receive the Lewisians’ resistance as a call to search for one. How this plays out as a negotiation between the scientific theory and the metaphysical question is exemplified in the last part of the paper where entanglement is proposed as an alternative world-making relation in loop quantum gravity. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

Ontological expressivism is the view that ontological existence claims express non-cognitive mental states. I develop a version of ontological expressivism that is modeled after Gibbard’s (2003) norm-expressivism. I argue that, when speakers assess whether, say, composite objects exist, they rely on assumptions with regard to what is required for composition to occur. These assumptions guide their assessment, similar to how norms may guide the assessment of normative propositions. Against this backdrop, I argue that “some objects have parts”, uttered in the (...) context of an ontological disagreement, expresses a noncognitive disposition to assess the truth of propositions by using only rules of assessment according to which the proposition that some objects have parts is to be evaluated as true. (shrink)

This paper is an investigation into the metaphysics of social objects such as political borders, states, and organizations. I articulate a metaphysical puzzle concerning such objects and then propose a novel account of social objects that provides a solution to the puzzle. The basic idea behind the puzzle is that under appropriate circumstances, seemingly concrete social objects can apparently be created by acts of agreement, decree, declaration, or the like. Yet there is reason to believe that no concrete object can (...) be created in this way. The central idea of my positive account is that social objects have a normative component to them, and seemingly concrete social objects have both normative and material components. I develop this idea more rigorously using resources from the Aristotelian hylomorphic tradition. The resulting normative hylomorphic account, I argue, solves the puzzle by providing a satisfying explanation of creation-by-agreement and the like, while also avoiding the difficulties facing extant accounts of social objects. (shrink)

Carnap’s 1931 attack against metaphysics notoriously utilises Heidegger’s work to exemplify the meaninglessness of metaphysical pseudo‐statements. This paper interprets Carnap’s metametaphysics as concerned with delimiting theoretical dialogue in such a manner as to exclude unresolvable disagreements. It puts forth a revised version of Carnap’s argument against the viability of metaphysics, by setting aside his stronger claims that rely on verificationism and focusing instead on his account of metaphysical claims as mere expressions of what he calls “Lebensgefühl,” or a general attitude (...) towards life. Such attitudes, Carnap argues, are unsuitable objects of theoretical dialogue, insofar as disagreements that concern them are unresolvable. Carnap thus recommends abandoning the attempt to resolve metaphysical disagreements as if they were theoretical. As long as it does not enter into unresolvable disagreements, art, rather than theory, is the appropriate medium for expressing Lebensgefühl. (shrink)

This paper examines an argument by Schaffer (2017) that aims to prove how, contrary to what many philosophers hold, there is no special explanatory gap occurring in the connection between the physical and the phenomenal. This is because a gap of the same kind can be found in every connection between a more fundamental and a less fundamental level of reality. These gaps lurk everywhere in nature. For Schaffer, they can be bridged by means of substantive metaphysical principles such as (...) grounding principles. He thus puts forward a version of grounding-based physicalism, which is supposed to provide this kind of substantive bridge principle. My main contention is as follows: even if Schaffer’s argument indeed proves the existence of a gap in every connection between fundamental and derivative entities, and such gaps can be bridged by means of grounding principles, a different gap remains open in the psycho-physical connection. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

To say that a philosophical dispute is ‘merely verbal’ seems to be an important diagnosis. If that diagnosis is correct for a particular dispute, then the right thing to do would be to declare that dispute to be over. The topic of what the disputing parties were fighting over was just a pseudo-problem (thus not really a problem), or at least – if there is a sense in which also merely verbal disputes indicate some problem, for example, insufficient clarity of (...) terminology – this problem is not substantial, or not as substantial as the disputing parties believed their problem initially to be. In this paper I will try to clarify what it means if we diagnose that two arguing parties are having a merely verbal dispute. (shrink)

This article is about the ontological dispute between finitists, who claim that only finitely many numbers exist, and infinitists, who claim that infinitely many numbers exist. Van Bendegem set out to solve the 'general problem' for finitism: how can one recast finite fragments of classical mathematics in finitist terms? To solve this problem Van Bendegem comes up with a new brand of finitism, namely so-called 'apophatic finitism'. In this article it will be argued that apophatic finitism is unable to represent (...) the negative ontological commitments of infinitism or, in other words, that which does not exist according to infinitism. However, there is a brand of infinitism, so-called 'apophatic infinitism', that is able to represent both the positive and the negative ontological commitments of apophatic finitism. Unfortunately, apophatic finitism cannot adopt that way without losing the ability to represent the positive ontological commitments of infinitism. (shrink)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

The aim of this paper is to explore the possibility that, at least, some metaphysical debates are ‘metalinguistic negotiations’. I will take the dispute between the dominant approaches of realism and the anti-realism ones about the ontological status of scientific models as a case-study. I will argue that such a debate may be better understood as a disagreement, at bottom normatively, motivated, insofar as a normative and non-factual question may be involved in it: how the relevant piece of language ought (...) to be used. Even though I will generally assess the prospects for a broadly deflationist approach, I shall outline a sense in which the dispute can be recast as ‘minimally substantive’. (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I then address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

This paper explains Sebastián Izquierdo's (1601-1681) theory of priority. Izquierdo was a seventeenth-century Spanish scholastic philosopher who was best known in the seventeenth century for his ambitious work, Pharus Scientiarum (“Lighthouse of the Sciences”), which attempts to carry out the Baconian project of establishing a universal art of acquiring and disseminating knowledge. Disputation 15 of the Pharus contains one of the most detailed treatments of priority in the history of philosophy. The purpose of this paper is to limn the contours (...) of that theory. Taking Aristotle as a source of inspiration, Izquierdo distinguishes between absolute and relative priority, and the former he divides into priority of duration, priority of worth, priority of origin, and priority of non-mutual connection. These priorities can also be “chained” and “mixed” in various ways. The task for Izquierdo is to explain what unifies the various priority relations: why do they all count as instances of a single phenomenon (or do they)? I argue that Izquierdo answers this question by means of his notion of a series, which is central to his theory of priority. I explain what a series is, and I explain how Izquierdo’s entire theory of priority is generated from his notion of a series. In the end, Izquierdo’s theory is admirably simple, yet remarkably flexible and able to accommodate a wide variety of priority claims. (shrink)

This issue of The Monist on Carnap’s metaphilosophy is another clear demonstration that Carnap’s career, nearly half a century after his death, is far from over. The scope of Carnap studies continues to broaden into new fields, incorporating more aspects of his thought and bringing it to bear on more aspects of philosophy. And more of his previously unpublished and unknown writings continue to appear; this is the third special issue of a journal in the past year or so that (...) includes hitherto unpublished texts by Carnap himself.1 I am also pleased that this issue of The Monist extends from the very early Carnap to the very late Carnap.2The call for papers was partly inspired by the recent burst of interest in metametaphysics, which in its present form3 derives from the debate between Carnap and Quine about ontology during the 1950s. While the Carnap-Quine debate itself is well represented here in the papers by Geoffrey Hellman and Sean Morris, the metametaphysical discussion about that debate is itself largely absent, to my surprise. That was not the intent, though Carnap himself would presumably have been pleased. He would also have been grateful for Thomas Uebel’s paper explaining that his apparent “elimination” of epistemology during the 1930s did not mean that epistemological questions had been ruled out, only that they had been largely turned into practical questions rather than cognitive ones—but practical questions whose answers needed to be informed by a lot of empirical knowledge. Along similar lines, my own paper tries to make clear, using Huw Price’s “global expressivism” as an example and starting point, what a Carnapian “descriptive pragmatics” would actually involve. In his reply, Price acknowledges Carnap as a fellow traveler and leaves room for descriptive pragmatics but also sketches some limits to this endorsement. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...) signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

A number of philosophers have argued in recent years that certain kinds of metaphysical debates—e.g., debates over the existence of past and future objects, mereological sums, and coincident objects—are merely verbal. It is argued in this paper that metaphysical debates are not merely verbal. The paper proceeds by uncovering and describing a pattern that can be found in a very wide range of philosophical problems and then explaining how, in connection with any problem of this general kind, there is always (...) a non-verbal debate to be had. Indeed, the paper provides a recipe for locating the non-verbal debates that surround these philosophical problems. This undermines metametaphysical verbalist views of our metaphysical questions—i.e., views that say that there is no non-verbal debate to be had about some metaphysical question. Finally, the paper also provides a quick argument against actual-literature verbalist views of our metaphysical questions; in other words, the paper argues that in connection with all of our metaphysical questions, it is easy to find examples of non-verbal debates in the actual philosophical literature. (shrink)

Modal realism is an ontological position made familiar by David Lewis, according to which there exist possible worlds other than the actual world that we inhabit. It is hard to uphold modal realism, and indeed modal realism has only a few advocates. However, as most contemporary metaphysicians agree, this does not mean that it is easy to refute modal realism. In this paper, I argue against modal realism from a metaontological point of view. First, I provide a precise formulation of (...) modal realism based on Lewis’ discussion of modal realism. Second, I argue that modal realism is undermined unless it incorporates a view of metaontology known as ontological realism. Third, I point out that if modal realism incorporates ontological realism, it comes into conflict with its own formulation. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This article firstly criticizes Margaret Archer’s Morphogenetic Approach for being indecisive about the realist notion of emergence it proposes as well as for her inadequate account of structural conditioning. It is argued that critical realists’ conceptualizations of emergence cannot but lead to inconsistencies about the adequate placement of agents as parts of emergent entities. The inconsistencies to which these conceptualizations lead necessitate an anti-realist model of the constitution of societies which takes into account that social structures are existentially dependent upon (...) ideational elaboration. This alternative anti-realist theoretical perspective is provided by Ontogenesis, within the framework of which the realists’ idea of the ‘necessary and internal relations’ give their place to the ontological pervasiveness of the culturally shared imaginary schemata. Archer’s denial of a collective synchronic impact to social forms is implied in her analysis of morphogenetic cycles, according to which, structural elaboration post-dates social interaction; and this denial is also expressed in this very idea of emergent structures. Instead, for Ontogenesis, social forms are synchronically dependent on the collective impact of the differently socially placed agents, who have different interests and material resources, and whose interaction only becomes meaningful when drawing on these culturally shared imaginary schemata. (shrink)

What is the aim of philosophy? There may be too many philosophical branches, traditions, practices, and programs to admit of a single overarching aim. Here I focus on a fairly traditional philosophical project that has recently received increasingly sophisticated articulation, especially by Frank Jackson (1998) and David Chalmers (2012). In §1, I present the project and suggest that it is usefully thought of as ‘total axiomatics’: the project of attempting to axiomatize the total theory of the world. In §2, I (...) raise a problem for the project that I call the ‘problem of multiple axiomatizations.’ I consider some initially alluring but ultimately unpromising approaches to this problem in §3. In §4, I defend a surprising approach to the problem, according to which competing axiomatizations of the total theory of the world are effectively evaluated for their aesthetic virtues. (shrink)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

Several metaphysical debates have typically been modeled as oppositions between a relationist approach and a substantivalist approach. Such debates include the Bundle Theory and the Substratum Theory about ordinary material objects, the Bundle (Humean) Theory and the Substance (Cartesian) Theory of the Self, and Relationism and Substantivalism about time. In all three debates, the substantivalist side typically insists that in order to provide a good treatment of the subject-matter of the theory (time, Self, material objects), it is necessary to postulate (...) the existence of a certain kind of substance, while the other side, the relationist one, characteristically feels that this is an unnecessary expense and that one can get the job done in an ontologically cheaper way just with inter-related properties or events. In this paper I shall defend the view that there is much less of a disagreement between relational ontologies and substantival ontologies than it is usually thought. I believe that, when carefully examined, the two sides of the debate are not that different from each other, in all three cases of pairs of views mentioned above. As we will see, both the relational side and the substantival side work in the same way, suffer from and answer the same objections, and are structurally extremely similar. It will be an important question – one that I shall discuss in detail, and that is indeed the main point of interest for me in this paper – whether this means that the two sides of the debate are somehow 'equivalent' or not, and what 'equivalent' could mean. (shrink)

Following W.V. Quine’s lead, many metaphysicians consider ontology to be concerned primarily with existential questions of the form, “What is there?”. Moreover, if the position advanced by Rudolf Carnap, in his seminal essay, “Empiricism, Semantics, and Ontology ”, is correct, then many of these existential ontological questions ought to be classified as either trivially answerable or as “pseudo-questions”. One may justifiably wonder, however, whether the Quinean and Carnapian perspective on ontology really does justice to many of the most central concerns (...) of this discipline. This chapter argues, by considering a particular ontological dispute between two different kinds of trope theorists, that some of the most interesting and important debates which properly belong to the study of being, whether we call it “metaphysics” or “ ontology ”, do not concern existential questions at all; rather, such disputes in some cases focus on non-existential disagreements over questions of fundamentality. (shrink)

The argument from contingency for the existence of God is best understood as a request for an explanation of the total sequence of causes and effects in the universe (‘History’ for short). Many puzzles about how there could be such an explanation arise from the assumption that God is being introduced as one more cause prepended to the sequence of causes that (allegedly) needed explaining. In response to this difficulty, this chapter defends three theses. First, it argues that, if the (...) argument from contingency is to succeed, the explanation of History in terms of God must not be a causal explanation; second, that a particular hypothesis about God’s relation to History—that God is what I call the foundational ground of History—is intelligible and explanatory; third and finally, that the explanatory advantages of this hypothesis cannot be had within the confines of naturalism. (shrink)

In this paper, I address the issue of the ontological status of qualitative properties. I discuss the prevalent approaches to the problem of qualia in philosophy of mind, in relation to the various attempts at naturalizing the mind and the various theories of perception. I compare these views with Husserl's phenomenology, highlighting the phenomenological distinction between phenomenal contents of mental states and sensory properties of the perceived objects. I present some open issues of this view, in order to show how (...) they can be addressed in the light of some developments of the phenomenological inquiry in Husserl and Merleau-Ponty. (shrink)

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.

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (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)

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

The aim of this article is to develop an argument against metaphysical debates about the existence of human races. I argue that the ontology of race is underdetermined by both empirical and non-empirical evidence due to a plurality of equally permissible candidate meanings of "race." Furthermore, I argue that this underdetermination leads to a deflationist diagnosis according to #hich disputes about the existence of human races are non-substantive verbal disputes. $hile this diagnosis resembles general deflationist strategies in contemporary metaphysics" I (...) show that my argument does not presuppose controversial metametaphysical assumptions. (shrink)

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)