The aim of this paper is to reconstruct a modal version of the ontological argument (MOA) in a two dimensionally extended way. This modification of MOA, I argue, might respond to Tooley’s (1981) and Findlay’s (1948) prominent objections against the argument. The MOA has two distinct key premises that are criticized by Tooley and Findley. According to Tooley, the structure of the argument allows to define further properties that exclude the existence of God-like beings. Findlay, (...) however, argues against the proof in a Kantian way by claiming that the very property of necessary existence is contradictory, therefore no being can possess it. In this paper, I am going to show how Tooley and Findlay’s critique re-frame the original ontological argument debate. I will provide a comprehensive map over all possible ways of refuting the MOA. Finally, I argue that, once we apply a two dimensional framework, we are in a position to refute Findlay’s criticism. (shrink)

The paper presents a new version of the "Cosmological Argument" – considered to be an ontological argument, since it exclusively uses ontological concepts and principles. It employs famous results of modern physics, and distinguishes between event-causation and agent-causation. Due to these features, the argument manages to avoid the objection of infinite regress. It remains true, however, that the conclusion of the argument is too unspecific to be unambiguously considered an argument for the (...) class='Hi'>existence of God. (shrink)

The paper deals with the "deuteros plous", literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s "Phaedo", the key passage being Phd. 99e4–100a3. The second voyage refers to what Plato’s Socrates calls his “flight into the logoi”. Elaborating on the subject, the author first (I) provides a non-standard interpretation of the passage in question, and then (II) outlines the philosophical problem that it seems to imply, and, finally, (III) tries to apply this philosophical problem to the "ultimate (...) final proof" of immortality and to draw an analogy with the ontological argument for the existence of God, as proposed by Descartes in his 5th "Meditation". The main points are as follows: (a) the “flight into the logoi” can have two different interpretations, a common one and an astonishing one, and (b) there is a structural analogy between Descartes’s ontological argument for the existence of God in his 5th "Meditation" and the "ultimate final proof" for the immortality of the soul in the "Phaedo". (shrink)

Absolute nothing is the absence of our universe and its laws. Without these rules, nothingness has infinite potential. This implies that within the infinite probability of nothing, infinity can emerge. This would be expressed through infinite universes like our own. Infinite of these universes will differ by several particles, appearing and disappearing for no reason other than fulfilling every possibility. This universe is the product of a greater realisation of infinity and we can test this theory via the measurement of (...) our universe’s most fundamental particles appearing and disappearing for no discernible internal reason (random to our perspective). (shrink)

Applying the concepts of Kolmogorov-Chaitin complexity and Turing’s uncomputability from the computability and algorithmic information theories to the irreducible and incomputable randomness of quantum mechanics, a novel argument for the existence of God is presented. Concepts of ‘transintelligence’ and ‘transcausality’ are introduced, and from them, it is posited that our universe must be epistemologically and ontologically an open universe. The proposed idea also proffers a new perspective on the nonlocal nature and the infamous wave-function-collapse problem of quantum mechanics.

The nature of Kant’s criticism of his pre-Critical ‘possibility proof’ for the existence of God, implicit in the account of the Transcendental Ideal in the Critique of Pure Reason, is still under dispute. Two issues are at stake: the error in the proof and diagnosis of the reason for committing it. I offer a new way to connect these issues. In contrast with accounts that locate the motivation for the error in reason’s interest in an unconditioned causal ground of (...) all contingent existence, I argue that it lies in reason’s interest in another kind of unconditioned ground, collective unity. Unlike the conception of the former, that of the latter directly explains the problematic ontological assumption of the possibility proof, the existence of intelligible objects as the ground of possibility. I argue that such Platonic entities are assumed because they are amenable to the kind of unity prescribed by reason. However, since the interest in collective unity has a legitimate regulative use when applied to the systematic unity of nature, the conception of God entailed by the possibility proof is retained as a regulative idea of reason. (shrink)

