It is widely assumed among contemporary philosophers that Descartes’ version of ontological proof, among other weaknesses, makes an impossible and unjustified move from the mental world of concepts to the real world of things. Contrary to this opinion I will try to show that Descartes’ famous principle of clear and distinct perception suffices to find an adequate inferential connection between the contents of the human mind and extra-mental reality. In a clear and distinct way we cognitively grasp the (...) concept of supremely perfect being as the concept that we do not construct by an arbitrary definition of the word ”God’. (shrink)

The essay argues that while there is no general agreement on whether moral realism is true, there is general agreement on at least some of the moral obligations that we have if moral realism is true. Given that moral realism might be true, and given that we know some of the things we ought to do if it is true, we have a reason to do those things. Furthermore, this reason is itself an objective moral reason. Thus, if moral realism (...) might be true, then it is true. (shrink)

In his "Ontological proof", Kurt Gödel introduces the notion of a second-order value property, the positive property P. The second axiom of the proof states that for any property φ: If φ is positive, its negation is not positive, and vice versa. I put forward that this concept of positiveness leads into a paradox when we apply it to the following self-reflexive sentences: (A) The truth value of A is not positive; (B) The truth value of B (...) is positive. Given axiom 2, sentences A and B paradoxically cannot be both true or both false, and it is also impossible that one of the sentences is true whereas the other is false. (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)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the (...) lapse of time. As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

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)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with (...) 3 sections; 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.). (shrink)

This article attempts to elucidate the phenomenon of time and its relationship to consciousness. It defends the idea that time exists both as a psychological or illusory experience, and as an ontological property of spacetime that actually exists independently of human experience.

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide benefits not offered by current information standards. Although there have been ontologies developed in the industrial manufacturing domain, they have been fragmented and inconsistent, and little has received a standard status. With successes in developing coherent ontologies in the biological, biomedical, and financial domains, an effort called (...) Industrial Ontologies Foundry (IOF) has been formed to pursue the same goal for the industrial manufacturing domain. However, developing a coherent ontology covering the entire industrial manufacturing domain has been known to be a mountainous challenge because of the multidisciplinary nature of manufacturing. To manage the scope and expectations, the IOF community kicked-off its effort with a proof-of-concept (POC) project. This paper describes the developments within the project. It also provides a brief update on the IOF organizational set up. (shrink)

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose (...) a formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively. (shrink)

Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving (...) process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process — the mathematical phenomenon — that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings. (shrink)

Proofs of God in Early Modern Europe offers a fascinating window into early modern efforts to prove God’s existence. Assembled here are twenty-two key texts, many translated into English for the first time, which illustrate the variety of arguments that philosophers of the seventeenth and eighteenth centuries offered for God. These selections feature traditional proofs—such as various ontological, cosmological, and design arguments—but also introduce more exotic proofs, such as the argument from eternal truths, the argument from universal aseity, and (...) the argument ex consensu gentium. Drawn from the work of eighteen philosophers, this book includes both canonical figures (such as Descartes, Spinoza, Newton, Leibniz, Locke, and Berkeley) and noncanonical thinkers (such as Norris, Fontenelle, Voltaire, Wolff, Du Châtelet, and Maupertuis). -/- Lloyd Strickland provides fresh translations of all selections not originally written in English and updates the spelling and grammar of those that were. Each selection is prefaced by a lengthy headnote, giving a biographical account of its author, an analysis of the main argument(s), and important details about the historical context. Strickland’s introductory essay provides further context, focusing on the various reasons that led so many thinkers of early modernity to develop proofs of God’s existence. -/- Proofs of God is perfect for both students and scholars of early modern philosophy and philosophy of religion. (shrink)

The work provides comprehensively definitive, unconditional proofs of Riemann's hypothesis, Goldbach's conjecture, the 'twin primes' conjecture, the Collatz conjecture, the Newcomb-Benford theorem, and the Quine-Putnam Indispensability thesis. The proofs validate holonomic metamathematics, meta-ontology, new number theory, new proof theory, new philosophy of logic, and unconditional disproof of the P/NP problem. The proofs, metatheory, and definitions are also confirmed and verified with graphic proof of intrinsic enabling and sustaining principles of reality.

This chapter discusses Kant's 1763 "possibility proof" for the existence of God. I first provide a reconstruction of the proof in its two stages, and then revisit my earlier argument according to which the being the proof delivers threatens to be a Spinozistic-panentheistic God—a being whose properties include the entire spatio-temporal universe—rather than the traditional, ontologically distinct God of biblical monotheism. I go on to evaluate some recent alternative readings that have sought to avoid this result by (...) arguing that the relevant facts about real modality can be ultimately grounded in God’s powers or thoughts – or that Kant just leaves the grounding relations mysterious. I argue that the textual and philosophical costs of each of these alternative readings are formidable. The chapter concludes with a discussion of the fate of the proof in the critical period. Some commentators think that it disappears altogether, or that it is downgraded such that it produces a mere regulative idea of God as the most real being. I suggest that the proof survives but that the mode of assent it licenses towards its conclusion changes from knowledge to a certain kind of Belief (Glaube). (shrink)

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)

