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

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: EXPLICATION

Sortuj według:

Ogranicz wyniki do:

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

100%

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.

MODEL METÓDY (4): APLIKÁCIA A KLASIFIKÁCIA

100%

Bielik L. , Kosterec M. , Zouhar M.

nr 9

737 – 751

The present article is the final part of a longer paper in which we outline a model of (scientific) method as a system of instructions aimed at a certain kind of (cognitively interesting) goal. Building on the results of the previous part in which the model has been proposed, we start with two detailed case studies that are used to illustrate it. In particular, we deal with the method of explication and the sampling method. Next, we introduce the notion of a variant of method and that of the essential core of method. Since our model is extensional, it leads to certain drawbacks that are typical of all extensional models. These notions are used to cope with some of those shortcomings. Finally, certain kinds of method are distinguished.