Several recent arguments purport to show that omnipotence is incompatible with the possession of various necessary properties. These arguments appeal to one of two plausible but false principles about the nature of power: that if it is metaphysically impossible for a being to actualize a state of affairs, then that being does not have the power to actualize that state of affairs, or that if it is impossible given some contingent facts about the world that a being actualize a state (...) of affairs, then that being does not have the power to actualize that state of affairs. I pose several problems for both principles, thereby undermining the plausibility of these arguments. I then consider the implications of rejecting these principles for related principles in the free will debate. These implications suggest important differences between having the power to bring about a state of affairs, having a choice about whether it obtains, and being able to bring it about. (shrink)

This paper introduces a special issue on logic and philosophy of religion in this journal. After discussing the role played by logic in the philosophy of religion along with classical developments, we present the basic motivation for this special issue accompanied by an exposition of its content.

By defining God as a maximally great being Plantinga is able to devise an ontological argument which validly infers from the possibility of there being a God that there necessarily is a God. In this article I shall argue that Plantinga’s argument is not only question-begging, as several critics have complained, but circular in the strongest sense of the term. Based on reflections on the relation between the notions of coherence and possibility, I shall defend two arguments, previously proposed by (...) Tooley and Guleserian, against the existence of a maximally great being. The article concludes with some critical remarks on Plantinga’s rationale for conceiving God as such a being. (shrink)

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)

Suppose that it is metaphysically possible that the mereological fusion of all contingent states of affairs has a cause. Whatever the nature of the state of affairs that causes such mereological fusion, it should be metaphysically necessary because, otherwise, it could be part of the mereological fusion it causes. It is possible, then, that there is at least one necessary state of affairs. This state of affairs is a causal relatum, so it must include at least one concrete necessary object. (...) But if something is possibly necessary, then it is necessary because it is not metaphysically contingent whether something is necessary or doesn't. Then, it results that it is metaphysically necessary that there is, at least, a concrete necessary object. This work presents and discusses this argument. (shrink)

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

We present familiar principles involving objects and classes (of objects), pairing (on objects), choice (selecting elements from classes), positive classes (elements of an ultrafilter), and definable classes (definable using the preceding notions). We also postulate the existence of a divine object in the formalized sense of lying in every definable positive class. ZFC (even extended with certain hypotheses just shy of the existence of a measurable cardinal) is interpretable in the resulting system. This establishes the consistency of mathematics relative to (...) the consistency of these systems. Measurable cardinals are used to interpret and prove the consistency of the system. Positive classes and various kinds of divine objects have played significant roles in theology. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Three very prominent arguments for atheism are (1) the argument from sub-optimality, (2) the problem of no best world, and (3) the evidential argument from gratuitous evil. To date, it has not sufficiently been appreciated that several important criticisms of these arguments have all relied on a shared strategy. Although the details vary, the core of this strategy is to concede that God either cannot or need not achieve the best outcome in the relevant choice situation, but to insist that (...) God must and can achieve an outcome that is good enough. In short, this strategy invokes divine satisficing in response to these arguments for atheism. (The widespread use of this strategy may have gone unnoticed because the appeal to divine satisficing is usually implicit.) In sections 1–3, the three arguments for atheism will be set out, and it will be shown that the relevant replies all employ this shared strategy. Section 4 will show that those who invoke divine satisficing have failed to establish that this is a coherent notion. Accordingly, these replies to three important arguments for atheism are, at present, incomplete. (shrink)

ABSTRACT W.L. Craig has argued that the universe has a beginning because (1) the infinitude of the past entails the existence of actual infinite multitudes of past intervals of time, and (2) the existence of actual infinite multitudes is impossible. Puryear has rejected (1) and argued that what the infinitude of the past entails is only the existence of an actual infinite magnitude of past time. But this does not preclude the infinitude of the past, Puryear claims, because there can (...) be no justification for the claim that actual infinite magnitudes are impossible. I argue, against Puryear, that there can be such a justification. I claim, nevertheless, that, for reasons entirely different from Puryear’s, the finitude of the past cannot be established based either on the impossibility of actual infinite multitudes or on the impossibility of actual infinite magnitudes. My arguments in this paper draw on insights from al-Kindī and Avicenna. (shrink)

