The Study Of Tarski's Semantical Theory Of Truth

The investigation to the concept of truth is an important traditional issue in the fields of philosophy and logic. Many philosophers and logicians all provided their unique ideas about truth .A. Tarski reported that although the meaning of the concept of truth in colloquial language seems to be quite clear and intelligible, all attempts to define this meaning more precisely had hitherto been fruitless, because they had often led to paradoxes and antinomies. He developed a new method of his own, in which he presented a incisive explanation from the angle of view of semantics, and constructed the semantically definition of truth .The Semantically theory of Truth analyses accurately the conception of truth, and it includes a series of concepts ,theories and ideas, such as the Hierarchy of Languages, Tarski Theorem, some semantical concepts and so on ,which are important parts indispensably in the construction of the semantical definition of truth. The semantical definition of truth is constructed with the postulates of the material adequacy condition,the formal correct condition and physicalism, which start from the classical conception of truth, and bases on the Hierarchy of Languages, and brings to bear the method of recursion, and defines the conception of truth in virtue of the conception of satisfaction in a simple formal language—the Language of the Calculus of Classes. The definition not only reserves the intuitive meaning of Aristotelian ancient conception of truth , but avoids the menace of the paradox in semantically close language, which can be regarded as a"satisfactory"definition of truth in the Tarski's meaning. This theroy includes three aspects of contents .Firstly, the semantical theory of truth is a explanation of correspondence in a weak sense in the philosophical point of view; Secondly, in the method and technology point of view it bases on the postulates of physicalism and the fruits of symbolic logic, Thirdly, it is a kind of formalized explaination, which parks the the semantical definition of truth into a deduction system of a formal language; And in the logic and semantics point of view it produces many logical fruits which is a plaination of semantics.The foundation of the semantical theory of truth solved a series of radical problems semantically which left behind from history and were difficult to solve all through,and so it layed theoretically for the establishment of logic semantics.