This course aims to introduce students to some basic ideas and knowledge in formal logic, and to equip students with a sufficient background for understanding technical arguments containing logical symbols in the philosophy literature. The course will consist of three main parts: (1) Propositional logic, its language, semantics and syntax; (2) Predicate Logic, its language, semantics and syntax; and (3) Some relevant background in basic (non-axiomatic) set theory (including some ideas about classes, functions, and relations) and basic three-valued logic. Together with these lectures on formal logic, some basic topics in the philosophy of logic will also be introduced, such as propositions, logical connectives, reference and definite descriptions, etc.
This course will be taught in English.。