In this article, I intend to show what the metaphysical possibility is, distinguishing it from the logical and the physical possibilities, and then to indicate that at least there is two kinds of metaphysical possibilities, i.e., the potentialities of the things and the possibilities of the events to occur. This is an important goal because it makes clearer the discussion about possibilities. To show what the metaphysical possibility is, I try to show that we need (...) an absolute modality for the debate about what is possible do not be trivial. And to indicate that there are two kinds of metaphysical possibilities, I show that we can talk independently about these two notions of possibility, and that the debate between determinism and indeterminism presupposes such distinction. The conclusion we achieve is that there really are these two kinds of metaphysical possibilities, and that if we don’t want to be ambiguous, we have good reasons to use such distinction in our theories about the possibilities. (shrink)

In this paper, we argue that ‘Weak Modal Rationalism’, which is the view that ideal primary positive conceivability entails primary metaphysical possibility, is self-defeating. To this end, we outline two reductio arguments against ‘Weak Modal Rationalism’. The first reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that conceivability both is and is not conclusive evidence for possibility. The second reductio shows that, from supposing that ‘Weak Modal Rationalism’ is true, it follows that (...) it is possible that ‘Weak Modal Rationalism’ is necessarily false, and hence that ‘Weak Modal Rationalism’ is false. We then argue that adopting a weaker position according to which conceivability is merely prima facie evidence for possibility provides limited protection from our criticism of conceivability arguments. (shrink)

I focus on a key argument for global external world scepticism resting on the underdetermination thesis: the argument according to which we cannot know any proposition about our physical environment because sense evidence for it equally justifies some sceptical alternative (e.g. the Cartesian demon conjecture). I contend that the underdetermination argument can go through only if the controversial thesis that conceivability is per se a source of evidence for metaphysical possibility is true. I also suggest a reason to (...) doubt that conceivability is per se a source of evidence for metaphysical possibility, and thus to doubt the underdetermination argument. (shrink)

Hume establishes a link between our capacity to conceive or form “clear and distinct ideas” and metaphysical possibility. Hume’s so-called Conceivability Principle is usually assumed to be epistemic: conceivability is supposed to inform us of independent metaphysical facts. In this chapter, however, I argue that Hume is not engaged in modal epistemology. For Hume, there is no epistemic relation between conceivability and an independent metaphysical world of possibilities. On my reading, conceivability is more like the “mètre (...) étalon” in Paris—the standard unit of measurement of length—than a window or telescope into some metaphysical world. Conceivability is the standard of metaphysical possibility. And just as the meter is defined as a certain distance of light traveled, for Hume, conceivability is defined in terms of the liberty of the imagination. I discuss how Hume deploys conceivability along with knowledge—the standard of metaphysical necessity—as tools for measuring or assessing the alleged metaphysical necessity of a cause to every beginning of existence and the alleged rational foundation of causal inferences. (shrink)

To reject skepticism and lay the foundation for the certainty of knowledge, Kant raised the question of how synthetic a priori proposition is possible. In his solution, the new content of knowledge comes from the syntheses of experience a posteriori, and the universal necessity of knowledge is guaranteed by it’s a priority. Under the influence of Kant, the concept of a priori and necessity has long been regarded as coextensive. But Saul Kripke believes that this will confuse different philosophical fields: (...) a priori is an epistemological concept, which involves the way or means of acquiring knowledge, and necessity is a metaphysical concept, which involves the possible ways or states of the world. The key point is that, on Kripke, there is no necessary connection between these two fields. He raised some famous examples of the necessary a posteriori. More remarkably, in his explanation of necessary a posteriori, although he did not clearly propose the distinction between epistemic possibility and metaphysical possibility, he had laid the foundation for this distinction. Furthermore, on Manuel Garcia-Carpintero and Josep Macia, when Kripke talks about necessary a posteriori by appealing to two relevant expressions, what he proposed can be taken as kind of ‘blueprint for 2-D accounts’. (Manuel Garcia-Carpintero and Josep Macia, 2006, p.2) There are different forms of two-dimensionalism in semantics. I will focus on David Chalmers’s epistemic version and Scott Soames’ criticism. With the framework of possible world semantics established by Kripke and others, David Chalmers’ epistemic two-dimensionalism deals with the relationship between epistemic and metaphysical modalities from a quite different perspective, and then gives an elegant definition to necessary a posteriori and other modal concepts. Scott Soames criticized two-dimensionalism based on Kripke's modal realism and essentialism, and developed Kripke's account of necessary a posteriori. But according to Chalmers, Soames also uses a two-dimensional system himself to analyze cases of the necessary a posteriori. In the first two part of this paper I will briefly introduce the epistemic two-dimensionalism and specify the similarities between Kripke-Soames and Chalmers when they interpret necessary a posteriori. In the third part I turn to their difference by the analysis of relationship between epistemic possibility and metaphysical possibility which is the key issue for illuminating necessary a posteriori. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without (...) qualification.” And Stalnaker writes, “we can agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

