Font Size: a A A

Tarski's Semantic's Truth Throry

Posted on:2010-08-04Degree:MasterType:Thesis
Country:ChinaCandidate:L SongFull Text:PDF
GTID:2155360302959269Subject:Logic
Abstract/Summary:PDF Full Text Request
The discussion of truth always arouses great attention in the academic world. The scholars shaped verified theories of truth based on their own understanding in different time. Among the theories, the most noting ones are the coherence theory, correspondence theory, and redundancy theory. While the American-Polish, Alfred Tarski, explored a new way in his The Concept of Truth in Formalized Languages published in 1935 and pioneered a new way in the research of truth. Meanwhile he founded the semantic theory of truth and this theory is the first comparatively complete and systemic truth theory of logic. From the perspective of semiotics, the author tries to sum up the basic ideas of Tarski's semantic theory of truth so as to give out a brief introduction to its features.We may divide the Truth theory into the theories of formal truth, semantic truth and pragmatic truth and no matter which truth, there are always two expressions: natural language and formal language. Therefore, it is very obvious that Tarski defined truth from the view of semantics in his truth theory by comparatively precise formal language. During the process, based on modern logic and through the way of logical analysis and semantic analysis, he gave"true"a definition that is substantially appropriate and formally correct. Meanwhile, he proposed the well-know theory of language stratum and founded modern systematic semantics.Tarski's theory of semantic truth that is merely a logic definition.The Convention T is not the definition of truth theory but a condition that a sentence can be true. So we can view it as a partial definition in truth theory. Furthermore, his process of defining Truth has a considerable universality which has a rigor format and a strong logic. The author, basing on the analysis of some of the semantic definitions in his truth theory, pointed out that the reason why Tarski defined Truth is to build the theory of logical semantics.By giving out further approvement to Tarski's semantic theory of truth, the author gave out the assertion that the theory not only prompt the deeper researches on semantics and truth theory, but also laid the foundation for the theory of language stratum. Meanwhile, the theory also provided a better Paradox solution and has a positive influence on the deductive science as well. Later on, Davidson,Rudolf Carnap, all developed the truth theory from different angles.
Keywords/Search Tags:Truth, Semantic theory of true, Convention T, Logical semantics, Formal language
PDF Full Text Request
Related items