Explication and Deduction: from Simple to Ramified Theory of Types

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Original language description
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ů.
Czech name
Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Czech description
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ů.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)