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)

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).

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to calculizing (...) IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

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 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)

Questions are everywhere and the ubiquitous activities of asking and answering, as most human activities, are susceptible to failure – at least from time to time. This volume offers several current approaches to the systematic study of questions and the surrounding activities and works toward supporting and improving these activities. The contributors formulate general problems for a formal treatment of questions, investigate specific kinds of questions, compare different frameworks with regard to how they regulate the activities of asking and answering (...) of questions, and situate these activities in a wider framework of cognitive/epistemic discourse. From the perspectives of logic, linguistics, epistemology, and philosophy of language emerges a report on the state of the art of the theory of questions. (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)

Frege's philosophy of language includes detailed views on judgments. His formal logic - the Begriffsschrift - documents some of these views in the introduction and treatment of the judgment stroke. In current logic such an expression is either entirely ignored or, appearing as turnstile, plays an fundamentally different role. In this paper I put forward four claims: (i) Considering Frege's Begriffsschrift, it is methodologically palpable why the judgment stroke was omitted in nearly all logical systems developed after Frege. (ii) The (...) Frege-style inclusion of the judgment stroke in a formal language represents a partial implementation of results from speech act theory. (iii) A more comprehensive implementation, not limited to the judgment stroke, helps to satisfy justified expectations about formal languages and logical calculi. (iv) Such an implementation has not yet been achieved in the current logical mainstream. (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)

In a recent essay Jürgen Ludwig Scherb strives for a benevolent reconsideration of Heidegger's famous phrase 'the nothing noths' (,das Nichts nichtet'). In 1932 Rudolf Carnap attacked this expression for being meaningless and a pseudo-sentence. Using Stanislaw Lesniewski's ontology. Scherb reconstructs 'the nothing noths' in the tradition of Desmond Paul Henry. My text tries to show that attempts to rehabilitate Heidegger's dictum by just providing such a reconstruction must fail. Indeed, all that Scherb's and Henry's results illustrate is the trivial (...) fact that for every concatenation of signs there is a reconstruction that renders it syntactically well formed and provable. If Scherb wants his reconstruction to stand out among all the other possible reconstructions, it will be necessary for him to scrutinize more than the three words 'the nothing noths'. To facilitate an adequate critique, my text includes an informal introduction to the talk about reconstructions and offers further reconstructions which provide material for illustration and comparison. (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)

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.

In his book Meinungsverschiedenheiten (engl.: Disagreement) Marc Andree Weber defends a probability based conception of epistemic peerhood. Starting from this conception he proves the equal weight thesis, which prescribes that one should allocate the same weight to the beliefs of epistemic peers as to one's own beliefs. – In the present article I provide a much shorter proof. For that purpose I first formalize Weber's definition and thesis and I close the argumentative gap between the two of them by making (...) relatively few additions. Toward the end, I will document the differences between Weber's proof and my proof and indicate the relevance of a second proof. No judgmental assessment will be sought. (shrink)

Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.

This paper is a review of Rudolf Carnap's changing attitudes towards the conceptualisation of pseudo-problems. For that purpose his early works are divided into four phases each of which display subtle dierences with respect to the role pseudo-problems play in Carnap's epistemology and philosophical methodology. Based on a number of short texts by Carnap, an attempt is made to give provisional denitions of 'pseudo-problem' and related expressions.