Article/Publication Details

Explication and Deduction: From Simple to Ramified Theory of Types

(Original title: Explikace a dedukce: od jednoduché k rozvětvené teorii typů)
Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 37-53.
File to download: PDF*
BibTex EndNote Tagged EndNote XML RIS

Document Statistics:

Number of visits: 2,245
Number of visits today: 1
Last visit: 29.09.2023 - 12:57
PDF downloads: 945


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.

*The article is subject to copyright.