This argument demonstrates that within an infinite framework of possibilities, the existence of God—a necessary, omnipotent, omniscient, and perfectly good being—is not only logically possible but metaphysically inevitable. By grounding its premises in logical coherence, probabilistic reasoning, and metaphysical necessity, the argument provides a profound exploration of existence, divinity, and humanity's role in infinite potential. It offers implications for ethical striving, collective responsibility, and the divine foundation of reality. -/- .

This project investigates naturalized metaphysics as a recent trend in analytic metaphysics originating in the naturalist attitude of James Ladyman and Don Ross in their seminal work Everything must Go: Metaphysics Naturalized (2007). The primary focus, however, will be the more recent article “Neo-Positivist Metaphysics” (2012) by Alyssa Ney that originates in this tradition. The project will conclude that naturalized metaphysics is an unsuccessful attempt at an answer to the question ’how is metaphysics possible’. More precisely, the project will establish (...) that any answer to this question must instruct how to succeed at attempts at assertions about the Kantian thing in itself. This requirement is the result of an argument that no other conception of ’reality’ is robust enough to accommodate an ambitious metaphysics. Subsequently, it will be argued that naturalized metaphysics is conceived by its proponents as an attempt at such an answer, but that naturalized metaphysics does not provide the required instruction. This problem occurs because of Carnap’s challenge to metaphysics. Carnap observes that no assertion can be made outside a linguistic framework which has the consequence that metaphysical assertions must be about the conceptual conventions of the linguistic framework rather than the thing in itself. It is the view of Ney and the other proponents of naturalized metaphysics that metaphysics is possible as a naturalized metaphysics; a metaphysics that appropriately defers or yields to the findings of science. The project argues that this requirement does nothing to ensure that Carnap’s challenge is avoided. The challenge is equally significant to naturalized and non-naturalized metaphysics, so long as both require that successful attempts at metaphysics must be assertions about the thing in itself. -/- The project concludes that until or unless Carnap’s challenge is refuted, naturalized metaphysics remain impossible, just like the metaphysics it is supposed to replace. (shrink)

Possible world semantics has been gradually fine-grained over the years. First, simple extensional semantics was fine-grained by relativizing it to worlds considered as counterfactual, thus generating standard possible-world semantics, which was later further fine-grained by relativizing it to worlds considered as actual, thus generating two-dimensional semantics. However, worlds considered as actual were only considered with respect to the empirical facts obtaining in such worlds. This paper shows that no less of an important role is played by another feature of actual (...) worlds, namely, the criteria of identity that obtain in such worlds. (shrink)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to (...) know whether something is possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other (...) hand, according to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter (...) 1 explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (shrink)

Stuart Kauffman has, in recent writings, developed a thought-provoking and influential argument for strong emergence. The outcome is his Theory of the Adjacent Possible (TAP). According to TAP, the biosphere constitutes a non-physical domain qualitatively distinct from the physical domain. The biosphere exhibits strongly emergent properties such as agency, meaning, value and creativity that cannot, in principle, be reduced to the physical. In this paper, I argue that TAP includes various (explicit or implicit) metaphysical commitments: commitments to (1) scientific (...) realism, (2) downward causation and teleology, and (3) modal realism. If TAP is to hang together as the kind of robust philosophical thesis it evidently aspires to be, it needs an account – an account that is currently absent – of its metaphysical commitments. It is however unclear how such an account can be developed since various dilemmas present themselves when one explores how subscribers to TAP might do so. (shrink)

