Ein Redehandlungskalkül: Folgern in einer Sprache

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

A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory

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.

A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory

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

Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

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

Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie

In dieser Arbeit wird aufbauend auf den Arbeiten von Peter Hinst und Geo Siegwart ein pragmatisierter Kalkül des natürlichen Schließens entwickelt und die Äquivalenz der Konsequenzrelation für den Kalkül mit der modelltheoretischen Konsequenzrelation bewiesen. Der Kalkül zeichnet sich gegenüber anderen linearen Kalkülen des natürlichen Schließens dadurch aus, dass Ableitungen einerseits einfache Folgen objektsprachlicher Sätze sind und andererseits ohne jede graphische oder metasprachliche Kommentierung auskommen

: A Pragmatised Natural Deduction Calculus and its Meta-theory

Translation of our paper "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://hal.archives-ouvertes.fr/hal-00532643/en/ .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

Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie

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

Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie

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

Holistic Inferential Criteria of Adequate Formalization

Peregrin and Svoboda propose an inferential and holistic approach to formalization, and a similar approach (to correctness) is considered by Brun. However, while the inferential criteria of adequacy explicitly endorsed by these authors may be holistic "in spirit," they are formulated for single formulas. More importantly, they allow the trivialization of equivalence and face problems when materially correct arguments come into play. Against this background, this paper tries to motivate holistic inferential criteria that compel us to distinguish carefully between non-trivially equivalent formalizations as well as between materially and logically correct arguments on an inferential basis

Logische Rekonstruktion. Ein hermeneutischer Traktat

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