This article presents an ontological proof that God is impossible.I define an ‘impossibility’ as a condition which is inconceivable due to its a priori characteristics (e.g. a ‘square circle’). Accordingly, said conditions will not ever become conceivable, as they could in instances of a posteriori inconceivability (e.g. the notion that someone could touch a star without being burned). As the basis of this argument, I refer to an a priori observation (Primus, 2019) regarding our inability to imagine inconsistency (...) (difference) within any point of space. This observation renders the notion of absolute power to be inconceivable, a priori.I briefly discuss the moral implications of religious faith in the context of Purism: a moral rationalist paradigm. I conclude that whilst belief in God can be aesthetically expressed it should not be possessed as a material purpose, due to the illogicality of the latter category of belief and/or expression. With this article I provide conceptual delineation between harmless religious belief and expression—which, I argue, should be protected from persecution, as per any other artistic expression— and religious belief and expression which is materially harmful to society. Whilst I aim to protect religious freedom of expression on one hand, I duly aim to reduce instances of material faith in God(s) on the other. Finally, I aim to bring hope in the possibility for human salvation via technology—such that they should exist indefinitely as ‘demigods,’ defined by conditional, relative power over their environment. (shrink)

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

According to the Nomological Argument, observed regularities in nature are best explained by an appeal to a supernatural being. A successful explanation must avoid two perils. Some explanations provide too little structure, predicting a universe without regularities. Others provide too much structure, thereby precluding an explanation of certain types of lawlike regularities featured in modern scientific theories. We argue that an explanation based in the creative, intentional action of a supernatural being avoids these two perils whereas leading competitors do (...) not. Although our argument falls short of a full defense, it does suggest that the Nomological Argument is worthy of philosophical attention. (shrink)

After reviewing Kant’s well-known criticisms of the traditional proofs of God’s existence and his preferred moral argument, this paper presents a detailedanalysis of a densely-packed theistic argument in Religion within the Bounds of Bare Reason. Humanity’s ultimate moral destiny can be fulfilled only through organized religion, for only by participating in a religious community (or “church”) can we overcome the evil in human nature. Yet we cannot conceive how such a community can even be founded without presupposing (...) God’s existence. Viewing God as the internal moral lawgiver, empowering a community of believers, is Kant’s ultimate rationale for theistic belief. (shrink)

This essay tries to show that there exist several passages where Kierkegaard (and his pseudonyms) sketches an argument for the existence of God and immortality that is remarkably similar to Kant's so-called moral argument for the existence of God and immortality. In particular, Kierkegaard appears to follow Kant's moral argument both when it comes to the form and content of the argument as well as some of its terminology. The essay concludes that several passages (...) in Kierkegaard overlap significantly with Kant's moral argument, although Kierkegaard ultimately favors revealed faith over natural theology in general and Kant's moral faith in particular. Whereas Kant uses the moral argument to postulate the existence of God and immortality, Kierkegaard mainly uses it as a reductio ad absurdum of non-religious thinking. (shrink)

Roughly speaking, Augustine claims that ‘Immutable Truth’ is superior to the human mind and, consequently a legitimate candidate for the role of God. Clearly there is such a thing as Immutable Truth. So either that is God, or there is something superior to Immutable Truth, and that superior thing is God. I spell out this argument, and offer some objections to it.

In this article I outline two epistemological theistic arguments. The first one starts from the dilemma between our strong conviction that we possess some knowledge of the world and the belief that there are some serious reasons which undermine it. In my opinion theism opens the possibility of the way out of the dilemma. The second argument depends on the premise that in every time every worldly thing is actually perceived or known. I support it by four considerations and (...) claim that the simplest explanation of the epistemic ‘non-loneliness’ of the world is the existence of the Supreme Cogniser. (shrink)

The third Meditation is typically understood to contain two a posteriori arguments for the existence of God. The author focuses on the second argument, where Descartes proves the existence of God partly in virtue of proving that Descartes cannot be the cause of himself. To establish this, Descartes argues that if he were the cause of himself, then he would endow himself with any conceivable perfection. The justification for this claim is that bringing about a substance is (...) more difficult than creating an attribute, so anything that can do the former can do the latter. While current explanations of this justification are either implausible or inadequate, the author argues that this principle derives support from a scholastic distinction between being-as-such and determinate being. With this distinction in view, we can make sense of Descartes's argument without appealing to ambiguous or inadequate notions. (shrink)

I have two main goals in this paper. The first is to argue for the thesis that Kant gave up on his highest good argument for the existence of God around 1800. The second is to revive a dialogue about this thesis that died out in the 1960s. The paper is divided into three sections. In the first, I reconstruct Kant’s highest good argument. In the second, I turn to the post-1800 convolutes of Kant’s Opus postumum to (...) discuss his repeated claim that there is only one way to argue for the existence of God, a way which resembles the highest good argument only in taking the moral law as its starting point. In the third, I explain why I do not find the counterarguments to my thesis introduced in the 1960s persuasive. (shrink)

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In (...) order to clarify these concepts, the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. For his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

