Review of Graham Oppy *Ontological Arguments and Belief in God* (CUP).

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

This book is a unique contribution to the philosophy of religion. It offers a comprehensive discussion of one of the most famous arguments for the existence of God: the ontological argument. The author provides and analyses a critical taxonomy of those versions of the argument that have been advanced in recent philosophical literature, as well as of those historically important versions found in the work of St Anselm, Descartes, Leibniz, Hegel and others. A central thesis of the book is that (...) ontological arguments have no value in the debate between theists and atheists. There is a detailed review of the literature on the topic (separated from the main body of the text) and a very substantial bibliography, making this volume an indispensable resource for philosophers of religion and others interested in religious studies. (shrink)

Metaphilosophy is philosophy's poor and neglected cousin.

Introduction -- The pre-text : the dialectical origins of Anselm's argument -- The text -- Proslogion -- Pro insipiente -- Responsio -- Commentary on the Proslogion -- Anselm's defence and the Unum argumentum -- The medieval reception -- The modern reception -- Anselm's argument today -- Conclusion: The significance of Anselm's argument.

The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.

Was ist Wahrheit? Zufolge welcher Standards erkennt man, was wahr oder falsch ist? Wie lassen sich derartige Kriterien rechtfertigen? Die vornehmlich durch die Wende zur Sprache und die Ausbildung einer Metatheorie der analytischen Wissenschaften geprägte neuere Erörterung dieser Hauptfragen zur Wahrheit führt auf Vorfragen: Von welchen Gebilden sagen wir in welcher Weise, sie seien wahr oder falsch? Was sind und was leisten Definitionen, Kriterien, Regeln, Bedingungen der Wahrheit und Falschheit? Die vorliegende Schrift entfaltet einen systematischen Rahmen, in dem die Vorfragen (...) zur Wahrheit beantwortet und die Hauptfragen in neuer Weise organisiert werden. (shrink)

Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate (...) formalization. This paper explores how the method of reflective equilibrium can be used for modelling the complexity of such reconstructions and for justifying the various steps involved. The proposed approach is illustrated and tested in a detailed reconstruction of the beginning of Anselm’s De casu diaboli. (shrink)

Heartfelt, incisive, and timeless, The Confessions of Saint Augustine has captivated readers for more than fifteen hundred years. Retelling the story of his long struggle with faith and ultimate conversion -- the first such spiritual memoir ever recorded -- Saint Augustine traces a story of sin, regret, and redemption that is both deeply personal and, at the same time, universal. Starting with his early life, education, and youthful indiscretions, and following his ascent to influence as a teacher of rhetoric in (...) Hippo, Rome, and Milan, Augustine is brutally honest about his proud and amibitious youth. In time, his early loves grow cold and the luster of wordly success fades, leaving him filled with a sense of inner absence, until a movement toward Christian faith takes hold, eventually leading to conversion and the flourishing of a new life. Philosophically and theologically brilliant, sincere in its feeling, and both grounded in history and strikingly contemporary in its resonance, The Confessions of Saint Augustine is a timeless classic that will persist as long as humanity continues to long for meaning in life and peace of soul. (shrink)

Using a short excerpt from Anselm's Responsio as an example, this paper tries to present logical reconstruction as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. As such, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. Yet, even though logical reconstruction is (...) dependent on methods of formalization, it allows us to use formal methods for the analysis and assessment of natural language texts that are not readily formalizable and is thus an important tool when it comes to applying the concepts and methods of formal logic to such texts. (shrink)

The primary aim is the reconstruction of the main argument of the second chapter of Anselm’s Proslogion. To be proved is the statement that God, or something than which nothing greater can be thought, exists in reality. I proceed by a piecemeal analysis of every sentence of the Latin original and its subsequent translation into a formal second-order language with choice operator. Reconstructing Anselm’s reasoning demands interpretative input and additions. For example, the formula ‘quod maius est’ has to be suitably (...) interpreted and expanded. Furthermore, I try to explicate Anselm’s maius predicate in terms of a perfection predicate and to develop a general proof for Anselm’s theorem, i.e. the statement that something/that than which something greater cannot be thought has all greater-making attributes. (shrink)

This encyclopedia article provides a procedural account of explication outlining each step that is part of the overall explicative effort (2). It is prefaced by a summary of the historical development of the method (1). The latter part of the article includes a rough structural theory of explication (3) and a detailed presentation of an examplary explication taken from the history of philosophy and the foundations of mathematics (4).

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 paper reconstructs and discusses a proof of God’s existence by Anselm of Canterbury’s friend Ralph of Battle, developed in his recently edited De nesciente, a fictitious dialogue between a Christian and an atheist. Without precedent in antiquity and the Middle Ages, Ralph’s proof has never been examined in detail. It combines a “cogito” argument with a two-part cosmological argument. The paper first presents the textual basis and an exegetical interpretation of Ralph’s reasoning, classifies the parts of the proof historically (...) and systematically, and then compares these with the proofs of God’s existence as well as other arguments in Anselm’s Proslogion and Monologion. Finally, it points out some similarities between Ralph’s “cogito” argument and a passage in the Liber pro insipiente, which may suggest that this anonymous critique of Anselm’s Proslogion proof was authored not by Gaunilo, as traditionally thought, but by Ralph. (shrink)

Review of Graham Oppy *Ontological Arguments and Belief in God* (CUP).