According to a recent proposal, the epistemic aim of metaphysics as a discipline is to chart the different viable theories of metaphysical objects of inquiry (e.g. causation, persistence). This paper elaborates on and seeks to improve on that proposal in two related ways. First, drawing on an analogy with how-possibly explanation in science, I argue that we can usefully understand this aim of metaphysics as the charting of epistemically possible answers to metaphysical questions. Second, I argue that in (...) order to account for the epistemic goodness of this aim, one should appeal to the epistemic value it has in virtue of providing resources for non-factive understanding of the objects of metaphysical inquiry.**This paper is part of a special issue of Argumenta on the Epistemology of Metaphysics**. (shrink)

This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...) he puts it, “zombies” are metaphysically possible. I attempt to show that this argument is refuted by considering an analogous argument in the mouth of a zombie. The conclusion of this argument is false so one of the premises is false. I argue at length that this shows that the original conceivability argument also has a false premise and so is invalid. (shrink)

Recent research into the nature of self in artificial and biological systems raises interest in a uniquely determining immutable sense of self, a “metaphysical ‘I’” associated with inviolable personal values and moral convictions that remain constant in the face of environmental change, distinguished from an object “me” that changes with its environment. Complementary research portrays processes associated with self as multimodal routines selectively enacted on the basis of contextual cues informing predictive self or world models, with the notion of (...) the constant, per-vasive and invariant sense of self associated with a multistable attractor set aiming to ensure personal integrity against threat of disintegrative change. This paper proposes that an immutable sense of self emerges as a global attractor which can be described as a project ideal self-situation embodied in frontal medial processes during more or less normal adolescent development, and that thereafter serves to orient agency in the more or less free development of embodied potentials over the life course in effort to realize project conditions, phenomenally identified with the felt pull towards this end as purpose of and source of meaning in life. So oriented, life-long self-development aims to embody solutions to problems at different timescales depending on this embodied purpose, ultimately in the service of evolutionary processes securing organism populations against threats of disintegrative change over timespans far beyond that of the individual. After characterizing the target sense of self, research circling this target is briefly surveyed. Self as global project and developmental neural correlates are proposed. Then, the paper discusses some implications for research in biological and artificial systems. Building from earlier work in cognitive neurorobotics, discussion affirms the value of reinforcement rituals including prayer in metaphysical self-development, considers implications for value alignment and rights associated with free will in the context of artificial intelligence and robot religion, and concludes by emphasizing the importance of self-development toward project ideals as source of meaning in life in the current social-political environment. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically (...) possible worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world (...) at which the observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

Every metaphysical system must take something as fundamental and unanalyzed, something to which everything else ultimately reduces. Most philosophers today prefer to conceive fundamental reality as non-mental and categorical. This leaves them seeking to reduce the mental to the non-mental and the dispositional to the categorical. Pelczar proposes to invert this picture, putting experience and chance at the foundation and attempting to explain the non-mental and categorical features of our world in their terms. The resulting view, which he calls (...) phenomenalism, takes physical objects to be possibilities (or tendencies) for experience. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

I develop a psychological account for how it is that we use imagination to metaphysically modalize, i.e., to reach conclusions about metaphysical modality. Specifically, I argue that Nichols and Stich’s (2003) cognitive theory of imagination can be extended to metaphysical modalizing. I then use the extension to explicate philosophical disagreements about whether a scenario is metaphysically possible. Thereafter, I address Nichols’ (2006) objection that psychologizing imagination makes it clear that imagination is unreliable when used to metaphysically modalize. The (...) end result is a naturalistic account for how imagination enables us to metaphysically modalize. (shrink)

Truthmaker theorists typically claim not only that all truths have truthmakers (Truthmaker Maximalism), but also that there is some enlightening metaphysical theory to be given of the nature of those truthmakers (e.g. that they are Armstrongian states of affairs, or tropes, or concrete individuals). Call this latter thesis the "Material Theory Thesis" (it is the thesis that there is some true material theory of truthmakers). I argue that the Material Theory Thesis is inconsistent with Truthmaker Maximalism.

