"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, 2015

Dr. Scott Kimbrough

Office Hours: M/W 1:00-2:00, T 11:00-12:00, or by appointment

Office: Council 121

Phone: 256-7118

- Grades are posted on Blackboard
- First
exam: Wednesday, January 28
^{th} - Second
exam: Friday, February 20
^{th} - Third
exam: Friday, March 13
^{th} - Last day to withdraw: Friday, March 13th
- Spring break: Monday, March
16
^{th}to Friday, March 20^{th} - Final exam: Monday,
April 20th from 12:00-3:00pm

Logic, according to Gottlob Frege, the founder of modern symbolic 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').

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/7 Arguments (1-16)
- 1/9 Truth-functions
(19-30)
- 1/12 Disjunctions
(31-34)
- 1/14 Material
conditionals (35-42)
- 1/16 Translation
practice (43-52)
- 1/19 MLK holiday (no
class)
- 1/21 Truth tables
(55-70)
- 1/23-1/26 Truth table
test for equivalence and validity (71-88)
- 1/28 First exam
- 1/30-2/2 Implicational
rules (90-106)
- 2/4 Equivalence rules
(107-114)
- 2/6-2/9 Proofs with
equivalence rules (115-126)
- 2/11 Conditional proofs
(127-135)
- 2/13 Indirect proof
(136-142)
- 2/16 Zero premise
deductions (143-146)
- 2/18 Proof practice
- 2/20 Second exam
- 2/23 Predicates and
quantifiers (169-180)
- 2/25 Translation (180-185)
- 2/27 Expansions
(185-194)
- 3/2-3/4 Interpretations
(chapter 8: 195-203)
- 3/6 Predicate logic
proofs (204-224)
- 3/9 Quantifier Negation
(224-229)
- 3/11 Review for third
exam
- 3/13 Third exam
- 3/16-3/20 Spring break
- 3/23-3/25 Relational
predicate logic translation (230-234)
- 3/27 Expansions and more
translation (234-244)
- 3/30-4/3 Relational
interpretations (244-246)
- 4/6-4/8 Relational
proofs (246-255)
- 4/10 Identity (291-298)
- 4/13 Higher order logics
and limitations of predicate logic (303-9)
- 4/15 Philosophical
problems (309-316)
- 4/17 Final exam review

Return to Dr. Kimbrough's homepage.