Type Indicators

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F06%3A00015556" target="_blank" >RIV/00216224:14210/06:00015556 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Type Indicators

Original language description

Due to recent suggestion of P. Materna (using transparent intensional logic) there are expressions which only indicate logical type of some object and which are not expressive of concepts (but only preconcepts); hence they should not appear in analyses of sentences or co-expressions. I change the name of these expressions for preconcepts to type indicators of object over chosen epistemic basis (so they are names of types over respective basis). I expanse Materna's set of indicators to names of all types. What's more: from this kind of indicators (that I call indicators of type of object constructed by variable) I distinguish two other kinds of indicators (indicators of type of object constructed by trivialization, indicators of type of object denoted by expression). Then I show expressions which are only seemingly type indicators. Finally I discuss general indicators which indicate classes of types.

Czech name

Typové indikátory

Czech description

Podle nedávného návrhu P. Materny existují výrazy, které pouze indikují logický typ nějakého objektu a přitom nevyjadřují pojmy (proto nemají být zahrnuty do analýzy věty či sousloví). Přejmenovávám je na typové indikátory, resp. indikátory typu objektunad zvolenou epistémickou bází (jsou tedy názvy typů nad touto bází). Maternovu množinu indikátorů rozšiřuji na všechny typy nad bází. Ba co víc, k tomuto druhu indikátorů (indikátory typu objektu konstruovaného proměnnou) přikládám další dva druhy (indikátory typu objektu konstruovaného trivializací a indikátory typu denotátu výrazu). Poukazuji též na výrazy, které jsou pouze zdánlivě typovými indikátory. Nakonec diskutuji obecné typové indikátory (indikátory tříd typů).

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F99%2F0006" target="_blank" >GA401/99/0006: The Idea of constructions in 'Transparent Intentional Logic"</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2006

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Pro-Fil

ISSN

1212-9097

e-ISSN

—

Volume of the periodical

7

Issue of the periodical within the volume

2

Country of publishing house

CZ - CZECH REPUBLIC

Number of pages

18

Pages from-to

1-18

UT code for WoS article

—

EID of the result in the Scopus database

—