Meta-metaphysics concerns the nature and methodology of metaphysics and metaphysical inquiry. The emergence of meta-metaphysics as a systematic area of study is relatively recent, going back to the late 1990s. But the issues pursued in meta-metaphysics are certainly not novel: an age old question about the nature of metaphysics is whether it is possible to obtain knowledge about metaphysical matters in the first place, and if it is, how this knowledge is obtained.

This entry considers the philosophical subject called 'metaphysics'. There have been many conceptions of metaphysics, and metaphysics has faced severe criticism throughout the history of philosophy and continues to do so. Besides discussing some major trends in analytic metaphysics - understood as 'metaphysics done by analytic philosophers' - we consider some of the criticisms and possible responses.

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of (...) the constraints. Therefore, a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

At first glance, impossible world semantics appear to be useful adaptations of normal modal logic. Proponents of impossible worlds argue, e.g., that in the context of metaphysical disagreement, impossible worlds would provide a key to modelling the respective dispute situation. The same philosophers also argue that we need impossible worlds to model what they consider to be the conceivability of logical impossibilities. With the help of Wittgenstein’s early philosophy, or, better said, with what I believe to be a visualisation (...) of his ideas on nesting models for possibility, I develop some thoughts on the likely shared weaknesses of such arguments for nonnormal world approaches. Said goes hand in hand with the supplementary proposal of rethinking our conventional nesting models for possibility. (shrink)

This paper looks at dialectical inferences as they relate to Hegel’s modal metaphysics, closely examining the Actuality section of Hegel’s Science of Logic and positing a reading of Hegel’s modal actualism that engages with two strains of secondary commentary. Responding to commentators, we make the case that Hegel’s ‘das Logische’ avoids presupposing possibility’s being prior to actuality insofar as actuality and the derivation of possibility is considered as the in-itselfness of actuality, an implicit inner moment whereby actuality further (...) determines itself. Actuality is immediate yet derived as an identity from the logic of inner and outer. If actuality as immediacy is explicit/outer, then its opposition, its implicitness/innerness, has to be possibility in the logic of modality. In order to conceive of actuality as existence, and particularly as an emerging process, we must already conceive the problem of presupposing an alien form within the logic of actuality. (shrink)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these speculations (...) that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

Abilitism is an approach to the metaphysics of concepts according to which each concept consists of a managing cognitive ability coordinating other abilities (cognitive and non-cognitive) and a set of subordinate abilities associated with this managing ability. As I argue here, if we accept the abilitist approach, we can efficiently solve such puzzles in the metaphysics of concepts as the partial possession problem, the concept pluralism problem, etc. However, there are some possible objections to abilitism, concerning the abilitist explanation of (...) compositional properties of concepts, knowledge-that, an extension/intension of concepts, and the idea that concepts are constituents of thought. As I demonstrate here, these objections can be answered. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). (...) There are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual (...) forms of imagery and nonmetaphysical forms of possibility, are endorsed. (shrink)

