Equivalence of Problems (An Attempt at an Explication of Problem)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F13%3A00421450" target="_blank" >RIV/67985955:_____/13:00421450 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/s10516-012-9201-4" target="_blank" >http://dx.doi.org/10.1007/s10516-012-9201-4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10516-012-9201-4" target="_blank" >10.1007/s10516-012-9201-4</a>
Alternative languages
Result language
angličtina
Original language name
Equivalence of Problems (An Attempt at an Explication of Problem)
Original language description
On the one hand, Pavel Tichý has shown in his Transparent Intensional Logic (TIL) that the best way of explicating meaning of the expressions of a natural language consists in identification of meanings with abstract procedures. TIL explicates objectiveabstract procedures as so-called constructions. Constructions that do not contain free variables and are in a well-defined sense normalized are called concepts in TIL. On the second hand, Kolmogorov in (Mathematische Zeitschrift 35: 58?65, 1932) formulated a theory of problems, using NL expressions. He explicitly avoids presenting a definition of problems. In the present paper an attempt at such a definition (explication)?independent of but in harmony with Medvedev's explication?is given together with the claim that every concept defines a problem. To show this in concreto a wellknown Kleene's idea from his is exemplified and explained in terms of conceptual systems so that a threatening inconsistence is avoided.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Axiomathes
ISSN
1122-1151
e-ISSN
—
Volume of the periodical
23
Issue of the periodical within the volume
4
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
15
Pages from-to
617-631
UT code for WoS article
—
EID of the result in the Scopus database
—