In this article, I present a Leibnizian cosmological argument to the conclusion that either the totality of physical beings has a non-physical cause, or a necessary being exists. The crucial premise of the argument is a restricted version of the Principle of Sufficient Reason, namely the claim that every contingent physical phenomenon has a sufficient cause (PSR-P). I defend this principle by comparing it with a causal principle that is fundamental for physicalism, namely the Causal Closure of Physics, which says (...) that every physical effect has a sufficient physical cause (CC). I find that the evidence for Causal Closure is weaker than the evidence for PSR-P, which means that physicalists who take CC to be justified must concede that PSR-P is also justified, and to a higher degree. Since my Leibnizian cosmological argument succeeds if PSR-P is granted, I conclude that physicalists must either give up CC and thereby physicalism, or accept that a necessary being exists. (shrink)

There are narrowest bounds for P(h) when P(e) = y and P(h/e) = x, which bounds collapse to x as y goes to 1. A theorem for these bounds -- bounds for probable modus ponens -- entails a principle for updating on possibly uncertain evidence subject to these bounds that is a generalization of the principle for updating by conditioning on certain evidence. This way of updating on possibly uncertain evidence is appropriate when updating by ’probability kinematics’ or ’Jeffrey-conditioning’ is, (...) and apparently in countless other cases as well. A more complicated theorem due to Karl Wagner -- bounds for probable modus tollens -- registers narrowest bounds for P(not h) when P(not e) = y and P(e/h) = x. This theorem serves another principle for updating on possibly uncertain evidence that might be termed ’contraditioning’, though it is for a way of updating that seems in practice to be frequently not appropriate. It is definitely not a way of putting down a theory -- for example, a random-chanc. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by Ondřej (...) Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (shrink)

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)

Anselmian theists claim (a) that there is a being than which none greater can be conceived; and (b) that it is knowable on purely—solely, entirely—a priori grounds that there is a being than which none greater can be conceived. In this paper, I argue that Anselmian Theism gains traction by conflating different interpretations of the key description ‘being than which no greater can be conceived’. In particular, I insist that it is very important to distinguish between ideal excellence and maximal (...) possible excellence. At the end of my paper, I illustrate the importance of this distinction by applying my discussion to the recent defence of Anselmian Theism in Nagasawa (Philos Q 58:577–591, 2008). (shrink)

The ontological argument in Anselm’s Proslogion II continues to generate a remarkable store of sophisticated commentary and criticism. However, in our opinion, much of this literature ignores or misrepresents the elegant simplicity of the original argument. The dialogue below seeks to restore that simplicity, with one important modification. Like the original, it retains the form of a reductio, which we think is essential to the argument’s great genius. However, it seeks to skirt the difficult question of whether 'exists' is a (...) genuine predicate by appealing instead to a distinction between having only mediated causal powers and having unmediated causal powers. Pegasus has no unmediated causal powers, but he has mediated causal powers through the thoughts, depictions, and literature in which he figures. This distinction allows us to argue about the existence of God without begging any questions. (shrink)

In this work three recent proposal of analysis of the concept of ‘religion’ are discussed. There is a strong convergence between these three proposals in several points: all of them maintain that a religion should be the belief of something –a set of propositions, the object of a propositional attitude like a belief–, all of them maintain that the object of the belief should be a theory about the good, and all of them maintain that a religion should have important (...) normative and practical consequences. It is argued here that there are at least two problems with the general conception that results from these analyses. In the first place, attributing to a religion the conditions of identity of an act of belief leads to absurd consequences. In the second place, it seems much better to analyze a religion as a theory about God or some gods. (shrink)

