%0 Journal Article %J Organon F %D 2013 %T Explikace a dedukce: od jednoduché k rozvětvené teorii typů %A Raclavský, Jiří %X 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. %B Organon F %V 20 %P 37-53 %G Czech %U http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/37-53.pdf %3 3753 %# 1