Další formáty:
BibTeX
LaTeX
RIS
@article{1113297,
author = {Raclavský, Jiří},
article_location = {Bratislava},
article_number = {č. Supplementary Issue 2},
keywords = {deduction; explication; simple ramified of types; ramified hierarchy of types},
language = {cze},
issn = {1335-0668},
journal = {Organon F : filozofický časopis},
title = {Explikace a dedukce: od jednoduché k rozvětvené teorii typů},
volume = {roč. 20},
year = {2013}
}
TY - JOUR
ID - 1113297
AU - Raclavský, Jiří
PY - 2013
TI - Explikace a dedukce: od jednoduché k rozvětvené teorii typů
JF - Organon F : filozofický časopis
VL - roč. 20
IS - č. Supplementary Issue 2
SP - 37-53
EP - 37-53
PB - Filozofický ústav SAV
SN - 13350668
KW - deduction
KW - explication
KW - simple ramified of types
KW - ramified hierarchy of types
N2 - 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ů.
ER -
RACLAVSKÝ, Jiří. Explikace a dedukce: od jednoduché k rozvětvené teorii typů. \textit{Organon F : filozofický časopis}. Bratislava: Filozofický ústav SAV, 2013, roč. 20, č. Supplementary Issue 2, s.~37-53. ISSN~1335-0668.
|
