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/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 (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
 
Designated reading
 
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. 
Grading
   
Progress
Week
Date
Topic
第1週
9/17  Basic Notions of Logic 
第2週
9/24  Sentential Logic: Symbolization and Syntax 
第3週
10/01  National Holiday (no class) 
第4週
10/08  Sentential Logic: Semantics  
第5週
10/15  Sentential Logic: Truth-Tree 
第6週
10/22  Sentential Logic: Derivations  
第7週
10/29  Midterm Exam (I)  
第8週
11/05  Inductive logic and Probability  
第9週
11/12  Probability Calculus and Bayesian Probability  
第10週
11/19  Predicate Logic: Symbolisation and Syntax (1)  
第11週
11/26  Predicate Logic: Symbolisation and Syntax (2)  
第12週
12/03  Midterm Exam (II)  
第13週
12/10  Predicate Logic: Semantics  
第14週
12/17  Predicate Logic: Truth-Trees  
第15週
12/24  Predicate Logic: Derivations (1)  
第16週
12/31  Predicate Logic: Derivations (2)  
第17週
1/07  Reviews and Q&A  
第18週
1/14  Final Exam