After introducing the essence, purpose, basic hypothesis, scope and application fields of logic (especially classical mathematical logic), this course teaches 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.