Course Information
 Course title Elementary Logic Semester 109-1 Designated for COLLEGE OF LIBERAL ARTS  DEPARTMENT OF PHILOSOPHY Instructor Duen-Min Deng Curriculum Number Phl1008 Curriculum Identity Number 104 10400 Class Credits 3.0 Full/HalfYr. Half Required/Elective Preassign Time Thursday 7,8,9,10(14:20~18:20) Remarks The upper limit of the number of students: 90. Ceiba Web Server http://ceiba.ntu.edu.tw/1091Logic Course introduction video Table of Core Capabilities and Curriculum Planning Table of Core Capabilities and Curriculum Planning Course Syllabus Please respect the intellectual property rights of others and do not copy any of the course information without permission Course Description 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 (PL), its language, semantics and syntax; (2) Predicate Logic (QL), its language, semantics and syntax; and (3) Some further backgrounds in basic (non-axiomatic) set theory (including some ideas about classes, functions, and relations) and inductive logic (and probability). Together with these lectures on formal logic, some basic topics in the philosophy of logic will also be introduced (e.g. philosophical discussions on propositions, logical connectives, reference and definite descriptions, etc.). Course Objective Course Requirement Student Workload (expected study time outside of class per week) Office Hours References Textbooks: 1. Bergmann, M., Moor, J. and Nelson, J., The Logic Book, 5th ed. McGraw-Hill, 2008. 2. Smith, P., An Introduction to Formal Logic, Cambridge: Cambridge University Press, 2003. Readings: 1. Hurley, P. J., A Concise Introduction to Logic, 11th ed. Boston: Wadsworth, 2012. 2. Barwise, J. and Etchemendy, J., Language, Proof and Logic, 2nd ed., CSLI, 2011. 3. Hodges, W., Logic: An Introduction to Elementary Logic, 2nd ed., Penguin, 2001. 4. Lemmon, E. J., Beginning Logic, 2nd ed., London: Chapman & Hall, 1997. 5. Sider, T., Logic for Philosophy, Oxford: Oxford University Press, 2010. 6. Van Dalen, D., Logic and structure, 5th ed. Springer, 2012. 7. Enderton, H., A Mathematical Introduction to Logic, Second edition, New York: Academic Press, 2001. 8. Halmos, P. R., Naive Set Theory, Springer, 1960. 9. Read, S., Thinking about Logic: An Introduction to the Philosophy of Logic, Oxford: Oxford University Press, 1994. Designated reading Grading
 Progress
 Week Date Topic No data