Typové indikátory

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Type Indicators

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Type Indicators

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GA401%2F99%2F0006" target="_blank" >GA401/99/0006: Role konstrukcí v ´transparentní intensionální logice ´</a><br>

Návaznosti

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

Rok uplatnění

2006

Kód důvěrnosti údajů

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

Název periodika

Pro-Fil

ISSN

1212-9097

e-ISSN

—

Svazek periodika

7

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

18

Strana od-do

1-18

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—