Truth (An Explication In Transparent Intensional Logic)
| Autoři | |
|---|---|
| Rok publikování | 2015 |
| Druh | Vyžádané přednášky |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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. |