Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  SIMPLE THEORY OF TYPES
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

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

100%
Raclavský J.
Organon F. medzinárodný časopis pre analytickú filozofiu
|
2013
|
vol. 20
|
issue suppl. 2
37 – 53
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.