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

• Authors: Jiří Raclavský

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.

Keywords

EN

DEDUCTION; EXPLICATION; RAMIFIED THEORY OF TYPES; SIMPLE THEORY OF TYPES; TICHÝ

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2013
• Volume: 20
• Issue: suppl. 2
• Pages: 37 – 53

Contributors

author

Jiří Raclavský

• Katedra filozofie, Filozofická fakulta, Masarykova univerzita, Arna Nováka 1, 602 00 Brno, Czech Republic