Equivalence of Problems (An Attempt at an Explication of Problem)

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Equivalence of Problems (An Attempt at an Explication of Problem)

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Equivalence of Problems (An Attempt at an Explication of Problem)

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Axiomathes

ISSN

1122-1151

e-ISSN

—

Svazek periodika

23

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

15

Strana od-do

617-631

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—