Description

• Title:
  Fregean Description Theory in Proof-Theoretical Setting
• Creator:
  Indrzejczak, Andrzej
• Description:
  We present a proof-theoretical analysis of the theory of definite descriptions which emerges from Frege’s approach and was formally developed by Kalish and Montague. This theory of definite descriptions is based on the assumption that all descriptions are treated as genuine terms. In particular, a special object is chosen as a designatum for all descriptions which fail to designate a unique object. Kalish and Montague provided a semantical treatment of such theory as well as complete axiomatic and natural deduction formalization. In the paper we provide a sequent calculus formalization of this logic and prove cut elimination theorem in the constructive manner.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2018 Logic and Logical Philosophy
• Date:
  2018.06.17
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 28 No. 1 (2019): March; 137-155;
  Logic and Logical Philosophy; Tom 28 Nr 1 (2019): marzec; 137-155;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2018.008/14977
• Subject:
  sequent calculus;
  cut elimination;
  definite descriptions;
  Frege
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2018.008
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text