Detail príspevku/publikácie

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

Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 37-53.
Súbor na stiahnutie: PDF*

Štatistika dokumentu:

Počet prístupov: 963
Počet prístupov dnes: 0
Naposledy zobrazené: 18.10.2018 - 22:10
Počet stiahnutí PDF: 558

Abstrakt

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.

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).