This book gives an account of work that I have done over a period of decades that sets out to solve two fundamental problems of philosophy: the mind-body problem and the problem of induction. Remarkably, these revolutionary contributions to philosophy turn out to have dramatic implications for a wide range of issues outside philosophy itself, most notably for the capacity of humanity to resolve current grave global problems and make progress towards a better, wiser world. A key element of the (...) proposed solution to the first problem is that physics is about only a highly specialized aspect of all that there is – the causally efficacious aspect. Once this is understood, it ceases to be a mystery that natural science says nothing about the experiential aspect of reality, the colours we perceive, the inner experiences we are aware of. That natural science is silent about the experiential aspect of reality is no reason whatsoever to hold that the experiential does not objectively exist. A key element of the proposed solution to the second problem is that physics, in persistently accepting unified theories only, thereby makes a substantial metaphysical assumption about the universe: it is such that a unified pattern of physical law runs through all phenomena. We need a new conception, and kind, of physics that acknowledges, and actively seeks to improve, metaphysical presuppositions inherent in the methods of physics. The problematic aims and methods of physics need to be improved as physics proceeds. These are the ideas that have fruitful implications, I set out to show, for a wide range of issues: for philosophy itself, for physics, for natural science more generally, for the social sciences, for education, for the academic enterprise as a whole and, most important of all, for the capacity of humanity to learn how to solve the grave global problems that menace our future, and thus make progress to a better, wiser world. It is not just science that has problematic aims; in life too our aims, whether personal, social or institutional, are all too often profoundly problematic, and in urgent need of improvement. We need a new kind of academic enterprise which helps humanity put aims-and-methods improving meta-methods into practice in personal and social life, so that we may come to do better at achieving what is of value in life, and make progress towards a saner, wiser world. This body of work of mine has met with critical acclaim. Despite that, astonishingly, it has been ignored by mainstream philosophy. In the book I discuss the recent work of over 100 philosophers on the mind-body problem and the metaphysics of science, and show that my earlier, highly relevant work on these issues is universally ignored, the quality of subsequent work suffering as a result. My hope, in publishing this book, is that my fellow philosophers will come to appreciate the intellectual value of my proposed solutions to the mind-body problem and the problem of induction, and will, as a result, join with me in attempting to convince our fellow academics that we need to bring about an intellectual/institutional revolution in academic inquiry so that it takes up its proper task of helping humanity learn how to solve problems of living, including global problems, and make progress towards as good, as wise and enlightened a world as possible. (shrink)

There’s two points left over from last week’s seminar still to discuss. The first is whether, as Lewis claims, we are justified in positing an asymmetry in the role of pragmatics. The second is whether this approach is at all justified. We’ll look at that before going on to the material scheduled for this week.

Wilfrid Sellars’ distinctive scientific realism has lately been gaining ground, but a crucial issue is how it can or should theorize modality. We argue that many interesting questions in this area transcend the usual ‘first-order’ concerns: “Is there an objectivist modal ontology?” and “What modal entities should we posit”? Rather, Sellars invites us to take a fresh look at the relationship between logic and metaphysics through an investigation of ‘second-order’ philosophical categories. This investigation contrasts with both the first-order 'external' ontologising (...) of metaphysicians such as David Lewis and the 'easy' ontologising of metaphysicians such as Amie Thomasson. We argue that Sellars' approach stimulates a more conscious and fruitful examination of our role and methods as philosophers in the modal arena. Moreover, since the notion of metaphysics as a ‘second-order’ activity has recently gained attention in contemporary philosophy of science through the work of David Wallace, we explore both Sellars’ potential contribution to these discussions and the relationship between Sellars’ approach and contemporary ontic structural realist views regarding modal structure, thereby opening up fundamental questions concerning where and how the metaphysics of modality might be integrated with our current best physics. (shrink)

The topic of this paper is whether there is metaphysical vagueness. It is shown that it is important to distinguish between the general phenomenon of indeterminacy and the more narrow phenomenon of vagueness (the phenomenon that paradigmatically rears its head in sorites reasoning). Relatedly, it is important to distinguish between metaphysical indeterminacy and metaphysical vagueness. One can wish to allow metaphysical indeterminacy but rule out metaphysical vagueness. As is discussed in the paper, central argument against (...) metaphysical vagueness, like those of Gareth Evans and Mark Sainsbury, would if successful rule out metaphysical indeterminacy. One way to argue specifically against the possibility of metaphysical vagueness might be thought to be to argue for a specific theory of the nature of vagueness according to which vagueness is a semantic phenomenon. But it is shown that there are complications also pertaining to arguments with that structure. Toward the end of the paper, I discuss Trenton Merricks’ well-known argument against a semantic view on vagueness and for a metaphysical view. (shrink)

It is widely assumed that sense perception cannot deliver knowledge of nonactual (metaphysical) possibilities. We are not supposed to be able to know that a proposition p is necessary or that p is possible (if p is false) by sense perception. This paper aims to establish that the role of sense perception is not so limited. It argues that we can know lots of modal facts by perception. While the most straightforward examples concern possibility and contingency, others concern (...) necessity and impossibility. The possibility of a perceptual route to some modal knowledge is not as radical as it may at first sound. On the contrary, acknowledging it has benefits. (shrink)

