Researches On Kripke's Thoughts On Logical Paradox

The research of paradox has been an emphasis and difficult point for a long time. The solutions of the paradox are endless from its being, but so far no one can satisfactorily resolve them. Along with the in-depth study, the solutions of paradox have been developed, and have also undergone several climaxes until the recent development. Now the research on paradox focuses on semantic paradox, which is an important part of paradox. The earliest paradox—liar paradox is the most famous semantic paradox. In recent years,with the solution of the set theoretic-syntactic paradox, the importance of semantic paradox has been gradually recognized."Outline of a Theory of Truth"is about the logical paradox, in which Kripke put forward a theory of truth of"fixed point", and gave concrete formal construction. In this paper, Kripke put forward a new, complete and formal proposal based on introspection for Tarski's classical solution of paradox. This blue print is completed for the core of the concept"groundness", so we can call it a scheme of"groundness". Outline of a Theory of Truth made a significant impact on the 20th century, and pushed the researches on semantic paradox into a new stage, and directly cause a new upsurge of paradox in Western academic.The paper mainly studies Kripke's thoughts of logical paradox. It will compare Kripke's scheme of"groundness"and Tarski's classical solution of paradox in order to analyze the direction of modern development of paradox. Firstly, it explained several important concepts based on Kripke's theory of"true value gap"and systemically analyzed the formal expression of this theory; secondly, it in-depth grasped achievements of Kripke's scheme, and revealed the limitations of this theory in order to achieve a comprehensive grasp; subsequently the article summed up its effects for the rise of the latter various programs, and sought to build up the important position in the process of development of modern researches on paradox.