Anselm of Canterbury’s so-called ontological proofs in the Proslogion have puzzled philosophers for centuries. The famous description “something / that than which nothing greater can be conceived” is part and parcel of his argument. Most commentators have interpreted this description as a definition of God. We argue that this view, which we refer to as “definitionism”, is a misrepresentation. In addition to textual evidence, the key point of our argument is that taking the putative definition as what Anselm intended it (...) to be – namely a description of a content of faith – allows getting a clear view of the discursive status and argumentative structure of Proslogion 2–4, as well as making sense of an often neglected part of the argument. (shrink)

The question of how to arrive at questions is ambiguous. I will concentrate on two readings: (i) How should one set up a formal syntax that accomodates questions? (ii) How does one, while working in a suitable formal language, arrive at a situation where one is allowed to or even must ask a certain question? In other words: How is the asking of questions regulated within a given formal language? I will propose an answer to question (i) and consider the (...) field of possibilities of answering (ii). (shrink)

Pseudoproblems, pseudoquestions, pseudosentences (etc.) constitute an iridescent group of concepts which were prominently used by the Vienna Circle (including Wittgenstein). In the course of an explication this paper presents a compilation of the many different meanings that were given to these expressions. This includes the more prominent Viennese approaches as well as a more recent one by Roy Sorensen. A novel proposal concerning the use ofthe term is made, suggesting that nothing is just a pseudoproblem, but only relative to a (...) certain state of discourse. While the paper follows an explicative methodology, several uses of 'pseudoproblem', including the explicated one, relate pseudoproblemhood to other kinds of analysis. (shrink)

This paper is the introduction to the Special Issue “Philosophical Methods”. The Special Issue will be published by Synthese.

The method of explication has been somewhat of a hot topic in the last 10 years. Despite the multifaceted research that has been directed at the issue, one may perceive a lack of step-by-step procedural or structural accounts of explication. This paper aims at providing a structural account of the method of explication in continuation of the works of Geo Siegwart. It is enhanced with a detailed terminology for the assessment and comparison of explications. The aim is to provide means (...) to talk about explications including their criticisms and their interrelations. There is hope that this treatment will be able to serve as a foundation to a step-by-step guide to be established for explicators. At least it should help to frame and mediate explicative disputes. In closing the enterprise will be considered an explication of ‘explication’, though consecutive explications improving on this one are undoubtedly conceivable. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...) purely practical reasons. Finally, three limitations which call for further development of the method of explication are discussed. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. Ein (...) pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs.

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. We (...) then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (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)

In the early Analytic Philosophy, the concept of a pseudosentence was used as a polemical device. To try and formalize a sentence without success was a means to ›debunk‹ it as a pseudosentence. The classical example is Heidegger’s dictum of the nothing which noths. But, according to Carnap, not only did Carnap not understand what Heidegger said, but also Heidegger himself must have misunderstood his own utterances! Does Carnap's diagnosis remain intact if one admits the possibility of a misunderstanding and (...) misconstrual on Carnap’s side, too? Should not Carnap's concept of formalization be substituted by that of logico-hermeneutical reconstruction in order to obviate any such infelicities? In everyday communication, we very rarely ever feel the need to undertake a significant effort to understand each other. This attitude is at odds with Friedrich Schleiermacher’s view that misunderstandings are ubiquitous and that one has to actively invest into the establishment of correct understandings. Therefore, one should ask: Are there good reasons to reject the view that we misunderstand ourselves all the time? Or: Is there any worth in the view that misunderstandings are prevalent? The answers developed in this paper are generalized so that they apply to philosophical contexts and a maxim of escalating formalization is formulated. The debate about peer disagreement is adduced as an illustration of philosophical practices that evade the maxim and thus stagnate cognitively. (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).