About: Type Indicators

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Type Indicators Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. 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. (en)
Title	Type Indicators Type Indicators (en)
skos:prefLabel	Type Indicators Type Indicators (en)
skos:notation	RIV/00216224:14210/06:00015556!RIV11-MSM-14210___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GA401/99/0006), S
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Raclavský, Jiří
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Filozofická fakulta
http://linked.open...dnocenehoVysledku	504670
http://linked.open...ai/riv/idVysledku	RIV/00216224:14210/06:00015556
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	preconcetps; theory of types; logical analysis of natural language (en)
http://linked.open.../riv/klicoveSlovo	theory of types logical analysis of natural language preconcetps
http://linked.open...odStatuVydavatele	CZ - Česká republika
http://linked.open...ontrolniKodProRIV	[F84141346DE3]
http://linked.open...i/riv/nazevZdroje	Pro-Fil
http://linked.open...in/vavai/riv/obor	AA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Role konstrukcí v ´transparentní intensionální logice ´
http://linked.open...UplatneniVysledku	2006
http://linked.open...v/svazekPeriodika	7
http://linked.open...iv/tvurceVysledku	Raclavský, Jiří
issn	1212-9097
number of pages	18 (xsd:int)
http://localhost/t...ganizacniJednotka	14210

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 110 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software