- Symbolic Logic
This course introduces the principles of valid deductive reasoning. The course must include a study of formal techniques of sentential logic and predicate logic.
Eligibility for College Composition (C-ID ENGL 100) or equivalent or Critical Thinking or Introduction to Logic
The concept of and criteria for validity
Symbolization, truth tables, syntax, semantics and natural deduction method in sentential logic
Symbolization, syntax, semantics and natural deduction method in predicate logic.
At the conclusion of this course, the student should be able to:
Demonstrate understanding of deductive reasoning and competence in the basic analytical methods of formal logic.
Problem sets, quizzes and exams.
M. Bergmann, J. Moor, J. Nelson, The Logic Book
R. M. Martin, Introducing Symbolic Logic
P. Teller, A Modern Formal Logic Primer (on-line)
P.D. Magnus, For All x An Introduction to Formal Logic (on-line)
- June 01, 2012