This paper offers an original interpretation of the Daodejing 道德經 as containing a distinctive account of creation. In my reading, the Daodejing envisions the creation of the cosmos by Dao (1) as a movement from the absence of phenomenal forms to phenomenal forms and (2) as a movement from nothingness to existence. I interpret creation as a unique metaphysical operation that explains how (1) and (2) are possible. The paper is organized into two sections. First, I introduce the distinctions (...) between the lack and presence of phenomenal forms (§1.1) and between nothingness and existence (§1.2), using them to map the distinction between Dao and the created world. Then, I propose my account of the Daodejing’s metaphysics of creation (§2.1) and elaborate on its connection with the previously drawn distinctions while answering a potential objection (§2.2). I conclude with some considerations about the connections between the Daodejing’s view of creation and its soteriology. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it (...) says there aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

In his 1998 postscript to ‘The Possibility of Resurrection’ Peter van Inwagen argues that the scenario he describes by which God might resurrect a human organism, even though probably not true, is still conceivable and, consequently, ‘serves to establish a possibility’, namely, the metaphysical possibility of the resurrection of material beings. Van Inwagen, however, has also argued in favour of ‘modal scepticism’ [van Inwagen in, God, knowledge and mystery: essays in philosophical theology, Cornell University Press, Ithaca (...) 1995b, pp. 11–12; van Inwagen in, Philos Stud 92:67–84, 1998a]. That is, he thinks that we should limit all our claims about what is possible to ‘ordinary propositions about everyday matters’, 1998a). In this paper I argue that van Inwagen’s modal argument as found in ‘The Possibility of Resurrection’ is inconsistent with his modal scepticism as found in ‘Modal Epistemology’. In consequence, I argue that, given his modal scepticism, the task van Inwagen set himself in ‘The Possibility of Resurrection’ has not been achieved. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

The following is an interpretation of Aquinas’ agent intellect focusing on Summa Theologiae I, qq. 75-89, and proposing that the agent intellect is a metaphysical rather than a formal a priori of human understanding. A formal a priori is responsible for the intelligibility as content of the object of human understanding and is related to Kant’s epistemological views; whereas a metaphysical a priori is responsible for intelligibility as mode of being of this same object. We can find in (...) Aquinas’ text many indications that the agent intellect is not productive of the universal as content but is, rather, productive of the abstracted or intelligible mode of being of the universal nature. This is because for Aquinas the universal nature, which is the object of human understanding, is present in the things themselves but with a different mode of being. Chapter 1 is intended to establish the fact which requires for Aquinas an agent intellect, and provides two very important principles: one is that the object of human understanding (the universal nature) is present in the things themselves and, the other, that it is not in the things themselves with a mode of being which makes it available to the intellectual eye. These two principles lead us to the main point of Chapter 2, namely the distinction between the intelligible object and its intelligible mode of being. Now, because knowing is receptive of the intelligible object (Chapter 3), which is present in the things themselves (Chapter 1), the agent intellect is productive not of the object’s intelligible content, but of its abstracted or intelligible mode of being (Chapter 4). (shrink)

Considering the importance of possible-world semantics for modal logic and for current debates in the philosophy of modality, a phenomenologist may want to ask whether it makes sense to speak of “possible worlds” in phenomenology. The answer will depend on how "possible worlds" are to be interpreted. As that latter question is the subject of the debate about possibilism and actualism in contemporary modal metaphysics, my aim in this paper is to get a better grip on the former question by (...) exploring a Husserlian stance towards this debate. I will argue that the phenomenologist’s way to deal with the problem of intentional reference to mere possibilia is analogous to the actualist’s idea of how “possible worlds” are to be interpreted. Nevertheless, I will be pointing to a decisive difference in the metaphilosophical preconditions of what I call "phenomenological actualism" and analytical versions of actualism. (shrink)

What follows is going to be an exercise in elemental metaphysical observation and reflection. No special mystical, devotional or intellectual powers will be required: merely the ability to think slowly and carefully and clearly. -/- This short series is for anyone who wants to explore some simple lines of thought based in objective and sceptical self-observation at the most elemental level possible. Some paragraphs might occasionally be written in formal philosophical language, but if so these will always be followed (...) by explanations in the plainest of everyday terms such that anyone with an interest in the subject will be able to understand them. (shrink)