Opis

• Tytuł:
  Definite Descriptions in Intuitionist Positive Free Logic
• Twórca:
  Kürbis, Nils
• Opis:
  This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F,G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. 
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Data:
  2020.11.30
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion;
  Proof-theory
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 30 No. 2 (2021): June; 227-358;
  Logic and Logical Philosophy; Tom 30 Nr 2 (2021): Czerwiec; 227-358;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2020.024/27172
• Temat i słowa kluczowe:
  free logic;
  definite descriptions;
  proof theory;
  normalisation;
  intuitionist logic;
  binary quantifiers;
  term forming operators
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2020.024
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  pozostałe