Research On Tarski's Theory Of Truth

Tarski's theory of truth refers to a series of tasks that Tarski has done in the field of "truth".Tarski's theorem and Tarski's definition of truth are important parts of these efforts.The undefinability of truth theorem,commonly known as Tarski's theorem,is an important achievement in the research of semantic paradox and logical semantics in the 20 th century.By reconstructing the liar's paradox in the clearly structured formal language,Tarski proved that no arithmetically sufficient formal language could define its own true predicates.The definition of truth includes logical semantics and language hierarchy.Tarski defined the concept of "truth" in formal language by means of "satisfaction" and achieved the goal of avoiding the Liar paradox by hierarchy language method.This thesis attempts to find the inner connection through the analysis of Tarski's theorem and Tarski's definition of truth,in order to achieve the purpose of grasping the theory of Tarski's truth as a whole.This thesis is divided into six chapters,which can be roughly divided into four parts.The first part is the preface of this thesis.This thesis mainly expounds the definition of Tarski's truth,the research background of Tarski's theorem,the research status at home and abroad,and the methods of solving problems.It is no accident that Tarski's theorem appeared in history.There are many scholars' contributions.The second part consists of chapter 2,chapter 3 and chapter 4.This part mainly restores the main proof process of Tarski's theorem,including the introduction of arithmetic language and the axiom system PA,,using the G?del‘s method to make the formal languages have the ability to express enough arithmetic properties,as well as the determination of diag-function and coding function and so on.The third part is chapter 5.This part introduces the definition of truth of Tarski's completely.It includes Tarski's analysis of the formal correctness and material adequacy of the definition of truth as well as the introduction that conforms to the definition and the introduction of language hierarchy.The fourth part is the sixth chapter.This part aims at considering the influence of Tarski theorem and Tarski's truth definition from many aspects.we will make several holistic comments on Tarski's theory of truth in the light of the influence of Tarski in various fields.Finally,it should be noted that the definition of truth of Tarski is an epoch-making product,which is closely related to many important achievements.This thesis only discusses in a limited scope.