The article is devoted to Gödel's Ontological Argument, its place in the history of philosophy, and the current debate over the validity of Ontological Proof. First, we argue that Gödel's argument is a necessary step in the history of the development of Ontological Proof. Second, we show that Gödel's argument is based on implausible axiological principles, but can be appropriately reformulated in terms of plausible axiological principles. Also, we consider the debate over the validity of Gödel`s argument between contemporary neo-Gaunilist (...) Graham Oppy and the advocate of Gödel`s Ontological Proof Michael Gettings. We conclude that Gödel's Ontological Argument is immune to Oppy`s neo-Gaunilism. Finally, given the fact that Oppy`s parody is arguably the most fine-grained Gaunilo-style argument in the history of philosophy, we conclude that Gaunilist line of argumentation, even if successful in refuting Anselm`s Ontological Proof, does not work against Gödel's Ontological Argument. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

Many philosophers regard the persistence of philosophical disputes as symptomatic of overly ambitious, ill-founded intellectual projects. There are indeed strong reasons to believe that persistent disputes in philosophy (and more generally in the discourse at large) are pointless. We call this the pessimistic view of the nature of philosophical disputes. In order to respond to the pessimistic view, we articulate the supporting reasons and provide a precise formulation in terms of the idea that the best explanation of persistent disputes entails (...) that they are pointless. We then show how to answer the pessimistic argument. Taking a well-known mathematical controversy as our paradigm example, we argue that some persistent disputes reflect substantive disagreements at the “meta-analytic” level, i.e., disagreements about the best way, among quite different candidates, to understand the topic at issue, and the best associated cluster of analytic truths one should accept concerning it. Moreover, our concrete example shows that such meta-analytic disagreements can in principle be settled and yield a genuine theoretical (as opposed to merely pragmatic) breakthrough. We conclude optimistically that persistent disputes can be an important means of fostering epistemic progress. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

This article aims to provide a metaphysical elucidation of the notion of Theism and a coherent theological synthesis of two extensions of this notion: Classical Theism and Neo-Classical Theism. A model of this notion and its extensions is formulated within the ontological pluralism framework of Kris McDaniel and Jason Turner, and the (modified) modal realism framework of David Lewis, which enables it to be explicated clearly and consistently, and two often raised objections against the elements of this notion can be (...) successfully answered. (shrink)

Within philosophy, the word “possible” is generally used to speak about either of the following. (1) Possibility: the notion that is expressed by sentences such as “It is possible that there are green cats,” “She may become the best surgeon in the city,” and “Our team can win the race.” Among the features of possibility, three are of particular interest to philosophers: it is closely related with necessity, contingency, and actuality; it is not unified, but comes in multiple varieties; it (...) is intuitively linked to conceivability. (2) The possible: the target of sentences expressing a possibility, i.e., whatever is possible. Philosophical inquiry is notably interested in the existence and the nature of possible things. For those who think possible things exist, the challenge is to say how and where. For those who think possible things do not exist, the challenge is to say how sentences stating a possibility can be true. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Intensions feature prominently among the entities we talk about.

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such as (...) Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

Globalisation Considering the Multitude of Worlds This book deals with globalisation, its foundations, its rise and fall and the question of its future. It discusses the conditions that have led, each in its own way, to the reduction of the many worlds to one. The first foundations were laid in the time of the discoveries, the earth was recognised and measured as a unified space. Missionary work and colonisation have made the geographical unit into a unity of fundamental beliefs, values (...) and Western European languages. The brisk trade with the colonies also unified the financial and economic situation of the conquered foreign worlds, which were managed according to Western patterns. The small gain of the political independence of the states achieved in the decolonisation movement was unfortunately destroyed by the great losses already suffered in the area of the fundamental values of the original worlds, their languages, their ways of living, their faith. In the new situation it became apparent that the economic dependence on the former colonial states was increasing rather than decreasing, the way of doing politics had remained by habit that of the colonial powers. Decolonisation was not a way back to the old world. Two metaphysical assumptions of globalisation are discussed in more detail. One is the assumption of realism that the world is one. This assumption justifies missionary and colonialist action. On the other hand, there is the thesis of liberalism that the being of the beings is its economic value. Against the realistic assumption of the one world, arguments are put forward which justify and make plausible the opposite assumption of a multitude of worlds. Now that the world is de facto one thanks to globalisation, and now that it is suffering from problems that affect all people, a new kind of globalisation is needed, one that recognises and respects different worlds on the one hand, but is nevertheless capable of tackling environmental, financial and social problems together. Depending on the subject, two very different ways of reasoning are used. In the preparatory historical part, the arguments are empirical and stick to details; in the part dealing with the justification of the multiplicity of worlds, the argumentation is theoretical, not to say speculative. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one notion (...) that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

ABSTRACT In several publications, François Recanati argues that time, world, location, and similar constituents are not arguments of the verb, although they do affect truth conditions. However, he points out that this fact does not decide the debate regarding whether these notions are represented as sentential operators variables bound by quantifiers, as both approaches can be made compatible with such non-arguments. He makes these points using philosophical arguments; in this paper I use linguistic evidence from a variety of languages. Specifically, (...) I demonstrate that time, world, location, and person behave syntactically and semantically the same across languages. Hence, either all are arguments, or neither are; and the evidence points to the latter position. The cross-linguistic data give rise to a generalization, which connects the availability of quantifying over times, worlds, locations, or persons with the availability of indexical expressions of the corresponding type. For example, a language that does not have temporal indexicals cannot have tense. I demonstrate that this generalization follows naturally from the quantifier approach, but would remain a mystery under the operator view. Therefore, the cross-linguistic evidence argues in the favor of the quantificational approach. (shrink)

The distinction between quantitative and qualitative parsimony is supposed to allow David Lewis to dismiss one of the charges against his modal realism: that is, the charge of bloated ontology. The aim of this paper is to undermine Lewis's response to this objection. In order to do this, a distinction between multipliable and nonmultipliable objects is introduced. Based on this it is argued that the acceptance of Lewis's response requires one to believe in modal realism in the first place—that is, (...) one has to believe in the view that the existence of nonactual spatiotemporal worlds does not affect the quality of the ontological commitment. Although the paper focuses on the problem of the metaphysics of possible worlds, this should be regarded merely as a case study. Accordingly, the results of this analysis should find applications in other metaphysical debates as well. (shrink)

El presente artículo introduce el lector a la filosofía analítica de la religión desde un punto de vista histórico y haciendo énfasis en su evolución. El objetivo es doble: primero dar a conocer una nueva disciplina que se ha desarrollado de manera notoria dentro del habla inglesa pero que ha sido ignorada dentro de la filosofía de habla hispana; segundo, comprender su nacimiento y algunas de sus principales características.

In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...) Arabi’s related views and concepts as they are dispersed throughout his writings. I then clarify, sharpen and, in many cases, develop these views and concepts into fully constructed forms. Finally, I weave the developed concepts and views into a systematic thesis or set of sub-theses. Where necessary, I provide my own arguments and concepts to help substantiate and strengthen the structure of Ibn Arabi’s thesis. I propose that Ibn Arabi’s various, and sometimes apparently inconsistent, views are best presented in terms of three main concepts: the concept of ultimate reality as existence, which has long been known as Ibn Arabi’s thesis of the oneness of existence ; the concept of ultimate reality as the Divine Self ; and the concept of ultimate reality as God. The three concepts neither represent different ultimate realities nor different perspectives of the same ultimate reality. Instead, they represent the same ultimate reality but each one has its own unique scope and encompassment. The three concepts are aimed at encompassing Ibn Arabi’s various views and concepts of ultimate reality in a consistent and systematic manner. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (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)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

Según una historia estándar, devenida habitual especialmente por influencia del pensamiento heideggeriano, la filosofía occidental se encuentra atrapada en la trampa de la metafísica. La trampa de la metafísica centra la crítica a la metafísica en torno a la tesis según la cual el esencialismo y una concepción de la verdad condicionada por él determinan qué significa “ser” o “existencia”. Detrás de la realidad se supone un fundamento que bajo la forma de un “trasmundo” (Hinterwelt) produce una manifestación cuasi-causal, a (...) saber: el “mundo” (Welt), el cual se deja con ello concebir como la aparición del ser que se ha retraído en sí mismo. La diferencia entre ser y apariencia mantiene al pensamiento metafísico atrapado, en la medida en que éste no es capaz de reconocer esa diferencia misma como una apariencia. En Siete ensayos sobre la muerte de la metafísica, Héctor Ferreiro ofrece frente a esta historia estándar una convincente contrahistoria. Esta contrahistoria tiene su punto de partida en Hegel, quien intenta, de modo opuesto a la lectura propuesta por Heidegger, superar a la metafísica con sus propios medios y sepultarla a partir de su propia dinámica interna. Precisamente a esta superación está dedicado el debate y discusión de Hegel con el argumento ontológico. Como Kant, Hegel ve en el argumento ontológico uno de los centros operacionales de la metafísica clásica. La cuestión es, pues, cómo abordar el argumento ontológico del modo correcto desde un punto de vista crítico a la metafísica. La estrategia que ofrece Hegel consiste, como lo expone Ferreiro, en desenmascarar la distinción misma entre el ser y la apariencia producida por él como una operación de tipo conceptual. Según Hegel, la metafísica ha sido desde siempre el intento por desarrollar una teoría de la totalidad. Pero una teoría de la totalidad que coloca al ser de un lado y a su aparición del otro lado de un límite no advierte su propia operación, dado que el trazado de un límite pertenece él mismo a la teoría de la totalidad. De lo que se trata, pues, es de examinar los trazados de límite constitutivos de la metafísica para reconocerlos como productos de la reflexión y no como hechos dados que el pensamiento tan sólo debe reflejar. El movimiento de autosuperación de la metafísica que culmina en la discusión de Kant y Hegel con el argumento ontológico pertenece ya, sin embargo, a la tradición de la metafísica. Como lo muestra Ferreiro, la metafísica está a más tardar a partir de la distinción medieval entre esencia y existencia en proceso de superarse a sí misma, pues ya Tomás de Aquino logra reconocer en dicha distinción la verdadera fuente de la producción del mundo. Tomás persiste aún, sin embargo, en una concepción sustancialista, en la medida en que considera a la distinción entre esencia y existencia como un hecho in-dependiente de la teoría y del sujeto. Sin embargo, esa distinción es una operación conceptual y no un objeto que se encuentra en el mundo. En esta medida, la tesis de la distinción de razón entre ambas categorías se presenta como un indicador de la reflexión de la metafísica sobre sí misma. Ferreiro demuestra que el célebre comienzo de la Cien-cia de la Lógica de Hegel significa precisamente una profundización y radicalización de esa autorreflexión. Ahora bien, a ojos de Hegel el ser del comienzo de la Lógica es en sí mismo como tal el resultado del argumento ontológico; en su formulación clásica, sin embargo, el argumento ontológico sólo aspira a probar que hay algo (Dios), pero el argumento mismo no es como tal capaz de determinar ulteriormente ese algo –esto constituye justamente la tarea de la ontología en el sentido de Hegel, es decir, la tarea de la Lógica. Así, lo que podría denominarse en Hegel una “metafísica” es expresamente una crítica a la metafísica tradicional. En efecto, la ontología que Hegel propone en modo alguno significa una recaída en la metafísica anterior a Kant; por el contrario, en la filosofía de Hegel metafísica y crítica a la metafísica se vinculan íntimamente y con ello se cierra un círculo que se había abierto en la metafísica teológica de la Edad Media: precisamente que este movimiento estaba contenido ya programáticamente en la ontología de la distinción entre esencia y existencia es algo que Ferreiro analiza en forma clara y meticulosa. En cuanto disciplina, la ontología está hoy nuevamente en el centro de la atención de la reflexión filosófica a nivel mundial. Siete ensayos sobre la muerte de la metafísica no sólo ofrece en este respecto un análisis de índole histórica; es también una importante contribución teórica al actual retorno a la ontología. (shrink)

I argue that ‘actually’ does not have a reading according to which it is synonymous with the actuality operator of modal logic, and propose an alternative account of ‘actually’. The cases that have been thought to show that ‘actually’ is synonymous with the actuality operator are modal and counterfactual sentences in which an embedded clause's evaluation is held fixed at the world of the context. In these cases, though, this embedded clause's evaluation is not due to the presence of ‘actually’. (...) As an alternative, I propose that ‘actually’ is a presupposition trigger along the lines of ‘even’ or ‘too’, and it signals that presupposed information states in the discourse are evolving in a non-standard way. (shrink)

In the middle of last century metaphysics was widely criticized, ridiculed, and committed to the flames. During this period a handful of philosophers, against several anti-metaphysical trends, defended metaphysics and articulated novel metaphysical doctrines. Donald C. Williams was one of these philosophers. But while his contributions to metaphysics are well known his defence of metaphysics is not and yet it played a key part in the development and revival of metaphysics. In this paper I present his defence of metaphysics in (...) its historical context. I also show how his defence is relevant in response to recent attacks on metaphysics. (shrink)

Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development (...) of new ‘direct’ theories of reference for names in the 1970s.These developments do suggest that Quine's unfriendliness towards any formal logics but the classical and indifference towards theories of reference for any singular terms but variables were unfortunate. (shrink)

A number of prominent epistemologists claim that the principle of sensitivity “play[s] a starring role in the solution to some important epistemological problems”. I argue that traditional sensitivity accounts fail to explain even the most basic data that are usually considered to constitute their primary motivation. To establish this result I develop Gettier and lottery cases involving necessary truths. Since beliefs in necessary truths are sensitive by default, the resulting cases give rise to a serious explanatory problem for the defenders (...) of sensitivity accounts. It is furthermore argued that attempts to modally strengthen traditional sensitivity accounts to avoid the problem must appeal to a notion of safety—the primary competitor of sensitivity in the literature. The paper concludes that the explanatory virtues of sensitivity accounts are largely illusory. In the framework of modal epistemology, it is safety rather than sensitivity that does the heavy explanatory lifting with respect to Gettier cases, lottery examples, and other pertinent cases. (shrink)

The view that actually has a reading on which it is a two-dimensional indexical modal operator has some problems.

The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution is put (...) forward. The key is to rethink the closeness relation that is at the heart of counterfactual theories of knowledge. (shrink)

Patients suffering from the Cotard syndrome can deny being alive, having guts, thinking or even existing. They can also complain that the world or time have ceased to exist. In this article, I argue that even though the leading neurocognitive accounts have difficulties meeting that task, we should, and we can, make sense of these bizarre delusions. To that effect, I draw on the close connection between the Cotard syndrome and a more common condition known as depersonalisation. Even though they (...) are not delusional, depersonalised patients seem to have experiences that are quite similar to those of Cotard patients. I argue that these experiences are essentially characterised by a lack of subjective character and of two other structural features of experience, which I call ‘the present character’ and ‘the actual character’. Cotard's nihilistic delusions simply consist in taking these anomalous experiences at face value. (shrink)

Descartes was certain that he was thinking and he was accordingly certain that he existed. Like Descartes, we seem to be more certain of our thoughts and our existence than of anything else. What is less clear is the reason why we are thus certain. Philosophers throughout history have provided different interpretations of the cogito, disagreeing both on the kind of thoughts it characterizes and on the reasons for its cogency. According to what we may call the empiricist interpretation of (...) the cogito, I can only claim to be certain of having experiences, and this certainty, as well as that of my own existence, stems from their phenomenal and subjective character. According to rationalist interpretations, on the other hand, I am certain of having some self-reflexive propositional attitudes, and this certainty derives from their rational features. Psychiatric patients suffering from acute forms of depersonalization or of the Cotard syndrome often doubt that they think and exist, and might even believe that they don't. I argue that their study allows us to favor the empiricist interpretation of the cogito. (shrink)

This chapter gives an exposition and critique of Anselm's Proslogion II argument.

This is the text of my OBO entry on arguments for the existence of God.

I propose and defend a surprisingly simple yet useful analysis of existence according to which existence is a relation between a thing and a set: a thing x bears the relation of existence to a set S if and only if x is a member of S . This simple set-theoretic analysis of existence demystifies existence and is powerful and flexible enough to serve important theoretical purposes.

Latest version of my SEP entry on ontological arguments, which first appeared in 1996. General discussion of ontological arguments. Includes a brief historical overview, a taxonomy of different kinds of ontological arguments, a brief survey of objections to the different kinds of ontological arguments identified in the taxonomy, and more extended discussions of Anselm's ontological argument (Proslogion 2), Godel's ontological argument, and Plantinga's ontological argument.

This paper investigates the logic of Ockhamism, a view according to which future contingents are either true or false. Several attempts have been made to give rigorous shape to this view by defining a suitable formal semantics, but arguably none of them is fully satisfactory. The paper draws attention to some problems that beset such attempts, and suggests that these problems are different symptoms of the same initial confusion, in that they stem from the unjustified assumption that the actual course (...) of events must be represented in the semantics as a distinguished history, the Thin Red Line. (shrink)

This paper is a response to Bruce Langtry's criticisms of views advanced in my book *Ontological Arguments and Belief in God*. In particular, the paper discusses his criticisms of "the general objection" to ontological arguments that is developed in that work.

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

In this entry I present one of the most hotly debated issues in contemporary analytic philosophy regarding the nature of fictional entities and the motivations that might be adduced for and against positing them into our ontology. The entry is divided in two parts. In the first part I offer an overview of the main accounts of the metaphysics of fictional entities according to three standard realist views, fictional Meinongianism, fictional possibilism and fictional creationism. In the second part I describe (...) two main kinds of arguments for or against positing fictional entities into our ontology. The first kind is traditionally inspired by the linguistic data coming from our talk about fictional characters. The second kind is more recent and it builds on genuine ontological considerations. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

The core of Kant’s criticism of the ontological argument is the thesis that existence is not a real predicate capable of being added to the concept of an object. The concept of the most perfect or the most real being is a subjective content that is as such completely determined, that is to say, that already has all the determinations that define that concept as such. Therefore, to know if that object also exists in the real world is indispensable that (...) the subject has an intuition of it. The absence of such intuition is, according to Kant, an insuperable obstacle for the different attempts to prove the existence of God. Although Hegel agrees in principle with Kant´s claim that existence must not be conceived as a real predicate, he considers, however, that to understand it as the position of the already exhaustively determined concept of the object does not imply a true overcoming of the particular notion of existence that is at the base of the ontological argument. In this article I defend the claim that Hegel´s counter-criticism of Kant´s criticism of the ontological argument is actually a radicalization of Kant´s general critique of metaphysics. (shrink)

Oppenheimer & Zalta have re-formulated their non-modal version of the ontological argument, with the help of PROVER9, an automated reasoning engine. The authors end up rejecting the new argument; however, the theist has a rejoinder worth considering. But after presenting the rejoinder, I highlight that the conceivability of the being does not imply its possibility. One lesson is that even non-modal ontological arguments must engage modal matters concerning God. Another lesson is that if PROVER9 is able to derive a conclusion (...) from fewer premises, the proof is sometimes inferior as an argument. (shrink)

In his metaphysical summa of 1986, The Plurality of Worlds, David Lewis famously defends a doctrine he calls ‘modal realism’, the idea that to account for the fact that some things are possible and some things are necessary we must postulate an infinity possible worlds, concrete entities like our own universe, but cut off from us in space and time. Possible worlds are required to account for the facts of modality without assuming that modality is primitive – that there are (...) irreducibly modal facts. We argue that on one reading, Lewis’s theory licenses us to assume maverick possible worlds which spread through logical space gobbling up all the rest. Because they exclude alternatives, these worlds result in contradictions, since different spread worlds are incompatible with one another. Plainly Lewis’s theory must be amended to exclude these excluders. But, we maintain, this cannot be done without bringing in modal primitives. And once we admit modal primitives, bang goes the rationale for Lewis’s modal realism. (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the two (...) readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

'You ask me about the idiosyncrasies of philosophers? There is their lack of historical sense, their hatred of even the idea of becoming, their Egyptianism. They think they are doing a thing honour when they dehistoricize it, sub specie aeternitatis — when they make a mummy of it.'Nietzsche, Twilight of the Idols.

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)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)