"Contrariwise," continued Tweedledee, "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic." --Lewis Carroll

Spring Semester, 2018

Dr. Scott Kimbrough

Office Hours: M 10:00-11:00, T 11:0-12:00 or by appointment

Office: Council 121

Phone: 256-7118

- Grades are posted on Blackboard
- First
exam: Wednesday, January 31
^{st} - Second
exam: Friday, February 23
^{rd} - Last
day to withdraw: Friday, March 23
^{rd} - Third
exam: Monday, March 26
^{th} - Final exam: Friday,
December 16th from 8:00-11:00am

Logic, according to Gottlob Frege, the founder of modern mathematical logic, is the science of thought. By this, he did not mean that logic studies how we actually do think -- psychology does that. Rather, he meant logic is the most general science, the study of rules of correct thinking that govern every discipline. No matter what you're thinking about, you have to obey the laws of logic if you want to avoid error. Following Frege, this course studies rules of formal deductive reasoning. We will study validity and invalidity of argument forms, consistency, and translation between the formal system and ordinary language. We will study truth-functional logic (the logic of sentences related by 'and', 'or', 'not', 'if...then', and 'if and only if') and predicate logic (the logic of sentences containing terms such as 'all', 'every', and 'some'). Frege’s logic, as refined by subsequent logicians, forms the theoretical basis of computer science.

Hausman, Kahane & Tidman.

Logic and Philosophy: A Modern Introduction, 12th Edition. Thomson Wadsworth Publishing. 2012.

*Attendance*: Since logic is a cumulative affair, it is critical to keep up: once behind, few students manage to recover. As such, attendance at lectures is strongly encouraged.*Homework*: The even numbered homework problems should be completed for each section. These are ungraded, as the answers are in the back of the book. Because practice is the only way to gain familiarity with the logical systems we will be studying -- and the only way to learn strategies for approaching various types of logic problems -- doing the homework is essential to getting a good grade even though it does not officially figure in your average.*Quizzes*(15%): Brief quizzes will be given most Wednesdays. The purpose of these quizzes is to insure that you are keeping up with the material. The quizzes cover terminology and problems similar to those in previously assigned homework. Your lowest quiz grade will not be counted towards your average.*Exams*(3 exams, each worth 20%): Exams cover material similar to the homework. The exams are open book and open notes, but long enough that relying heavily on these materials will be counterproductive. The dates for the exams are on the course schedule below, but are subject to change depending on class progress.*Final Exam*(25%): The final exam is comprehensive. As with the previous exams, books and notes are allowed.

- Your final grade will be
determined by rounding your average to the nearest whole number and using
the following table:
- A: 93 or higher
- A-: 90-92
- B+: 87-89
- B: 83-86
- B-: 800-82
- C+: 77-79
- C: 73-76
- C-: 700-72
- D+: 67-69
- D: 63-66
- D-: 600-62
- F: 59 or lower

- The
dates, course requirements, and other policies on this syllabus are
subject to change. Students will be notified of any changes in class. All
changes will be posted on the course web-site.

- Check back regularly, as
the exact dates are likely to change depending upon the rate of progress
of the class.
- 1/10 Arguments (1-16)
- 1/12 Truth-functions
(19-30)
- 1/15 MLK holiday
- 1/17 Disjunctions
(31-34)
- 1/19 Material
conditionals (35-42)
- 1/22-24 Translation
practice (43-52)
- 1/26 Truth tables
(55-70)
- 1/29-1/31 Truth table
test for equivalence and validity (71-88)
- 2/2 First exam
- 2/5-2/7 Implicational
rules (90-106)
- 2/9 Equivalence rules
(107-114)
- 2/12-2/14 Proofs with
equivalence rules (115-126)
- 2/16 Conditional proofs
(127-135)
- 2/19 Indirect proof
(136-142)
- 2/21 Zero premise
deductions (143-146)
- 2/23 Proof practice
- 2/26 Second exam
- 2/28-3/2 Predicates and
quantifiers (169-180)
- 3/5-3/7 Translation
(180-185)
- 3/9 Expansions (185-194)
- 3/19-23 Interpretations
(chapter 8: 195-203)
- 3/26-28 Predicate logic
proofs (204-224)
- 3/30 Quantifier Negation
(224-229)
- 4/2-4/4 Relational
predicate logic translation (230-234)
- 4/6 Third exam
- 4/9 Expansions and more
translation (234-244)
- 4/11 Relational
interpretations (244-246)
- 4/13 Class canceled for
Charter Day
- 4/16 Relational
interpretations
- 4/18 Relational proofs
(246-255)
- 4/20 Identity (291-298)
- 4/27 8:00-11:00am Final
exam

Return to Dr. Kimbrough's homepage.