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: 1,251
Number of visits today: 0
Last visit: 18.10.2019 - 17:25
PDF downloads: 648

Abstract

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.