2006
Type Indicators
RACLAVSKÝ, JiříBasic information
Original name
Type Indicators
Name in Czech
Typové indikátory
Authors
RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)
Edition
Pro-Fil, 2006, 1212-9097
Other information
Language
English
Type of outcome
Article in a journal
Field of Study
60300 6.3 Philosophy, Ethics and Religion
Country of publisher
Czech Republic
Confidentiality degree
is not subject to a state or trade secret
RIV identification code
RIV/00216224:14210/06:00015556
Organization unit
Faculty of Arts
Keywords in English
preconcetps; theory of types; logical analysis of natural language
Tags
Tags
International impact, Reviewed
Changed: 10/4/2011 15:45, Ing. Mgr. Zdeňka Jastrzembská, Ph.D.
In the original language
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.
In Czech
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 objektu nad 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ů).