In this article, we analyse the ontological import of adding classes to set theories. We assume that this increment is well represented by going from ZF system to NBG. We thus consider the standard techniques of reducing one system to the other. Novak proved that from a model of ZF we can build a model of NBG (and vice versa), while Shoenfield have shown that from a proof in NBG of a set-sentence we can generate a proof (...) in ZF of the same formula. We argue that the first makes use of a too strong metatheory. Although meaningful, this symmetrical reduction does not equate the ontological content of the theories. The strong metatheory levels the two theories. Moreover, we will modernize Shoenfields proof, emphasizing its relation to Herbrands theorem and that it can only be seen as a partial type of reduction. In contrast with symmetrical reductions, we believe that asymmetrical relations are powerful tools for comparing ontological content. In virtue of this, we prove that there is no interpretation of NBG in ZF, while NBG trivially interprets ZF. This challenges the standard view that the two systems have the same ontological content. (shrink)

In The Principles of Art, R. G. Collingwood pursues, on the one hand, a ‘definition’ of art, and, on the other, a ‘metaphysics’. The Principles is divided into three Books. Book I is devoted mostly to craft, while Book II pertains largely to metaphysics. The fact that Book II is twice the size of Book III, where the discussion of ‘art proper’ takes place, is proof enough that the metaphysical part of the Principles is not a mere excursus. Collingwood’s (...) ontology is indispensable for understanding his aesthetics, and vice versa. The crucial link is the imagination. What Collingwood calls ‘total imaginative experience’ is described in the Principles as the sine qua non of both thought and sensibility. The aim of this article is to examine the ontological import of Collingwood’s conception of the total imagination. (shrink)

This article serves to explore the historical development of the ontological argument from Anselm to Present. Initially, the main goal is to introduce the lay reader to one of the most perplexing arguments for the theistic conception of God. Logically, this is an a priori argument, similar to one of a mathematical proof. Oddly, the argument has sort of fallen out of place in contemporary philosophy, apart from a reboot from Alvin Plantinga. The goal is to illustrate that (...) the initial argument as stated by Anselm seems to be an unsolved problem in philosophical inquiry. (shrink)

Face-coverings were widely mandated during the Covid-19 pandemic, on the assumption that they limit the spread of respiratory viruses and are therefore likely to save lives. I examine the following ethical dilemma: if the use of face-masks in social settings can save lives then are we obliged to wear them at all times in those settings? I argue that by en-masking the face in a way that is phenomenally inconsistent with or degraded from what we are innately programmed to detect (...) as human likeness, we are degrading the social quality of our relations. Drawing on my previously published proof that Self is socially reflexive (mutually mirrored) rather than monadic in its constitution, I conclude that any widespread en-masking is also deleterious to humanity and therefore unethical. (shrink)

Part I argues that ontological arguments, like other classical proofs of the existence of God, are parts of larger arguments in which they are embedded. These larger arguments include reasons supporting the proofs’ premises and responses to them, and to the proofs’ claims to validity and non-circularity, since, in the final analysis, our assessment of the proofs will express our best judgment of the cumulative force of all the considerations bearing on their overall adequacy. Part II illustrates these points (...) by examining contemporary defences of, and attacks on, one of the ontological argument’s central premises, namely, that God’s existence is logically possible. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced (...) for the purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

The work provides comprehensively definitive, unconditional proofs of Riemann's hypothesis, Goldbach's conjecture, the 'twin primes' conjecture, the Collatz conjecture, the Newcomb-Benford theorem, and the Quine-Putnam Indispensability thesis. The proofs validate holonomic metamathematics, meta-ontology, new number theory, new proof theory, new philosophy of logic, and unconditional disproof of the P/NP problem. The proofs, metatheory, and definitions are also confirmed and verified with graphic proof of intrinsic enabling and sustaining principles of reality.

A specific soul of the times appears to require a survey of brain research as a study of the psyche and conduct as most settled definition. Two significant developments have emerged freely, one in the core of the American Mental Affiliation itself with Division 5 as of late renamed Quantitative and Subjective Techniques, remembering the General public for Subjective Request for Brain research and the Diary of Subjective Brain research and the other in the European custom with The Yokohama Proclamation (...) for a Brain research as the Study of Person. Both expect an open pluralistic move in the direction of the Mind as "perplexing, abstract, significant, and strange" "no act of request is precluded deduced; numerous objectives of request are delivered conceivable and different pathways might guarantee an arranged authenticity Following this contention, certain implied transcendentalism comprising of a dualistic cosmology with criticism from the regular logical strategy would be at the premise of the persevering dualism in brain research. It is perceived that the distinguishing proof of brain research as an inherent science was likely due more to its esteem than to its own intricacy as suggested by its review. The time has come to reconceive brain research as a human science (social, conduct), without a "complex". To do as such, an ontological inquiry ought to be raised concerning the spot of brain research in a pluralistic metaphysics, not dualistic or monistic. (shrink)

