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

Dr. Scott Kimbrough

Office Hours: M/W 1:00-2:00, T/R 1:30-2:30, or by appointment

Office: Council 121

Phone: 256-7118

- Grades are posted on Blackboard
- Final exam time: Monday,
April 28th 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%): An exam will be given on (approximately) the following dates: 2/5, 2/28, and 3/28. These dates are subject to change depending on class progress. The exams will be open book and open notes, but long enough that relying heavily on these materials will be counterproductive.*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/15 Arguments (1-16)
- 1/17 Truth-functions
(19-30)
- 1/20 MLK holiday (no
class)
- 1/22 Disjunctions
(31-34)
- 1/24 Material
conditionals (35-42)
- 1/27 Translation
practice (43-52)
- 1/29 Truth tables
(55-70)
- 1/31-2/3 Truth table
test for equivalence and validity (71-88)
- 2/5 First test
- 2/7-2/10 Implicational
rules (90-106)
- 2/12 Equivalence rules
(107-114)
- 2/14-2/17 Proofs with
equivalence rules (115-126)
- 2/19 Conditional proofs
(127-135)
- 2/21 Indirect proof
(136-142)
- 2/24 Zero premise
deductions (143-146)
- 2/26 Proof practice
- 2/28 Second test
- 3/3 Predicates and
quantifiers (169-180)
- 3/5 Translation (180-185)
- 3/7 Expansions (185-194)
- 3/10-3/14
Interpretations (chapter 8: 195-203)
- 3/24 Predicate logic
proofs (204-224)
- 3/26 class canceled
- 3/28 Quantifier Negation
(224-229)
- 3/31 Review for third
exam
- 4/2 Third exam
- 4/4-4/7 Relational
predicate logic translation (230-234)
- 4/9 Expansions and more
translation (234-244)
- 4/11-4/14 Relational
interpretations (244-246)
- 4/16-4/18 Relational
proofs (246-255)
- 4/21 Identity (291-298)
- 4/23 Philosophical
problems (309-316)
- 4/25 Final exam review

Return to Dr. Kimbrough's homepage.