In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

This project is an investigation into the prospects for an antirealist theory of essence. Essentialism is the claim that at least some things have some of their properties essentially. Essentialist discourse includes claims such as “Socrates is essentially human”, and “Socrates is accidentally bearded”. Historically, there are two ways of interpreting essentialist discourse. I call these positions ‘modal essentialism’ and ‘neo-Aristotelian essentialism’. According to modal essentialism, for Socrates to be essentially human is for it to be necessary that he be (...) a human if he exists, and for Socrates to accidentally have a beard is for it to be contingent that Socrates has a beard if he exists. According to neo-Aristotelian essentialism, objects have definitions in something like the way words do. For Socrates to be essentially human but accidentally bearded is for it to be part of the definition of Socrates that he is human, but not part of that definition that he is bearded. I argue that both are susceptible to antirealist interpretation. This thesis sets about showing that this is the case. In Chapters One and Two I investigate neo-conventionalist theories of modality, in the hope of using such a position to develop an antirealist modal essentialism. In Chapter Three I discuss the debate between modal and neo-Aristotelian essentialism and conclude that it is by no means settled. In Chapter Four I develop an antirealist neo-Aristotelian essentialism based on the mechanism of one of the neo-conventionalist accounts of modality. In Chapter Five I argue that this account is in a better position to give an essentialist theory of necessity than its realist counterparts. I conclude that, regardless of whether one is a modal or neo-Aristotelian essentialist, antirealist essentialism is a viable theory of essence that is worthy of consideration in contemporary debate. (shrink)

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)

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)

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...) that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (shrink)

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

There is a salient contrast in how theoretical representations are regarded. Some are regarded as revealing the nature of what they represent, as in familiar cases of theoretical identification in physical chemistry where water is represented as hydrogen hydroxide and gold is represented as the element with atomic number 79. Other theoretical representations are regarded as serving other explanatory aims without being taken individually to reveal the nature of what they represent, as in the representation of gold as a standard (...) for pre-20th century monetary systems in economics or the representation of the meaning of an English sentence as a function from possible worlds to truth values in truth-conditional semantics. Call the first attitude towards a theoretical representation *realist* and the second attitude *instrumentalist*. Philosophical explanation purports to reveal the nature of whatever falls within its purview, so it would appear that a realist attitude towards its representations is a natural default. I offer reasons for skepticism about such default realism that emerge from attending to several case studies of philosophical explanation and drawing a general metaphilosophical moral from the foregoing discussion. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

In the book, I provide an account of what it is for an agent to have an ability. According to the Success View, abilities are all about success across possible situations. In developing and applying the view, the book elucidates the relation between abilities on the one hand and possibility, counterfactuals, and dispositions on the other; it sheds light on the distinction between general and specific abilities; it offers an understanding of degrees of abilities; it explains which role intentions and (...) performances play for the having of an ability, how abilities relate to success and failure, and gives an outlook at how the view might be applied to the free will debate and time travel. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

This paper makes a case that we should believe in the existence of worldly states of affairs.

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...) based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

Presentism is the view that only presently existing things exist. Actualism is the view that only actually existing things exist. Although these views have much in common, the position we take with respect to one of them is not usually thought to constrain the position that we may take toward the other. In this paper I argue that this standard attitude deserves further scrutiny. In particular, I argue that the considerations that motivate one common objection to presentism—the grounding objection—threaten to (...) give rise to an analogous grounding objection to actualism. Those who are moved by grounding considerations to give up presentism should either be moved by analogous considerations to give up actualism as well or be prepared to undertake quite a bit of further work in order to defend their position. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

The main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the background of debates (...) about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

This thesis was on how God is related to the truth-values of propositions on possible worlds - specifically, those propositions that do not seem to be about Him and constitute His ideas for what to create. It opened with a survey of some historical positions with special emphasis on Aquinas, Leibniz, Spinoza and Kant. Next, some criticisms were given for these so-called deity theories with the most space given to Brian Leftow’s critiques. The second chapter detailed Brian Leftow’s theological modality. (...) In it, secular modality is excogitated in an instant from eternity when God gets a set of creaturely natures in one imaginative act. His preferences that are based on His nature then determine the modality of what God thinks up. A number of objections were raised for the Leftowian project and the last chapter attempted to supplement an older deity theory with some insights from Leftow in order to avoid his initial criticisms. (shrink)

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

Different versions of the A-theory of time are traditionally defined in terms of whether everything is present, or whether there are also past and future things. In this paper I argue that the traditional way of defining A-theories should be abandoned. I focus on the traditional definition of presentism, according to which always, everything is present. First, I argue that there are good reasons to reject all the most plausible interpretations of the predicate ‘is present’ as it appears in the (...) traditional definition of presentism. It follows that there are also good reasons to reject the most plausible interpretations of the traditional definitions of the other A-theories. I then argue that there is a better way of defining the A-theories, in terms of the question of whether existence has a beginning and an end. Finally, I argue that what goes for the traditional definition of presentism goes for the traditional definition of its modal analogue actualism, according to which necessarily, everything is actual : there are good reasons to reject the traditional definition of actualism in favour of a definition in terms of contingent existence. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

Our paper consists of three parts. In the first part we explain the concept of mental fictionalism. In the second part, we present the various versions of fictionalism and their main sources of motivation.We do this because in the third part we argue that mental fictionalism, as opposed to other versions of fictionalism, is a highly undermotivated theory.

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

Worlds, Lewis says this: Let us say that something persists iff, somehow or other, it exists at various times; this is the neutral word. Something perdures iff it persists by having different temporal parts, or stages, at different times, though no one part of it is wholly present at more than one time; whereas it endures iff it persists by being wholly present at more than one time. Perdurance corresponds to the way a road persists through space; part of it (...) is here, and part of it is there, and no part is wholly present at two different places. Endurance corresponds to the way a universal, if there are such things, would be wholly present wherever and whenever it is instantiated. Endurance involves overlap: the content of two different times has the enduring thing as a common part. Perdurance does not.1 Lewis's remarks suggest the following formulations of the two views in the 3D/4D controversy.2.. (shrink)

Pantheism claims: (1) there exists an all-inclusive unity; and (2) that unity is divine. I review three current and scientifically viable ontologies to see how pantheism can be developed in each. They are: (1) materialism; (2) Platonism; and (3) class-theoretic Pythagoreanism. I show how each ontology has an all-inclusive unity. I check the degree to which that unity is: eternal, infinite, complex, necessary, plentiful, self-representative, holy. I show how each ontology solves the problem of evil (its theodicy) and provides for (...) salvation (its soteriology). I conclude that Platonism and Pythagoreanism have the most divine all-inclusive unities. They support sophisticated contemporary pantheisms. (Published Online February 17 2004). (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)

∗ Apologies to Mark Hinchliff for stealing the title of his dissertation. (See Hinchliff, A Defense of Presentism. As it turns out, however, the version of Presentism defended here is different from the version defended by Hinchliff. See Section 3.1 below.).

Joseph LaPorte in an article on `Kind and Rigidity'(Philosophical Studies, Volume 97) resurrects an oldsolution to the problem of how to understand the rigidityof kind terms and other general terms. Despite LaPorte'sarguments to the contrary, his solution trivializes thenotion of rigidity when applied to general terms. Hisarguments do lead to an important insight however. Thenotions of rigidity and non-rigidity do not usefullyapply at all to kind or other general terms. Extendingthe notion of rigidity from singular terms such as propernames to (...) general terms such as natural kind terms is amistake. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)