Research On Semantic Paradox Resolution Scheme Of Paraconsistent Logic

This paper proposes to solve semantic paradox from the viewpoint of paraconsistent logic.Starting with the problem of semantic paradoxes,this paper analyzes many typical solutions to semantic paradoxes in logical philosophy,and illustrates the dilemma of many typical solutions to semantic paradoxes,including Russell’s type theory.Secondly,it explores the innovation of paraconsistent logic in solving semantic paradoxes,introduces paraconsistent logic and the concrete solution of paraconsistent logic "paradox logic",the rationality of "Paradox Logic" is discussed from the aspects of formal technology and philosophical explanation.Finally,the relevant parts and contents of the paraconsistent logic semantic paradox resolution scheme are evaluated.This article consists of four chapters.The first chapter is the introduction,which briefly discusses the background and significance of the development of semantic paradox and paraconsistent logic,and the research status of semantic paradox and paraconsistent logic.The second chapter mainly introduces several solutions of typical semantic paradoxes and the difficulties of many solutions themselves,and analyzes the development process and internal differences of each semantic paradox solution,specifically,it includes Russell type theory semantic paradox solution,Alfred Tarski semantic theory semantic paradox solution,Saul Kripke truth theory semantic paradox solution,and contextualism semantic paradox solution,including context dullness and context sensitivity of the paradox solution,and so on.This chapter lays a foundation for the semantic paradox solution of paraconsistent logic.Chapter three first introduces the paraconsistent logic and the paraconsistent logic,then discusses the formal systems LP and LPQ of paraconsistent logic,furthermore,it explains the philosophical explanation of its solution to the paradox,namely,"to accept the true contradiction,to weaken the law of contradiction,and to limit the deduction of everything from false propositions and contradictions." Finally,the differences between the paraconsistent logical semantic paradox resolution scheme and many typical semantic paradoxes in chapter 2 are explained.The former breaks through the latter’s dilemma,the author also gives the concrete solutions to the liar paradox and the strengthened liar paradox.In contrast to previous logicians,paraconsistent logic adopts a way of accepting the paradox,and integrates the paradox into the scientific system and formal system.In this chapter,the paraconsistent logic paradox-solving system is formally described,and its paradox-solving scheme is philosophically explained.The fourth chapter mainly evaluates the semantic paradox resolution scheme of paraconsistent logic,analyzes the "two-sided truth theory" of paraconsistent logic,and explains the breakthrough of the semantic paradox resolution scheme of paraconsistent logic to the principle of explosion and the principle of division,finally,the paper discusses the value of paraconsistent logic semantic paradox in the field of epistemology and some of my thinking.