The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only (...) premises are the axiom and, instead of, the new axiom : “If the perfect being doesn’t exist, it necessarily doesn’t‘. The main goal of the work is to prove that is no more controversial than and -- in consequence -- the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological‘ and metalogical. (shrink)

This paper argues that we should reject G. E. Moore’s anti-skeptical argument as it is presented in “Proof of an External World.” However, the reason I offer is different from traditional objections. A proper understanding of Moore’s “proof” requires paying attention to an important distinction between two forms of skepticism. I call these Ontological Skepticism and Epistemic Skepticism. The former is skepticism about the ontological status of fundamental reality, while the latter is skepticism about our empirical (...) knowledge. Philosophers often assume that Moore’s response to “external world skepticism” deals exclusively with the former, not the latter. But this is a mistake. I shall argue that Moore’s anti-skeptical argument targets an ontological form of skepticism. Thus, the conclusion is an ontological claim about fundamental reality, while the premises are epistemic claims. If this is correct, then the conclusion outstrips the scope of its premises and proves too much. (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)

This paper is an assessment of Robert Maydole's work on ontological arguments. (Bibliographical details are provided in the text.) I argue that Maydole's ontological arguments are unsuccessful.

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (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)

The subject of the thesis is the relationship between aesthetic and God. It aims to discuss whether the sense of beauty is proof of the existence of God and to determine the plausibility of aesthetic proof. As a matter of fact that reality and the perception of beauty point to two-way consciousness. In this context, it will be inevitable to mention God's relation with consciousness in the emergence of beauty. In the first part, the concepts of aesthetics will (...) be analyzed, and their philosophical discussions will be investigated. In the second part, the source of beauty will be questioned, and beauty will be grounded way of a priori and a posteriori with God. Afterward, aesthetic proofs will be presented and an evaluation will be made in the context of naturalistic claims and objections. Among the traditional arguments in the philosophy of religion, aesthetic proof offers a value-oriented approach rather than a mechanical view. It appreciates beauty from an inclusive perspective and has an existential aspect. The study concentrates on the nature of beauty and aesthetics, philosophical discussions, and the rational value of aesthetic proof and concludes that it is rational to suppose that the existence of God can be ontologically and epistemologically explanatory for aesthetic properties. (shrink)

In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of (...) these logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic. (shrink)

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)

For Aristotle, the shape of a physical body is perceptible per se (DA II.6, 418a8-9). As I read his position, shape is thus a causal power, as a physical body can affect our sense organs simply in virtue of possessing it. But this invites a challenge. If shape is an intrinsically powerful property, and indeed an intrinsically perceptible one, then why are the objects of geometrical reasoning, as such, inert and imperceptible? I here address Aristotle’s answer to that problem, focusing (...) on the version of it that he presents in De caelo III.8. I argue that if we grant that Aristotle conceived of the shape of a sensible body as some kind of causal power, then the satisfactory resolution of that challenge pushes us to interpret him as having conceived of it as being, more specifically, an impure power—that is, as a property that is not only intrinsically powerful but also, in some way, intrinsically non-powerful as well. This is a notable result not only insofar as it illuminates Aristotle’s conception of shape but also insofar as it contributes to our knowledge of Aristotle’s theory of dunameis and his ontology more broadly. (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)

This paper argues that Kant’s most famous objection to the ontological argument -- that existence is not a real predicate -- is not, in fact, his most effective objection, and that his ”neglected objection’ to the argument deserves to be better known. It shows that Kant clearly anticipates William Rowe’s later objection that the argument begs the question, and discusses why Kant himself seems to have overlooked the force of this criticism in his attempt to demolish the traditional proofs (...) for God’s existence. (shrink)

We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.

The main objective of the paper is to give initial answers to three important questions. Why did Leibniz visit Spinoza? Why did his preparation for this meeting include a modification of the ontological proof of God? What is the philosophical result of the meeting and what do possible worlds have to do with it? In order to provide answers, three closely related manuscripts by Leibniz from November 1676 have been compared and the slow conceptual change of his philosophical (...) apparatus has been analyzed. The last of these manuscripts was presented and read in front of Spinoza. Around that time Leibniz abandoned the idea of plurality of worlds (cf. Tschirnhaus) and instead proposed the idea of possible worlds, thus introducing possibility into the (onto/theo)logical structure itself in order to avoid the “precipice” of Spinoza’s necessity. What is interesting, however, is how exactly this conceptual change occurred at the end of 1676 and what its philosophical and methodological implications are. (shrink)

