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