Description

• Title:
  The notion of problem, intuitionism and partiality
• Creator:
  Materna, Pavel
• Description:
  Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic (TIL) and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo α- and η-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church’s conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept and every concept can be viewed as a problem.Kolmogorov’s idea of a connection between problems and Heyting’s calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2009.03.15
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 17 No. 4 (2008); 287-303;
  Logic and Logical Philosophy; Tom 17 Nr 4 (2008); 287-303;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2008.016/1290
• Subject:
  abstract procedures;
  constructions;
  effective procedures;
  concepts;
  partiality
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2008.016
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text