Truth : An Explication in Transparent Intensional Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F12%3A00060153" target="_blank" >RIV/00216224:14210/12:00060153 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14210/15:00085088
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Truth : An Explication in Transparent Intensional Logic
Original language description
I suggest an explication of the notion "true" within the extensive logical framework of Pavel Tichý's Transparent intensional logic (TIL). The notion splits into three basic kinds accordingly to the range of their applicability, viz. to: a. propositions(which can be denotata of expressions), b. (so-called) constructions of propositions (which can be meanings of expressions-sentences), c. expressions. (Constructions are abstract structured entities akin to algorithms. They construct objects, e.g. propositions. Note the hyperintensional individuation of meanings in TIL. Propositions can be construed as facts.) Both notions of kind a. and b. are language independent. Truth of propositions (i.e. of classes of world-time couples) is rather transparent; truth of constructions is defined in terms of it. The notions of kind c. are relative to language; the relativity is either explicit, or implicit.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů