|
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 |
|
|
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 |
|
|