6 found
Order:
See also
Moritz Cordes
Ernst-Moritz-Arndt-University Greifswald
  1. A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.Moritz Cordes & Friedrich Reinmuth - manuscript
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  3.  22
    Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  9
    Rudolf Carnaps verschiedene Scheinproblemkonzeptionen.Moritz Cordes - 2011 - Kriterion - Journal of Philosophy 25 (2):2.
    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 metho- dology. Based on a number of short texts by Carnap, an attempt is made to give provisional denitions of `pseudo-problem' and related expressions.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  5.  30
    Ein Redehandlungskalkül: Folgern in einer Sprache.Moritz Cordes & Friedrich Reinmuth - 2011 - XXII. Deutscher Kongress Für Philosophie.
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  6.  15
    Deduktive Begründung. Zu einem Explikationsvorschlag von Reinhard Kleinknecht.Moritz Cordes, Jens Glatzer, Friedrich Reinmuth & Geo Siegwart - 2010 - Conceptus: Zeitschrift Fur Philosophie 39 (95):31-60.
    In his paper "Deduktive Begründung und deduktive Ableitung" Reinhard Kleinknecht offers an explication of the concepts of deduetive reason and deductive argument respectively. To this end, he provides seven conditions that he sees as individually necessary and jointly sufficient for being a deductive reason. We argue that some of his conditions are far too restrictive and that his concept of deductive argument is therefore to narrow to capture the usual practice of deductively establishing propositions as true. We also show that (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography