Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F10%3A00051391" target="_blank" >RIV/00216224:14210/10:00051391 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
Popis výsledku v původním jazyce
Firstly, Materna's explication of conceptual system within Tichý's logical framework is introduced. Then, we expose a notion of derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.
Název v anglickém jazyce
Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems
Popis výsledku anglicky
Firstly, Materna's explication of conceptual system within Tichý's logical framework is introduced. Then, we expose a notion of derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2010
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ů