Informace o publikaci

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

Autoři

RACLAVSKÝ Jiří

Rok publikování 2013
Druh Článek v odborném periodiku
Časopis / Zdroj Organon F : filozofický časopis
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Obor Filosofie a náboženství
Klíčová slova deduction; explication; simple ramified of types; ramified hierarchy of types
Popis 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ů.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info