It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (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)

Стаття присвячена онтологічному аргументу Курта Ґьоделя, його місцю в історії філософії і сучасних дебатах стосовно валідності онтологічного доказу. По-перше, ми аргументуємо що Ґьоделів аргумент є необхідним кроком в історії розвитку онтологічного аргументу. По-друге, ми показуємо, що Ґьоделів аргумент засновується на незадовільних аксіологічних принципах, проте може бути переформульований в термінах задовільних аксіологічних принципів. Також ми розглядаємо дебати щодо валідності Ґьоделевого аргументу між сучасним нео-ґаунілістом Ґремом Опі та захисником онтологічного аргументу Майклом Ґетінґсом. Ми доходимо висновку, що онтологічний аргумент Ґьоделя не вразливий до (...) ґаунілізму Опі. Нарешті, враховуючи той факт, що пародія Опі є, імовірно, найбільш досконалим аргументом ґаунілістського ґатунку в історії філософії, ми висновуємо, що ґаунілістська лінія аргументації, навіть якщо є успішною проти аргументу Ансельма, не працює проти аргументу Ґьоделя. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

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)

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)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world – this one – and that all genuine possibilities are grounded in the dispositions exemplified in it. This is the case whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to countenance possibilities quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (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)

'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.

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

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.

David Wallace has given a decision-theoretic argument for the Born Rule in the context of Everettian quantum mechanics. This approach promises to resolve some long-standing problems with probability in EQM, but it has faced plenty of resistance. One kind of objection charges that the requisite notion of decision-theoretic uncertainty is unavailable in the Everettian picture, so that the argument cannot gain any traction; another kind of objection grants the proof’s applicability and targets the premises. In this article I propose some (...) novel principles connecting the physics of EQM with the metaphysics of modality, and argue that in the resulting framework the incoherence problem does not arise. These principles also help to justify one of the most controversial premises of Wallace’s argument, ‘branching indifference’. Absent any a priori reason to align the metaphysics with the physics in some other way, the proposed principles can be adopted on grounds of theoretical utility. The upshot is that Everettians can, after all, make clear sense of objective probability. 1 Introduction2 Setup3 Individualism versus Collectivism4 The Ingredients of Indexicalism5 Indexicalism and Incoherence5.1 The trivialization problem5.2 The uncertainty problem6 Indexicalism and Branching Indifference6.1 Introducing branching indifference6.2 The pragmatic defence of branching indifference6.3 The non-existence defence of branching indifference6.4 The indexicalist defence of branching indifference7 Conclusion. (shrink)

This paper presents a new theory of the truth conditions for indicative conditionals. The theory allows us to give a fairly unified account of the semantics for indicative and subjunctive conditionals, though there remains a distinction between the two classes. Put simply, the idea behind the theory is that the distinction between the indicative and the subjunctive parallels the distinction between the necessary and the a priori. Since that distinction is best understood formally using the resources of two-dimensional modal logic, (...) those resources will be brought to bear on the logic of conditionals. (shrink)

In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...) I present the main argument of those semanticists and describe several responses to the initialisation problem. I finally argue that under certain metaphysical and semantic assumptions, one can respond to the initialisation failure in the classical way, even in indeterministic contexts. (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)

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)

I start from Phillips' discussion of Rhees's dissatisfaction with the idea of a language‐game. Then, from a rereading of Moore, I go on to exemplify interconnected uses of the expressions “language‐game,”“recurrent procedure,”“world‐picture,”“formal procedure,”“agreement in judgment,”“genre picture” and “form of life.” The discussion is related to sense perception, our knowledge of time and space, and the picture‐theory. These topics connect with Wittgenstein's earlier treatment of the will – which changed markedly later. The subtext (in footnotes) confronts (i) the sceptical methods of (...) Descartes and Hume with the grammatical methods of Leibniz, Kant and Wittgenstein, and (ii) the realism of Leibniz and the Tractatus with the transcendental idealism of Kant. My conclusion is that, although the method of Wittgenstein's later work remains in a sense grammatical, (i) in its new form it can free us from the conviction that the intellect can and must resolve one way or the other the conflicts that arise in the course of the latter confrontation, and that (ii), although release from such a conviction is to be seen as the aim of philosophical discourse in general, it allows philosophy to retain its overriding significance. A positive element in that lies in the respect the method demands for that in a human life which is transcendental to the activity of scientific theorising: respect, therefore, for the unique perspective of the individual historical agent. (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)

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)

Ratio, Volume 35, Issue 2, Page 104-111, June 2022.