Review of Gottesbeweise als Herausforderung für die moderne Vernunft, ed. Th. Buchheim.

In this article, I will discuss some of the arguments for and against the existence of God, in particular the monotheistic God believed in the Abramahamic religions (Judiasm, Islam, and Christianity) as well as Babism, the Bahai Faith, and Sikhism. Arguments for the existence of God try to argue that either God exists (based on other things people agree with) or that belief in God is reasonable. Arguments against the existence of God try to argue that the (...) existence of God leads to some contradiction or other absurdity. (shrink)

Among the many ontological questions the philosophy of religion endeavors to address, perhaps the most controversial is the existence of God. Unraveling this complex question has puzzled philosophers for ages and has kept the spark lit in this theological debate to this day. Along with arguments for—and against—God, there are topics which inevitably follow from such a debate, namely the divine attributes of God and divine action. This essay will briefly expand upon arguments for God’s existence evidenced (...) by some of the most notable theories and concepts about His attributes and how He relates to His creations, namely humans. In addition to assertions made by credible philosophers and theologians, the claims in this essay will also be informed by my own understanding of Christian faith and values. (shrink)

In the first two chapters of the Monologion Anselm shows, or tries to show that “Of all the things that exist, there is one that is the best, greatest and supreme.” In this paper I examine his argument.

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

In this paper I pursue an avenue of argument implicit in Patristic thinkers — such as Tertullian and Athanasius — and explicit in the thomistic and scholastic tradition. I argue that there is an ontological unity to the world, and that this unity calls for an explanation in terms of a transcendent cause, traditionally identified with God.

The explanation of why and how consciousness arises in the physical world and also the regular relationship of mental states with physical states are one of the most difficult philosophical topics to be considered in contemporary philosophy of mind. The naturalistic and physicalist attitude of most philosophers of the mind has led to the idea that the field and especially the issue of consciousness is very challenging. In the meantime, some philosophers of religion also have a proposed a kind of (...) theistic hypothesis as a theory to explain consciousness and other mind-body issues as an argument for the existence of God. (shrink)

In this Introduction, we begin with two relatively uncontroversial matters: the broad contours of the history of discussion of ontological arguments, and the major topics that require discussion in connection with ontological arguments. We then move on to consideration of the much more difficult task of the characterisation of ontological arguments—i.e. the task of saying exactly what ontological arguments are and explaining how they differ from, say, cosmological, teleological, and moral arguments for the existence of (...) God—and then the equally contested question of the provision of general objections to ontological arguments, including, in particular, attempts to show that there could not possibly be a successful ontological argument. Finally, we consider some often-neglected questions about how to assess the merits of arguments, with a particular eye on the assessment of the merits of ontological arguments. (shrink)

This article aims to provide a new ontological argument for the existence of God. A specific ‘modal’ version of the ontological argument—termed the Modal Realist Ontological Argument—is formulated within the modal realist metaphysical framework of David K. Lewis, Kris McDaniel and Philip Bricker. Formulating this argument within this specific framework will enable the plausibility of its central premise (i.e., the ‘Possibility Premise’) to be established, and allow one to affirm the soundness of (...) the argument—whilst warding off two oft-raised objections against this type of natural theological argument. (shrink)

In this brief essay, I argue that Anselm's ontological argument for the existence of God achieves its effect through the verbal equivalent of a magician's "sleight-of-hand." More technically, the argument commits the informal fallacy of equivocation. I provide a brief analysis of the argument's text to demonstrate this.

The ontological argument for the existence of God has enjoyed a recent renaissance among philosophers of religion. Alvin Plantinga's modal version is perhaps the most notable example. This essay critically examines Plantinga's rendition, uncovering both its strengths and weaknesses. The author concludes that while the argument is probably formally valid, it is ultimately unsound. Nonetheless, Plantinga's version has generated much interest and discussion. The author spends some time uncovering the reasons for the argument's powerful intuitive (...) appeal. He concludes his essay by appraising Pruss's recent defence of Plantinga's argument. (shrink)

Explicit atheism is a philosophical position according to which belief in God is irrational, and thus it should be rejected. In this paper, I revisit, extend, and defend against the most telling counter arguments the Kalām Cosmological Argument in order to show that explicit atheism must be deemed as a positively irrational position.