Due to the logical relations between theism and intelligent design (id), there are two challenges to theism that also apply to id. In the falsifiability challenge, it is charged that theism is compatible with every observation statement and thus asserts nothing. I argue that the contentious assumptions of this challenge can be avoided without loss of precision by charging theism (and thus id) directly with the lack of observational assertions. In the translatability challenge, it is charged that theism can be (...) translated into a (non-theistic) set of observation statements without loss of cognitive content. I argue that the contentious assumptions of this challenge are avoided by the related charge that the (non-theistic) evolutionary theory makes all the observational assertions of id, while the converse does not hold. Elliott Sober has argued that id meets the falsifiability challenge, but, since it makes almost no observational assertions, is not testable. I point out two problems with Sober’s argument and show that id is both deductively and probabilistically testable. Sober’s argument, I suggest, inconsistently combines the modified falsifiability challenge with the modified translatability challenge. If his claims about id’s observational assertions are true, however, id succumbs to the modified translatability challenge. (shrink)

I propose that a logical formalization of a natural language text may be regarded as adequate if the following three groups of beliefs can be integrated into a wide reflective equilibrium: our initial, spontaneous beliefs about the structure and logical quality of the text; our beliefs about its structure and logical quality as reflected in the proposed formalization, and our background beliefs about the original text’s author, his thought and other contextually relevant factors. Unlike a good part of the literature, (...) I stress the indispensable role of initial beliefs in achieving such a wide reflective equilibrium. In the final sections I show that my approach does not succumb to undue subjectivism or the mere perpetuation of prejudice. The examples I use to illustrate my claims are chiefly taken from Anselm’s Proslogion 2–3 and the various attempts to formalize these texts. (shrink)

This essay develops a new interpretation of Moses Mendelssohn’s ontological argument in the Morning Hours: Lectures on God’s Existence. At the beginning, Immanuel Kant’s famous criticism of the ontological proof of God’s existence in the Critique of Pure Reason is presented. Then I offer an in-depth analysis of Mendelssohn’s original ontological argument in the Morning Hours. It is shown that with Mendelssohn’s new proof of God, Kant’s objections are answered. Finally, it is explained why Mendelssohn does not succeed in completely (...) refuting Kant’s objections. (shrink)

God is traditionally taken to be a perfect being, and the creator and sustainer of all that is. So, if theism is true, what sort of world should we expect? To answer this question, we need an account of the array of possible worlds from which God is said to choose. It seems that either there is (a) exactly one best possible world; or (b) more than one unsurpassable world; or (c) an infinite hierarchy of increasingly better worlds. Influential arguments (...) for atheism have been advanced on each hierarchy, and these jointly comprise a daunting trilemma for theism. In this paper, I argue that if theism is true, we should expect the actual world to be a multiverse comprised of all and only those universes which are worthy of creation and sustenance. I further argue that this multiverse is the unique best of all possible worlds. Finally, I explain how his unconventional view bears on the trilemma for theism. (shrink)

The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (led (...) by the Cracow Circle and Quine). (shrink)

Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...) science” for both mathematics and philosophy. Gödel's temporal subjectivism and metaphysical conceptual objectivism are presented as positively or negatively motivated by Kant's viewpoints. A remark on Gödel's collapse of modalities (in accordance with the collapse of objective time) is added. (shrink)

I propose a new reading of Hegel’s discussion of modality in the ‘Actuality’ chapter of the Science of Logic. On this reading, the main purpose of the chapter is a critical engagement with Spinoza’s modal metaphysics. Hegel first reconstructs a rationalist line of thought — corresponding to the cosmological argument for the existence of God — that ultimately leads to Spinozist necessitarianism. He then presents a reductio argument against necessitarianism, contending that as a consequence of necessitarianism, no adequate explanatory accounts (...) of facts about finite reality can be given. (shrink)

The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...) the claim is true, then Anselm's argument is unsound. (shrink)

The aim of the paper is to examine the problem of suffering in the book of Job and the possible solution it offers. For this reason, it is structured as follows: In the first section, we will analyse Job’s evidential argument; the second section will delve into the ”friends’ and their failed attempt at a retributive theodicy; finally, we shall look into God’s argument and try to explain Job’s answer in terms of sceptical theism.

The existence of God is once again the focus of vivid philosophical discussion. From the point of view of analytic theology, however, people often talk past each other when they debate about the putative existence or nonexistence of God. In the worst case, for instance, atheists deny the existence of a God, which no theists ever claimed to exist. In order to avoid confusions like this we need to be clear about the function of the term 'God' in its different (...) contexts of use. In what follows, I distinguish between the functions of 'God' in philosophical contexts on the one hand and in theological contexts on the other in order to provide a schema, which helps to avoid confusion in the debate on the existence or non-existence of God. (shrink)

