The Historical Development And Philosophical Question Exploring Of MVL

Classical logic is also called two-valued logic，because it has only two values，trueand false. But classical logic cannot well explain chance、semantic paradox and quantumlogic problems，the introduction of the third value to establish three valued logic is a kindof solution，the problems existing in the three valued logic can also by promoting solutionfor finite value of many-valued logic，and promotion for infinite values of many-valuedlogic to explain more logic problems.This article is divided into three parts，to gradually introduce and analysis MVL.The first chapter is the generalization of MVL，the first is the introduction of MVL’sposition in the whole logic，he belongs to the deviant logics of the non-classical logic，and then combed the main body of the development context of MVL，which divided intostage of enlightenment and the stage of establishment and development，the last is thebasic knowledge of the system of MVL.The second and third chapter is the main body of this paper，because no matter agreeor against MVL，it’s should understand it. It’s based on revisability of logic，mainlyanalysis on the logic system of Lukasiewicz and Post，which is the most basis system ofthe MVL，and the nonsense many-valued logic and the three-valued quantum logic，whichis two important kinds of MVL.Mainly introduces the reasons of building，true value set，correlative and the theorem，and then compare them with the classical logic，understandthe contradiction and compatibility of them.The fourth chapter is the key of this paper，it’s the innovative of this paper.On thebasis of STRF，try to using unary operator theory to govern some of MVL.