Explikace a dedukce: od jednoduché k rozvětvené teorii typů
Title in English | Explication and Deduction: from Simple to Ramified Theory of Types |
---|---|
Authors | |
Year of publication | 2013 |
Type | Article in Periodical |
Magazine / Source | Organon F : filozofický časopis |
MU Faculty or unit | |
Citation | |
Field | Philosophy and religion |
Keywords | deduction; explication; simple ramified of types; ramified hierarchy of types |
Description | In the first part of the paper, I argue that explicating systems which fall under simple theory of types are limited in explicating our conceptual scheme. Such limitation is avoided if one utilizes rather ramified type theory, especially that 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 framework, elucidating how deduction demonstrates properties of objects. |