Deductive Logic II
Catalog DescriptionFurther study of deductive logic. Topics include: principles of inference for quantified predicate logic; connectives; quantifiers; relations; sets; modality; properties of formal logical systems, e.g. consistency and completeness; and interpretations of deductive systems in mathematics, science, and ordinary language. Prerequisite: CSC 28 or PHIL 60 or instructor permission. Units: 3.0
Informal DescriptionIn this course we will begin with methods of proof in propositional logic, quickly (re)acquainting ourselves with the semantic tree method of proof as well as natural deduction. We will then extend our system of propositional logic to include predicate logic, identity, and functions. We will develop two systems of modal logic (Leibnizian and Free Logic) and learn to do natural deduction proofs in these systems. In the foregoing we will develop a strong understanding of the difference between the semantics of a system and its system of deduction. We will then introduce the relation of membership to predicate logic, see how this provides the basis of set theoretic concepts and learn to do both formal and informal proofs in set theory. We will then learn to do strong mathematical induction and develop an understanding of the basics of recursion. We will finish the semester by examining Cantor's settheoretic development of infinity, Church's theorem on the undecidability of predicate logic and an outline of Gödel's incompleteness theorems.
By the end of the course you will be able to:
(1) Do semantic proofs and natural deduction in propositional and predicate logic.
(2) Do semantic proofs and natural deduction in modal logic and free logic.
(3) Do natural deduction and informal proofs in set theory. (4) Explain the nature of and do proofs in strong mathematical induction. (5) Explain the nature of recursively defined functions and sets.
(6) Explain basic properties and paradoxes of infinite sets and related concepts. (7) Explain the meaning and significance of un(soundness), (in)completeness and (un)decidability.
(8) Summarize the structure and implications of Gödel's first incompleteness theorem
Course RequirementsTests
There will be three inclass tests worth 25 points each. The third test occurs during the final exam period. It will be comprehensive and will be designed to take the entire period. If you perform better on the third test than on one of the previous two tests, the grade on the lowest of the two previous tests will be raised to the grade you received on the final. This is true even if the previous lowest grade is a zero due to missing the test.
Homework
There will be homework assigned for each class meeting after the first week. Homework is assigned at the What's Up link. Each homework will identify specific problems and/or questions that must be submitted at the beginning of class. You may not turn in homework if you do not come to class. Homework receives a grade between 0 and 1 inclusive. As there will be 28 homework assignments, you may accrue up to 28 points. However, your final grade is assigned on the basis of a 25 point maximum for homework. This means that you can miss 3 homeworks (and therefore be absent 3 times) and still accrue the maximum grade on homework. If you receive more than 25 points on homework it will count as extra credit. If no homework is assigned for the date of an exam, you will get homework credit for taking the exam.
Course evaluations There are two points of extra credit available for doing course evaluations at the end of the semester. This works as follows: The percentage of students in the class who complete the course evaluation will be multiplied by 2. The product will be added to every students point total. For example, if 80% of students do the evaluations then 1.6 points will be added to every student's final grade.
Grading
Including extra credit there are 110 points possible, but your grade is calculated on the basis of 100.
 Quantity  Value  Max Possible  Tests  3  25  75  Homework  28  1  28  Course evaluations  1  2  2  Total points possible    105  Total basis    100

Sample calculation for Logan 
 Tests  65  Homework  15  Course evaluations  1.4  Total points  81.4  Grade  B 
Final letter grades are assigned on a standard scale. 92% and above = A, 9091% = A, 8889% = B+, 82 87% = B, 8081% = B, etc. Fractional point totals are rounded up from .5 and down from < .5 You and only you are responsible for monitoring your performance in this course. Be sure to pay close attention to the drop and withdrawal deadlines in the second page of this document.
Late policyNo assignments may be submitted late. Under extreme documented circumstances you may arrange to take a test early.
Preparation Keep up in this course! Logic is a skill. Learning it is similar to learning math or a foreign language in that it is cumulative and that it requires you to work steadily. For the vast majority of students it is not possible to do well on logic tests by cramming.
Academic honestyYou are free and encouraged to study together outside of class. However, testing is non collaborative and subject to the CSUS academic honesty policy, which you may read at: Academic Honesty Policy & Procedures. Students caught cheating during any test will be failed in the course and referred to Student Affairs for disciplinary action.
Course materialsYou are not required to purchase any reading materials for this course. The primary text for this course is Logics, by John Nolt. An electronic copy will be available free on Blackboard. It is possible to rent or purchase used hard copies of this book on Amazon. All other materials will be provided online or in Blackboard. The material from the first 3 weeks of the semester will be drawn from the instructor's Philosophy 60 course, which uses the Schaum's Easy Outline of Logic as the primary text. This book is coauthored by John Nolt and employs the notation and proof procedures employed in Logics.
A note on systems and notationsSome of you will have learned introductory symbolic logic elsewhere, and will more than likely have learned different notations and slightly different systems of proof. It will be necessary for you to use the notations and proof procedures employed in this course. The first three weeks of the course is dedicated to review partly for this purpose.
Students with special needsStudents who have special learning or testing needs must
notify the instructor by the end of the second week of the semester.
Students who fall into this category must visit SSWD Lassen Hall 1008 (916)
2786955 with appropriate documentation. This is the link to the SacState SSWD page.
Communicating with instructorBy far the most effective means of communicating with the instructor outside of class is by email. Unless you send an email late at night, you will normally receive an answer within a few hours. Resend your email if you do not. When communicating with instructor by email, observe the guidelines at this link.
Caveat
Minor changes in dates, times and the schedule of
readings are subject to revision at the discretion of the instructor.

