The text first values logically whether argument is valid by deductive and inductive standard, and sets forth the validity of formal argument in system and the validity of extra-systematic informal argument, in order to provide discriminating criterion for discussing the validity of formal argument in system and the extra-systematic .

The central question in philosophy of logic is about the issue of the coherence between the valid formal argument in logical system and the extra-systematic informal antetype.

We are intend to exert struc-turalistical semiotic rectangle to make a new arrangement on the theory of criticism using four kinds of new methods,including formal demonstration type,cooperation type,self-expression type and negative & ironic type,to replace classifying methods.