Explikace a dedukce: od jednoduché k rozvětvené teorii typů
| Autoři | |
|---|---|
| Rok publikování | 2013 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Organon F : filozofický časopis |
| Fakulta / Pracoviště MU | |
| 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ů. |