A close interrelationship between logic and religious faith is confirmed in many places of the Bible. In the paper, special attention is paid to the dialogue of Jesus and a Samaritan woman (John 4). In a proposed outline of a logical formalization, religious faith is described as a pragmatic function through which the linguistic and logical content is contextually realized. In the continuation of the paper, Gödel's ontological proof is commented, which in a logically rigorous way describes the (...) ontology where we can detect the systematic place of religious faith as an ontological force. (shrink)

The ontological arguments (OA) discussion is about the relations between essence and existence, and between analytic and synthetic judgments. Rationalists asserts that essence determines existence. Empiricists assert that existence cannot be deduced from thought. However, both made the error of disconnecting the objective existence of God from subjective thought about Him. We propose to demonstrate two interconnected theses: A) In the course of its historical development, the OA did not manage to refute empiricist critiques. B) His existence is only (...) partial, since a full existence needs two sources; an idea and a sense-datum.(edited). (shrink)

The ontological proof is wrong because it can be used to prove not only the existence of God, but also of imaginary entities such as spirits of stones and trees. etc. It is faulty because it proves too much; it can be used to prove not only the existence of God, but also the existence of a vast number of imaginary entities to the existence of which theists would not like to commit themselves.

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)

Gaunilo argued that Anselm could prove the existence of many perfect objects, for example, the happiest island, that is, happier than any other island. More formally, Gaunilo’s arguments were intended to show that the sentence “God exists‘ does not follow from premises accepted by Anselm. Contemporary versions of the ontological proof use the maximalization procedure in order to demonstrate that God exists as the most perfect being. This paper argues that this method, which is based on maximalization, is (...) not sufficient to prove God’s existence. Thus, a “contemporary Gaunilo‘ can repeat objections raised by his ancestor. (shrink)

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

Several of Thomas Aquinas's proofs for the existence of God rely on the claim that causal series cannot proceed in infinitum. I argue that Aquinas has good reason to hold this claim given his conception of causation. Because he holds that effects are ontologically dependent on their causes, he holds that the relevant causal series are wholly derivative: the later members of such series serve as causes only insofar as they have been caused by and are effects of the earlier (...) members. Because the intermediate causes in such series possess causal powers only by deriving them from all the preceding causes, they need a first and non-derivative cause to serve as the source of their causal powers. (shrink)

This chapter discusses the reception of Avicenna’s well-known “flying man” thought experiment in twelfth- and thirteenth-century Latin philosophy. The central claim is that the argumentative role of the thought experiment changed radically in the latter half of the thirteenth century. The earlier authors—Dominicus Gundissalinus, William of Auvergne, Peter of Spain, and John of la Rochelle—understood it as an ontological proof for the existence and/or the nature of the soul. By contrast, Matthew of Aquasparta and Vital du Four used (...) the flying man as an argument for the soul’s ability to be directly aware of itself. A detailed analysis of the views of these authors shows interesting philosophical differences between them and reveals how one of the crucial premises of the original thought experiment—namely that the flying man is unaware of his body—loses its importance due to the changes in the argumentative role that is assigned to it. The most radical example of a new way of understanding bodily self-awareness is Peter Olivi’s so-called ‘man before the creation.’. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the existence of (...) things is grasped. (shrink)

The question, “What is intelligence?” is deceptively simple. However, scholars have engaged in series of research in order to answer it. Till date there is no simple answer accepted by experts in the relevant disciplines. Attempt to identify a standard definition has been very challenging. This failure is connected with the fact that defining intelligence requires the application of problematic and abstract concepts. Consequently, some researchers decided to put forward theories as an attempt to capture the nature of intelligence. However, (...) this option, as reflected in this paper, further deepens the problem it purports to resolve. The paper is an inquest into the intellectual travails of scholars who fruitlessly attempted to grasp the nature of intelligence. The paper avers that these travails are caused by scholar’s reliance on ontological proof of intelligence which stipulates the possession of brain and mind as evidence of intelligence. The epistemological proof which relies on overt behaviour as index of interpreting intelligence is projected by the paper as a plausible means of overcoming the nebulous nature of the concept. -/- . (shrink)

Gaunilo presents Anselm with a dilemma in section 7 of his Responsio: I know most certainly that I exist. But If I cannot think my non-existence at the same time, then Anselm's claim in Proslogion 3 (that my inability to think God's non-existence, while knowing most certainly that He exists, is a unique property of God) would be false. If I can do so, however, then I should also be able to know most certainly that God exists and, at the (...) same time, think his non-existence. I will show that Anselm's response to Gaunilo's attack is not adequate because it does not address the issue of certainty, which is at the heart of Gaunilo's objection. (shrink)