I argue that Descartes intended the so-called ontological "argument" as a self-validating intuition, rather than as a formal proof. The textual evidence for this view is highly compelling, but the strongest support comes from understanding Descartes's diagnosis for why God's existence is not 'immediately' self-evident to everyone and the method of analysis that he develops for making it self-evident. The larger aim of the paper is to use the ontological argument as a case study of (...) Descartes's nonformalist theory of deduction and his method of analysis, showing how he conceives the latter as a form of philosophical therapy. (shrink)

We can attend to the logic of Anselm's ontological argument, and amuse ourselves for a few hours unraveling its convoluted word-play, or we can seek to look beyond the flawed logic, to the search for God it expresses. From the perspective of this second approach the Ontological Argument might be seen as more than a mere argument - indeed, as something of a contemplative exercise. One can see in the argument a tantalizing attempt to (...) capture in logical form the devotee’s experience of the presence of God in the contemplation of God. It is a peculiarity of the argument that it can seem hopelessly silly or richly evocative depending upon which of these approaches one takes. In this essay I examine the flawed logic of the Ontological Argument, but then attempt to reflect upon the contemplative experience that may underlie it. (shrink)

Anselm’s ontological argument is an argument for the existence of God. This paper presents Iris Murdoch’s ontological argument for the existence of the Good. It discusses her interpretation of Anselm’s argument, her distinctive appropriation of it, as well as some of the merits of her version of the argument. In doing so, it also shows how the argument integrates some key Murdochian ideas: morality’s wide scope, the basicness of vision to (...) morality, moral realism, and Platonism. (shrink)

An ancient argument attributed to the philosopher Carneades is presented that raises critical questions about the concept of an all-virtuous Divine being. The argument is based on the premises that virtue involves overcoming pains and dangers, and that only a being that can suffer or be destroyed is one for whom there are pains and dangers. The conclusion is that an all-virtuous Divine (perfect) being cannot exist. After presenting this argument, reconstructed from sources in Sextus Empiricus and (...) Cicero, this paper goes on to model it as a deductively valid sequence of reasoning. The paper also discusses whet her the premises are true. Questions about the possibility and value of proving and disproving the existence of God by logical reasoning are raised, as well as ethical questions about how the cardinal ethical virtues should be defined. (shrink)

This paper deals with the deuteros plous, literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s Phaedo, the key passage being Phd. 99e4-100a3. I argue that (a) the ‘flight into the logoi’ can have two different interpretations, a standard one and a non-standard one. The issue is whether at 99e-100a Socrates means that both the student of erga and the student of logoi consider images (‘the standard interpretation’), or the student of logoi does not consider images but (...) that “consistency should suffice for truth” (‘the non-standard interpretation’); (b) the non-standard one implies the problem of the hypothesis, a problem analogous to the problem of the elenchus; (c) there is a structural analogy between Descartes’ ontological argument for the existence of God in his 5th Meditation and the final proof for the immortality of the soul in the Phaedo. (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)

The ontological argument- proposed by St. Anselm and developed by Descartes, Leibniz, Kant, Hegel, and Marx- furnishes a key to understanding the relationship between thought and reality. In this article, we shall focus on Hegel’s attitude towards the ontological argument as set out in his Science of Logic, where it appears as a paradigm of the relationship between thought and reality. It should be remarked, moreover, that our choice of the subject was not random and that (...) it was selected for the reason that belief in God is a preeminent social reality, inasmuch as faith in God creates His existence. Therefore, an investigation of the concept of God is an inquiry into the most profound recesses of human consciousness. The great opponents of the ontological argument, from Hume down to our day--and even Kant--have based their arguments upon the fundamental empiricist assertion that existential judgments are not analytical. This paper attempts to defend the ontological argument against its opponents. (shrink)

This paper is a detailed examination of some parts of J. P. Moreland's book on "the argument from consciousness". (There is a companion article that discusses the parts of the book not taken up in this critical notice.).

The continuing interest in the book of S. Hawking "A Brief History of Time" makes a philosophical evaluation of the content highly desirable. As will be shown, the genre of this work can be identified as a speciality in philosophy, namely the proof of the existence of God. In this study an attempt is given to unveil the philosophical concepts and steps that lead to the final conclusions, without discussing in detail the remarkable review of modern physical theories. In (...) the first place the concept of causality used by Hawking is analyzed in terms of the classical four aspects of cause, that is causa formalis, materialis, efficiens and finalis. Thereafter the classical Aristotelian-Thomistic proof of the existence of God is presented and compared with Hawking's approach. In his argumentation he uses a concept of causality, which in contrast to the classical philosophy neglects completely an ontological dependence and is reduced to only temporal aspects. On the basis of this temporal causality and modern physical theories and speculations, Hawking arrives at his conclusions about a very restricted role of a possible creator. It is shown, that neither from the philosophical nor the scientific view his conclusions about the existence of God are strictly convincing, a position Hawking himself seems to be aware of. (shrink)

