Symbolic Logic I Syllabus (Spring 2012)

Ch. 1 - Basic Concepts (weeks 1 - 2)

Square of Opposition

Ch. 6 - Propositional Logic (weeks 3 - 8)

Spring Recess (week 9)

Ch. 7 - Natural Deduction

Ch. 8 - Predicate Logic

Course Description

This is a rigorous introduction to the principles, methods, strengths and weaknesses of formal logical analysis. Students learn how to demonstrate that a coherent proposition follows from a given set of such propositions and why such inferences are logically consistent or valid. Topics include: basic concepts of deductive logic, rules of derivation, techniques of formal proof in propositional and predicate logic. The course satisfies area B5 of the GE program; 3 units.

Required course text: A Concise Introduction to Logic (2012) by Patrick Hurley, 11/e - only this edition will suffice. Students MUST buy the or rent the book, digital versions will not work.

WARNING: DO NOT USE digital versions of the text, these have proven to be cumbersome and do not allow sufficient printing of content. If you do purchase a digital version of the text, you will not be permitted to use it in class with any electronic device. Instead, students MUST bring hardcopies of relevant chapters with them to every class, because we will work through the exercises extensively. Print them out from the digital form you have access to and bring these to class. If you do not bring the relevant chapters to class each meeting, then you will not have access to material discussed in class and you will also be unable to take some in-class quizzes.


Assignments, Grades and Attendance



Students will be able to:

  1. translate English sentences into the language of Propositional and Quantificational Logic;
  2. apply Truth Table and Truth Tree methods to identify propositions (and sets of propositions) as tautologous, consistent, contradictory, equivalent, contingent or necessary and test logical arguments (comprised of such propositions) for validity and soundness;
  3. use Rules of Inference and Replacement to construct proofs that show that a formal argument is or is not deductively valid.


Services to CSUS Students with Disabilities

If you have a disability and require accommodations, you need to provide disability documentation to SSWD, Lassen Hall 1008, (916) 278-6955. Please discuss accommodation needs with me after class or during my office hours early in the semester.


CSUS Policies and Procedures Regarding Academic Honesty

Review all academic responsibilities, definitions, sanctions and rights described here.