Explikace a dedukce: od jednoduché k rozvětvené teorii typů

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F13%3A00068683" target="_blank" >RIV/00216224:14210/13:00068683 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Popis výsledku v původním jazyce
V první části této eseje argumentuji ve prospěch toho, že explikační systémy spadající pod jednoduchou teorii typů jsou principiálně limitované pro dosažení cíle, jímž je explikace celého našeho konceptuálního schématu. Takovémuto omezení nepodléhají systémy založené na rozvětvené teorii typů, zvláště té Pavla Tichého. Ve třetí části vysvětluji roli Tichého tzv. konstrukcí a dále derivačních systémů v tomto rámci a ukazuji, jak dedukce demonstruje vlastnosti objektů.
Název v anglickém jazyce
Explication and Deduction: from Simple to Ramified Theory of Types
Popis výsledku anglicky
In the first part of the paper, I argue that explicating systems which fall under simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes rather ramified type theory, especially that one developed by Pavel Tichý. In the third part of the paper, I explain the role of so-called constructions and derivation systems within such framework, elucidating how deduction demonstrates properties of objects.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—

Projekt
—
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ů

Podobné výsledky(10)