Další formáty:
BibTeX
LaTeX
RIS
@misc{1319901, author = {Raclavský, Jiří}, booktitle = {Logic Café, Vienna University}, keywords = {truth; Transparent Intensional Logic}, language = {eng}, note = {(zvaná přednáška)}, title = {Truth (An Explication In Transparent Intensional Logic)}, year = {2015} }
TY - SLIDE ID - 1319901 AU - Raclavský, Jiří PY - 2015 TI - Truth (An Explication In Transparent Intensional Logic) N1 - (zvaná přednáška) KW - truth KW - Transparent Intensional Logic N2 - The talk offers an approach to truth which is developed in Transparent Intensional Logic (TIL). The notion of truth is explicated by a three-level system of notions whereas the upper-level notions depend on the lower-level ones. The approach thus adopts a particular hyperintensional theory of meanings; truth of extralinguistic items is taken as primary truth of expressions is also dependent 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 Modern Principle of Bivalence which adopts partiality. Since the formation of functions and constructions (some of them are considered to be meanings) 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. ER -
RACLAVSKÝ, Jiří. Truth (An Explication In Transparent Intensional Logic). In \textit{Logic Café, Vienna University}. 2015.
|