Comment On Study Of Semantic Paradoxes

It is known that in A. Tarski's semantic theory of truth: there is an equivalent scheme (T): when only works as P, X existing in L is truth. The scheme (T) plays an important role in comprehending A.Tarski's theory. However, some people in the academic field misunderstand the scheme (T) of Tarski's theory: such as people represented by W.V.Quine, on one hand they think the scheme (T) can portray the decree of our understanding "suitable scheme" before the theory of non-language being "truth"—sentence "snow is white" is true, when only works as snow in reality is white. The base of understanding this theory is "truth depends on reality instead of language ... Only the reality enables a sentence to be trute". But on the other hand, they think that scheme (T) expresses a "cancellation strength" of "truth" in language, that is, "method of removing quotation mark". It is clear that the "cancellation strength" manifests directly in A. Tarski's models: "snow is white" is true, only works as snow is white. Just because of this, W.V.Quine think to name a sentence "truth" is not to entrust a sentence with a nature—truth, but only a way of concluding the sentence. as true", which is called "method of removing quotation marks". The essence of this point of view is the combination of "truth" equivalent scheme (T) and the equivalent scheme (M) expressed after understanding the original one. (X, made by any thought main body R is the conclusion about R's comprehension of X). But some people represented by H.Field and P.Horwich think that A. Tarski's "truth" theory is just some technological changes based on the Redundancy Theory of Truth and The Deflationary Theory of Truth. H.Field and P.Horwich use the similar methods to illustrate the reasons for considering A. Tarski's theory as The Deflationary Theory of Truth: it is nothing but removing quotation mark. Although H.Field is not as sure as P.Horwich in the point of view that whether A. Tarski's should be called a quotation mark remover, he believes that what have been done by A. Tarski can be used by quotation mark removers. Thus, A. Tarski's semantic scheme (T) becomes a pure logic—syntax scheme (T), which is "totally removing quotation mark" scheme (T). Obviously, this point of view is not emphasized by W.V.Quine's semantic meaning—syntax "removing quotation mark". Under this point of view, "truth" can only play a role of equipping the logic of a complete grammatical sentence.To sum up, essentially, "partly removing quotation mark" and "totally removing quotation mark" are not A. Tarski's original ideas and they are a kind of misunderstanding of his scheme. This paper studies three schemes (T) and tries to point out the essence of explanations of "partly removing quotation mark" and "totally removing quotation mark" based on A. Tarski's semantic scheme (T)In fact," true" comes from a lot of types of true" .We believe deeply that there is a kind of true including total" true", we can make use of it according to concrete circumstance at the different situation, but it is difficult to make a definition( total true).If it is said that Tarski made " true" a formal rightly substantial fitting definition, that he also defined only a kind of " true". Owing to this, we can divide " true" into two kinds :one can be defined " true" and the other can't be defined " true" .But there is a kind of close connection between the two types of" true" .