Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1183923,
author = {Raclavský, Jiří},
address = {New York, Dordrecht. London, Heidelberg},
booktitle = {Recent Trends in Philosophical Logic},
doi = {http://dx.doi.org/10.1007/978-3-319-06080-4_12},
edition = {1.},
editor = {Ciuni, R.; Wansing, H.; Willkomen, C.},
keywords = {truth; Transparent Intensional Logic},
howpublished = {tištěná verze "print"},
language = {eng},
location = {New York, Dordrecht. London, Heidelberg},
isbn = {978-3-319-06079-8},
pages = {167-177},
publisher = {Springer},
title = {Explicating the Notion of Truth Within Transparent Intensional Logic},
url = {http://link.springer.com/chapter/10.1007/978-3-319-06080-4_12},
year = {2014}
}
TY - JOUR
ID - 1183923
AU - Raclavský, Jiří
PY - 2014
TI - Explicating the Notion of Truth Within Transparent Intensional Logic
PB - Springer
CY - New York, Dordrecht. London, Heidelberg
SN - 9783319060798
KW - truth
KW - Transparent Intensional Logic
UR - http://link.springer.com/chapter/10.1007/978-3-319-06080-4_12
N2 - The approach of Transparent Intensional Logic to truth differs significantly from rivalling approaches. The notion of truth is explicated by a three-level system of notions whereas the upper-level notions depend on the lower-level ones. Truth of possible world propositions lies in the bottom. Truth of hyperintensional entities – called constructions – which determine propositions is dependent on it. Truth of expressions depends on truth of their meanings; the meanings are explicated as constructions. The approach thus adopts a particular hyperintensional theory of meanings; truth of extralinguistic items is taken as primary. Truth of expressions is also dependent, either explicitly or implicitly, on language (its notion is thus also explicated within the approach). On each level, strong and weak variants of the notions are distinguished because the approach employs the Principle of Bivalence which adopts partiality. Since the formation of functions and constructions is non-circular, the system is framed within a ramified type theory having foundations in simple theory of types. The explication is immune to all forms of the Liar paradox. The definitions of notions of truth provided here are derivation rules of Pavel Tichý's system of deduction.
ER -
RACLAVSKÝ, Jiří. Explicating the Notion of Truth Within Transparent Intensional Logic. In Ciuni, R.; Wansing, H.; Willkomen, C. \textit{Recent Trends in Philosophical Logic}. 1st ed. New York, Dordrecht. London, Heidelberg: Springer, 2014, p.~167-177. ISBN~978-3-319-06079-8. Available from: https://dx.doi.org/10.1007/978-3-319-06080-4\_{}12.
|
