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,484
Number of visits today: 2
Last visit: 21.05.2024 - 17:44
PDF downloads: 1002

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.