So begins a recent ontological argument. But what if there are no most perfect beings? Letting God be one, that is, letting “God” name one at the very beginning seems premature. Clearly it is best to leave “God” out of the argument until one is in a position to introduce him by existential instantiation, or, by further argumentation, to identify him with a most perfect being: clearly it is best to leave “God” out of the argument until it has been (...) established that there is a most perfect being. (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)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (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)

We argue that Anselm’s ontological argument (or at least one reconstruction of it) is based on an empirical version of Berry’s paradox. It is invalid, but it takes some understanding of trivalence to see why this is so. Under our analysis, Anselm’s use of the notion of existence is not the heart of the matter; rather, trivalence is.

We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.

Semen Frank (1877–1950) was one of the first and most ardent advocates of the ontological argument in the twentieth century. He proposed an original interpretation of the ontological argument based on its analogy to Descartes’ Cogito. Frank believed that it is possible to develop Cogito ergo sum into Cogito ergo est ens absolutum. In this paper, I analyze his version of the ontological argument. First, I propose a simple reconstruction of his reasoning, paying attention to its hidden premise. Second, departing (...) from the classical logical interpretations of Descartes’ argument, I show that for Frank the claim that God exists had the same logical properties as Cogito. As a result, it seems that his argument was formally correct, though based on a premise which could hardly be convincing for a non-believer. This should not be surprising, however, since Frank, as most Russian religious philosophers, was not interested in the project of philosophical theology. His main concern was rather the development of philosophy based on religious premises, which might be called “theological philosophy”. (shrink)

The paper deals with the problem of axiomatizing a system T1 of discrete tense logic, where one thinks of time as the set Z of all the integers together with the operations +1 ("immediate successor") and-1 ("immediate predecessor"). T1 is like the Segerberg-Sundholm system WI in working with so-called infinitary inference ruldes; on the other hand, it differs from W I with respect to (i) proof-theoretical setting, (ii) presence of past tense operators and a "now" operator, and, most importantly, with (...) respect to (iii) the presence in T1 of so-called systematic frame constants, which are meant to hold at exactly one point in a temporal structure and to enable us to express the irreflexivity of such structures. Those frame constants will be seen to play a paramount role in our axiomatization of T1. (shrink)

This paper argues in favor of a treatment of discourse about fiction in terms of operators on character, that is, Kaplanesque ‘monsters’. The first three sections criticize the traditional analysis of ‘according to the fiction’ as an intensional operator, and the approach to fictional discourse grounded on the notion of contextual shifts. The final sections explain how an analysis in terms of monsters yields the correct readings for a variety of examples involving modal and temporal indexicals.

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)

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.

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

O artigo procura apresentar as modificações do clássico argumento da existência de Deus feitas por Leibniz nos textos _Novos ensaios sobre o entendimento humano _e _Meditações sobre o Conhecimento, a Verdade e as Ideias_. Defende-se que já há em Leibniz uma leitura "ontologizante" de Anselmo, cuja razão bem pode ser a apropriação cartesiana do argumento. O plano de fundo dessa discussão é a maneira como os filósofos, quando leem outros, na medida em que possuem suas próprias agendas filosóficas, cometem, intencionalmente (...) ou não, o que se chama, neste artigo, "deslize filosófico". (shrink)

Consider three widely shared claims that have not been discussed vis-à-vis one another. In his Proslogion, Saint Anselm argued that the claim “God exists” is true. If an intuition that a claim c is a useful a-priori justificatory resource, this can only be because such an intuition is a justification that c is true. And if an intuition that c is a justification that c is true, c can stand, not only for mathematical or logical claims, but also for controversial (...) philosophical ones, e.g., “God exists”. This essay addresses to while dialoguing with the literature on Anselm and intuition and articulating an alternative reading of the Proslogion. The alternative reading is that regardless of whether the Proslogion backs up or aims to back up the claim that “God exists” is true, it implicitly articulates the Meaning Argument whose conclusion is that all persons of faith are able to understand that the claim “God exists” is meaningful. This argument, it is argued, is evidence that an intuition that c may be a useful a-priori justificatory resource even if such intuition does not track truth, but merely meaning in being a justification for taking c to be meaningful. It is also supported that an intuition that “God exists” is not a justification that this claim is true. This is an indication that there may be reasons for thinking that the same applies to other controversial philosophical claims. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators. An important corollary of this result is that presentism cannot (...) be the tense analogue of actualism. (shrink)

(No abstract is available for this citation).

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (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)