Development of Logic as Science and Main Directions of Modern Symbolical Logic

Short data from history classical and nonclassical the logician. Development of logic in connection with a problem of justification of mathematics. Intuitionistic logic. Constructive logicians. Multiple-valued logicians. Laws excluded the third and not contradictions in nonclassical logicians (multiple-valued, intuitionistic, constructive). Modal logicians. Positive logicians. Paraconsistent logic