The main purpose of this dissertation is to provide a new approach to resolve the incompatibility between the Ramsey test and the Preservation criterion. Since G. Frege established modern symbolic logic at the end of the 19th century (in general called classical logic), logicians noted that it was inappropriate to express the form of sentence ‘if A, then B’ in our ordinary language into the form of ‘A