The aim of this essay is twofold. First, it outlines the concept of ontological frame. Secondly, two models are distinguished on this structure. The first one is connected to Kant’s concept of possible object and the second one relates to Leibniz’s. Leibniz maintains that the source of possibility is the mere logical consistency of the notions involved, so that possibility coincides with analytical possibility. Kant, instead, argues that consistency is only a necessary component of possibility. According to Kant, something is (...) possible if there is a cause capable of bringing it into existence; to this end consistency alone is not sufficient. Thus, while the Leibnizian notion of consistency is at the root of the concept of analytical possibility, the Kantian notion of possibility is the source of real possibility. This difference plays an important role in the discussion of Gödel’s ontological proof, which can be formally interpreted on the ontological frame of the pure perfections. While this proof, under some emendation condition, is conclusive in the context of Leibniz’s ontological model, it is not so within the Kantian one. This issue will be the subject of the second part of the present essay. (shrink)

Focusing on God's essential attributes of omnipotence, omniscience, being eternal and omnipresent, being a creator and sustainer, and being a person, I examine how far recent discussion has been able to provide for each of these divine attributes a consistent interpretation. I also consider briefly whether the attributes are compatible with each other.

The Pinocchio paradox, devised by Veronique Eldridge-Smith in February 2001, is a counter-example to solutions to the Liar that restrict the use or definition of semantic predicates. Pinocchio’s nose grows if and only if what he is stating is false, and Pinocchio says ‘My nose is growing’. In this statement, ‘is growing’ has its normal meaning and is not a semantic predicate. If Pinocchio’s nose is growing it is because he is saying something false; otherwise, it is not growing. ‘Because’ (...) stands here for a non-semantic relation; it might be supposed to be causal or of some other nature, but it is not semantic. The paradox is discussed in relation to Tarski’s and Kripke’s theories of truth. Although the paradox is not necessarily a counter-example to a theory of a truth predicate, it is a problem for a theory of truth of the kind preserved by validity. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

In a recent article (Kraay 2013), I argued that some prominent responses to two important arguments for atheism invoke divine satisficing – and that the coherence and propriety of this notion have not been established. Chris Tucker (2016) agrees with my evaluation of divine satisficing, but disagrees with my exegesis of these responses. He argues that they should be understood as invoking motivated submaximization instead. After reviewing the dialectical situation to date, I assess whether motivated submaximization can be deployed in (...) such a way as to defeat these argument for atheism. I argue that it’s far from clear that it can. (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.

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

در این مقاله سعی شده است فهم دینی کرکگور از «سوبژکتیویته» با استناد به گفته‌های او به ویژه در دست‌نوشته‌ها و سایر نوشته‌هایش تبیین شود. او مفاهیم کلیدی نظیر «مسیحیت»، «حقیقت»، «شور»، «خدا»، و «ایمان» را برای توصیف و تبیین «سوبژکتیویته» به کار می‌برد. برای مثال تلقی وی از مسیحیت به مثابۀ «سوبژکتیویته» با تلقی رایج و عمدتاً تاریخی از مسیحیت که عمدتاً درک ابژکتیو از آن دارند کاملاً متفاوت است. مسیحیت از نظر این متفکر عمدتاً در قالب آموزه‌ها مطرح (...) می‌شود و چیزی که برای او حائز اهمیت است مسیحی شدن است، نه این که مسیحیت چیست. کرکگور به دنبال آن است که در برابر سوبژکتیویتۀ فلسفی فلسفۀ مدرن نظیر تفکر دکارتی و کانتی موضعی انتقادی اتخاذ کند. باید گفت که کرکگور با سوبژکتیویته سروکار دارد، نه سوبژکتیویسم که یک مسئلۀ معرفت شناختی است و او علاقه‌ای به آن ندارد. بنابراین هدف این مقاله این است که ماهیت دینی سوبژکتیویته و فهم دینی از آن را در نوشته‌های این متفکر دانمارکی نشان دهد. (shrink)