Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Organon F. medzinárodný časopis pre analytickú filozofiu

2 2013

2 Raclavský J.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: RAMIFIED THEORY OF TYPES

Sortuj według:

Ogranicz wyniki do:

FITCHŮV PARADOX POZNATELNOSTI A ROZVĚTVNÁ TEORIE TYPŮ

100%

Raclavský J.

tom 20

nr suppl. 1

144 – 165

It is already known that Fitch’s knowability paradox can be solved by typing knowledge within ramified theory of types. One of the aims of this paper is to provide a greater defence of the approach against recently raised criticism. My second goal is to make a sufficient support for an assumption which is needed for this particular application of typing knowledge but which is not inherent to ramified theory of types as such.

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

88%

Raclavský J.

tom 20

nr suppl. 2

37 – 53

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 Tichý. 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.