Type Indicators
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Periodical |
| Magazine / Source | Pro-Fil |
| MU Faculty or unit | |
| Citation | |
| Web | http://profil.muni.cz/02_2006/raclavsky_type_indicators.pdf |
| Field | Philosophy and religion |
| Keywords | preconcetps; theory of types; logical analysis of natural 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. |