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,431
Number of visits today: 0
Last visit: 27.03.2024 - 00:24
PDF downloads: 987

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.