hrcak mascot   Srce   HID

Pregledni rad

Definability and Undefinability of Truth

Tomislav Karačić ; Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, Netherlands

Puni tekst: engleski, pdf (731 KB) str. 28-53 preuzimanja: 66* citiraj
APA 6th Edition
Karačić, T. (2019). Definability and Undefinability of Truth. KRITiKA, 1 (1-2), 28-53. Preuzeto s https://hrcak.srce.hr/238935
MLA 8th Edition
Karačić, Tomislav. "Definability and Undefinability of Truth." KRITiKA, vol. 1, br. 1-2, 2019, str. 28-53. https://hrcak.srce.hr/238935. Citirano 26.01.2021.
Chicago 17th Edition
Karačić, Tomislav. "Definability and Undefinability of Truth." KRITiKA 1, br. 1-2 (2019): 28-53. https://hrcak.srce.hr/238935
Harvard
Karačić, T. (2019). 'Definability and Undefinability of Truth', KRITiKA, 1(1-2), str. 28-53. Preuzeto s: https://hrcak.srce.hr/238935 (Datum pristupa: 26.01.2021.)
Vancouver
Karačić T. Definability and Undefinability of Truth. KRITiKA [Internet]. 2019 [pristupljeno 26.01.2021.];1(1-2):28-53. Dostupno na: https://hrcak.srce.hr/238935
IEEE
T. Karačić, "Definability and Undefinability of Truth", KRITiKA, vol.1, br. 1-2, str. 28-53, 2019. [Online]. Dostupno na: https://hrcak.srce.hr/238935. [Citirano: 26.01.2021.]

Sažetak
This thesis will focus on Tarski’s work, so the Section 2 starts with him, giving an overview of the elements of his theory of truth, leading to a presentation of his theorem in 2.3. In the rest of the paper, proposals for solving the problem of internalization of the concept of truth and the paradoxes arising from this problem with some of the proposed solution are considered. Section 3. will quickly introduce the Liar paradox and once more explicitly state Tarski’s solution, followed by the so called “revenge of the liar”; a liar type sentence which cannot be avoided even by using Tarski’s solution to the original liar. After that, Section 4. will introduce Kripke’s Theory of Truth and his take on truth and solving t he Liar paradox using paracomplete logic, while Section 5. will examine some further attempts in answering the aforementioned problems in the context of paraconsistent logic.

Ključne riječi
truth; Tarski's theorem; semantical paradoxes; liar; formal semantics

Hrčak ID: 238935

URI
https://hrcak.srce.hr/238935

Posjeta: 106 *