Truth (An Explication In Transparent Intensional Logic)

RACLAVSKÝ, Jiří. Truth (An Explication In Transparent Intensional Logic). In Logic Café, Vienna University. 2015.

Basic information

Original name

Truth (An Explication In Transparent Intensional Logic)

Authors

RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)

Edition

Logic Café, Vienna University, 2015

---

Other information

Language

English

Type of outcome

Requested lectures

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Austria

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14210/15:00085088

Organization unit

Faculty of Arts

Keywords in English

truth; Transparent Intensional Logic

Tags

rivok

Tags

International impact

---

Abstract

In the original language

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.