Description

• Title:
  Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
• Creator:
  Cordes, Moritz;
  Reinmuth, Friedrich
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2017.02.02
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 26 No. 2 (2017): June; 163-196;
  Logic and Logical Philosophy; Tom 26 Nr 2 (2017): June; 163-196;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.002/10887
• Subject:
  Logic;
  natural deduction;
  application of logic;
  formalization
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2017.002
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text