In a recent paper, Justin D’Ambrosio (2020) has offered an empirical argument in support of a negative solution to the puzzle of Macbeth’s dagger—namely, the question of whether, in the famous scene from Shakespeare’s play, Macbeth sees a dagger in front of him. D’Ambrosio’s strategy consists in showing that “seeing” is not an existence-neutral verb; that is, that the way it is used in ordinary language is not neutral with respect to whether its complement exists. In this paper, (...) we offer an empirical argument in favor of an existence-neutral reading of “seeing”. In particular, we argue that existence-neutral readings are readily available to language users. We thus call into question D’Ambrosio’s argument for the claim that Macbeth does not see a dagger. According to our positive solution, Macbeth sees a dagger, even though there is not a dagger in front of him. (shrink)

In this paper, I discuss an argument for the existence of God known as “The Argument from the Survival of the Jews.” This argument has the form of an Inference to the Best Explanation (IBE). It proceeds from the phenomenon of Jewish survival to the existence of God as the best explanation for this phenomenon. I will argue that, even if we grant that Jewish survival is a remarkable occurrence that demands an explanation, and even (...) if we gloss over the difficulties in defining the terms “Jewish” and “survive,” the argument ultimately fails as an argument for the existence of God. It fails because it postulates divine supervision in order to explain Jewish endurance, but it doesn’t provide any clues as to what might be the underlying mechanism at work. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities (...) that we take them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

This work addresses and resolved Kant's first antinomy, and brings metaphysics in line with advances in he science of big bang cosmology, introduces a new philosophical argument for the existence of a Supreme Being, and is presented in three versions, with the first version quoting Kant's most relevant remarks with regard to what he calls a science of metaphysics, and an abbreviated version without any quotes, as well as a one page abstract diagram of the argument.

What is the role of the principle of sufficient reason in Baruch Spinoza’s ontological proof for God’s existence? Is this role identical within Spinoza’s early work on method, the Treatise on the Emendation of the Intellect, and his magnum opus, the Ethics? This paper argues affirmatively that the methodology employed within the Ethics is consonant with that method found within the Treatise, and this claim is substantiated through an engagement with the influential works of Don Garrett and Aaron (...) Garrett. It is also demonstrated through an original reconstruction of the Treatise itself. In this reconstruction, basic premises are identified which can validly prove Spinoza’s intended conclusion of substance monism. It is finally determined that what the Treatise and the Ethics share, specifically, is a methodology which begins with non-nominal definitions that denote the real, sufficient causes of their respective objects. However, at certain junctures, this methodology is expressed with greater consistency within the Treatise as opposed to within the Ethics. Evidence for this will be provided from the primary texts themselves and from the subsequent analyses of Don Garrett and Aaron Garret as well. (shrink)

The paper deals with the "deuteros plous", literally ‘the second voyage’, proverbially ‘the next best way’, discussed in Plato’s "Phaedo", the key passage being Phd. 99e4–100a3. The second voyage refers to what Plato’s Socrates calls his “flight into the logoi”. Elaborating on the subject, the author first (I) provides a non-standard interpretation of the passage in question, and then (II) outlines the philosophical problem that it seems to imply, and, finally, (III) tries to apply this philosophical problem to the "ultimate (...) final proof" of immortality and to draw an analogy with the ontological argument for the existence of God, as proposed by Descartes in his 5th "Meditation". The main points are as follows: (a) the “flight into the logoi” can have two different interpretations, a common one and an astonishing one, and (b) there is a structural analogy between Descartes’s ontological argument for the existence of God in his 5th "Meditation" and the "ultimate final proof" for the immortality of the soul in the "Phaedo". (shrink)

There are four main positions in the argument about whether God exists: atheism, theism, agnosticism, and scepticism. From an epistemological standpoint, scepticism is the most rational; even if a decisive argument which would settle the debate has not been discovered yet, one cannot exclude the possibility of finding it eventually. Agnosticism is too radical, but theism and atheism exceed the available data. However, from a practical standpoint, choosing theism or atheism seems to be more rational than scepticism ; (...) one of them is bound to be right, because there are only two possibilities, one of which has to be true: either God exists or not. (shrink)

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding (...) light on the meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. (shrink)