Research On Tarski’s Semantic Definition Of Truth

Tarski is a great logician in the 20 th century,he grasped the essence of Aristotle’s congruence theory of truth,creatively combined logic and semantics,and put forward and developed the semantic definition of truth from the perspective of semantics.Before Tarski put forward the semantic definition of truth,the traditional theories of truth such as the coincidence theory of truth,the coherence theory of truth,the utility theory of truth,the redundancy theory of truth had influenced Tarski and prompted him to put forward the semantic definition of truth.Tarski believes that an accepted definition of truth must satisfy two basic conditions at the same time: the condition of material appropriateness and the condition of formal correctness.The condition of material appropriateness explains Aristotle’s true coincidence theory,while the condition of formal correctness guarantees the accuracy of the meaning of true concepts and the correctness of formal rules.Tarski made pioneering use of formal language to define truth and stratify formal language,dividing it into two languages: metalanguage and object language.Using formal language to define truth can avoid ambiguity and even paradox when using natural language to define truth.Tarski used the concept of satisfaction and recursion in his definition of truth.Tarski based on formal language,using recursive methods,the application of satisfying concept definition true.The semantic definition of truth is obtained by the statement function being satisfied by all object sequences.Tarski explains the formal language in the axiom system of quasi-calculus language and gives the definition of truth which is both proper in nature and correct in form.Tarski’s semantic definition of truth has an important influence on the development of truth theory,deductive science and philosophy of language.Many scholars have discussed whether the semantic definition of truth has the relevance of Aristotle’s coincidence theory of truth.These discussions have triggered the discussion of contemporary theory of truth and promoted the development of the theory of truth.The proposed semantic definition of truth clarifies the extension of true statement,helps to distinguish truth from provable,promotes the establishment of the concept,defines the connotation of the concept,and redefines the concepts such as analyticity,necessity and transcendence.