PL EN


2013 | 20 | suppl. 2 | 37 – 53
Article title

EXPLIKACE A DEDUKCE: OD JENODUCHÉ K ROZVĚTVENÉ TEORII TYPŮ

Content
Title variants
EN
Explication and deduction: from simple to ramified theory of types
Languages of publication
CS
Abstracts
EN
In the first part of the paper, the author argues 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, the author explains the role of so-called constructions and derivation systems within such a framework, elucidating how deduction demonstrates properties of objects.
Contributors
  • Katedra filozofie, Filozofická fakulta, Masarykova univerzita, Arna Nováka 1, 602 00 Brno, Czech Republic
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-ab022ca5-389d-4432-b43f-a4254f8101ff
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.