<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Materna, Pavel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pojem problému z hlediska teorie konstrukcí</style></title><secondary-title><style face="normal" font="default" size="100%">Organon F</style></secondary-title><translated-title><style face="normal" font="default" size="100%">The Concept of Problem from the Viewpoint of the Theory of Constructions</style></translated-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">concept</style></keyword><keyword><style  face="normal" font="default" size="100%">conceptual system</style></keyword><keyword><style  face="normal" font="default" size="100%">constructions</style></keyword><keyword><style  face="normal" font="default" size="100%">problem</style></keyword><keyword><style  face="normal" font="default" size="100%">Transparent Intensional Logic (TIL)</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/137-144.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">137-144</style></pages><abstract><style face="normal" font="default" size="100%">Transparent Intensional Logic (TIL) explicates objective abstract 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. An argument is given for the claim that every concept defines a problem. The paper treats just mathematical concepts, and so mathematical problems, and tries to show that this view makes it possible to take into account some links between conceptual systems and the ways how to replace a non-effective formulation of a problem by an effective one. To show this in concreto a well-known Kleeneś idea from his (1952) is exemplified and explained in terms of conceptual systems so that a threatening paradox is avoided.</style></abstract><work-type><style face="normal" font="default" size="100%">State</style></work-type><custom2><style face="normal" font="default" size="100%">Papers</style></custom2><custom3><style face="normal" font="default" size="100%">137144</style></custom3><custom5><style face="normal" font="default" size="100%">1</style></custom5></record></records></xml>