After introducing the historical background, essence, purpose, basic hypothesis, scope and application fields of logic (especially classical mathematical logic), this course teaches formal logic systems, classical propositional calculus, classical first-order predicate calculus, and the limitations of classical mathematical logic in detail, and then introduces the classical conservative expansions and non-classical alternates of classical mathematical logic.