The four valued logic

Welcome to NEW LOGIC

This logic is not one of "multi valued logic" by Jan Lukasiewicz.
This logic is most normal extension of 2-valued logic and has the extended laws of contradiction and excluded middle.

Russell's paradox (p<=>-p) was excluded naturally from binary logic. But Russell's paradox is the proof of the extended law of contradiction, and the proof of the existence of the third truth value different from "the true" and "the false". "Russell's paradox "is the third valued proposition which contradict the true proposition or the false proposition.

This 4- valued logic which has the paradox as the third truth value, can understand naturally the reflexive proposition, the idea proposition, the possible proposition, the moral proposition, etc.

please to Main menu 1996.12

if you want, please to Plain text version 1998.4

What's new! two types of recognition and verification, in new Q&A!!

(from2002/04/21)