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

Title:

Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Explication and deduction: from simple to ramified theory of types

Creator:

Raclavský, Jiří

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:8b47079e-d8e6-4714-8a84-cf72dc122fef
uuid:8b47079e-d8e6-4714-8a84-cf72dc122fef

Subject:

deduction, explication, ramified theory of types, and simple theory of types

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

In the first part of the paper, I argue that explicating systems which fall under the simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes, instead, a ramified type theory, especially the 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 a framework, elucidating how deduction demonstrates properties of objects., V první části příspěvku tvrdím, že vysvětlující systémy, které spadají pod jednoduchou teorii typů, jsou omezeny na vysvětlování našeho konceptuálního schématu. Tomuto omezení se vyhýbáme, pokud místo toho využijeme teorii rozvětveného typu, zejména teorii vyvinutou Pavlem Tichým. Ve třetí části práce vysvětluji roli takzvaných konstrukcí a derivačních systémů v takovém rámci, objasňujícím, jak dedukce demonstruje vlastnosti objektů., and Jiří Raclavský

Language:

Slovak

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Source:

Organon F: filozofický časopis | 2013 Volume:20 | Number:Supplementary Issue, 2

Harvested from:

CDK

Metadata only:

false