Course title 
Elementary Logic 
Semester 
1091 
Designated for 
COLLEGE OF LIBERAL ARTS DEPARTMENT OF PHILOSOPHY 
Instructor 
DuenMin Deng 
Curriculum Number 
Phl1008 
Curriculum Identity Number 
104 10400 
Class 

Credits 
3.0 
Full/Half Yr. 
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 (nonaxiomatic) 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. McGrawHill, 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 

