In this paper, Anselm’s argument for the uniqueness of God or, more precisely, something through which everything that exists has its being is reconstructed. A first reading of the argument leads to a preliminary reconstruens with one major weakness, namely the incompleteness of a central case distinction. In the successful attempt to construct a more tenable reconstruens some additional premises which are deeply rooted in an Anselmian metaphysics are identified. Anselm’s argument seems to depend on premises such as that if (...) two things have the same nature, then there is one common thing from which they have this nature and in virtue of which they exist. Furthermore it appears that infinite regresses are excluded by the premise that if everything that exists is through something, then there is something through which it is “most truly”. (shrink)

Existence and uniqueness are standard questions in cases where definite descriptions are used. In his Proslogion Anselm of Canterbury uses definite and non-definite descriptions of God: He is “id/aliquid quo maius cogitari non potest” (and similar). While Anselm’s proof for the existence of God is widely discussed, including its relations to those famous descriptions, this is not the case for the question of uniqueness. Is there at most one perfect being or might there be more than one? ‘Of course there (...) can at most be one’, one might want to answer – but what reasons for this claim can be found in the Proslogion? In this celebrated work of philosophical theology, Anselm does not prove uniqueness explicitly. But one may try a proof “in the spirit of the Proslogion”. (shrink)

The main objective is an interpretation of the island parody, in particular a logical reconstruction of the parodying argument that stays close to the text. The parodied reasoning is identified as the proof in the second chapter of the Proslogion, more specifically, this proof as it is represented by Gaunilo in the first chapter of his Liber pro insipiente. The second task is a detailed comparison between parodied and parodying argument as well as an account of their common structure. The (...) third objective is a tentative characterization of the nature and function of parodies of arguments. It seems that parodying does not add new pertinent points of view to the usual criticism of an argument. (shrink)

The monk Gaunilo opens the vigorous disputation with Anselm by describing the infamous proof in the second chapter of the Proslogion. The following paper offers a detailed logical reconstruction of Gaunilo’s account of Anselm’s argument, thus making explicit the reasoning of Anselm in the view of Gaunilo. It will serve two purposes. Firstly it provides an easily understood example for the use of logic to interpret a nontrivial philosophical text. Secondly it reveals the reasons and the concepts involved in the (...) argument, thereby indicating further argumentative and semantic tasks. (shrink)

The monk Gaunilo opens the vigorous disputation with Anselm by describing the infamous proof in the second chapter of the Proslogion. The following paper offers a detailed logical reconstruction of Gaunilo’s account of Anselm’s argument, thus making explicit the reasoning of Anselm in the view of Gaunilo. It will serve two purposes. Firstly it provides an easily understood example for the use of logic to interpret a nontrivial philosophical text. Secondly it reveals the reasons and the concepts involved in the (...) argument, thereby indicating further argumentative and semantic tasks. (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)

In den "Meditationes de prima philosophia" (1642) geht es Descartes um eine neue Grundlegung der Metaphysik. Dieser Neuanfang in der Philosophie, den Descartes wie wohl kaum ein anderer propagiert und durchführt, hat jedoch einen konservativen Zug: Gerade Descartes besteht darauf, daß seine Philosophie die älteste ist, die es überhaupt geben kann, und diese Aussage hat nur Sinn, wenn Metaphysik als Rekonstruktion der ursprünglichen Fragen verstanden wird, die anfänglich das philosophische und insbesondere metaphysische Geschäft ins Rollen gebracht hatten.

The thesis aims at a methodological reflection of logical reconstruction and tries to develop this method in detail, especially with regard to the reconstruction of natural language arguments. First, the groundwork for the thesis is laid by presenting and, where necessary, adapting its foundations with regard to the philosophy of language and the theory of argument. Subsequently, logical reconstruction, especially the logical reconstruction of arguments, is presented as a hermeneutic method and as a tool for the application of (formal) logic (...) and argumentation theory to natural language arguments. Logical reconstruction is presented 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. However, in contrast to the interpretation of texts by natural language paraphrases, logical reconstruction leads to interpretantia that are logically explicit formal language texts and can be analyzed using formal methods and meta-theoretical concepts that are not directly applicable to natural language texts. By providing explicit and precise records of different readings, logical reconstruction can thus help to clarify (and maybe even solve) persistent interpretation controversies. Through an adaptation and specification of hermeneutic maxims and presumption rules, the thesis aims at providing suitable means for the systematic guidance and evaluation of logical reconstructions of argumentative texts. As a genuinely interpretative undertaking, 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. As exegetical interpretations, logical reconstructions of texts that are not readily formalizable can still be assessed with respect to their hermeneutic quality. The hermeneutic method of logical reconstruction can thus widen the scope for the application of logic and argumentation theory, because it allows us to use formal methods for the analysis and assessment of "difficult" natural language texts in a non-arbitrary, albeit indirect way. The last part of the thesis presents a manual for the logical reconstruction of natural language arguments, whose application is illustrated step by step. (shrink)