Course Meeting Times
Lectures: 2 sessions / week, 1.5 hours / session
Course Description
This course provides an introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic will aim to understand what makes a correct argument good, that is, what is it about the structure of a correct argument that guarantees that, if the premises are all true, the conclusion will be true as well? Our subject (though, to be sure, we can only scratch the surface) will be truth and proof, and the connection between them.
Course Requirements
There will be a homework assignment every week or every other week, and a mandatory 3-hour, open-book final exam. The final will carry the same weight as three homework assignments.
Collaboration Policy
I encourage you to work together on the problems, but when you sit down to write up your final answers, do it by yourself, without looking at anyone else's work.
Course Calendar
The calendar below provides information on the course topics, which are taken from chapters in the course manuscript. The manuscript entitled Logic: The Art of Persuasion and the Science of Truth was written by the faculty member and is available in the readings section.
Chapter # | Topics |
---|---|
1 | Introduction: The Place of Logic Among the Sciences |
2 | Sets and Functions |
3 | Sentential Calculus Introduction |
4 | Sentential Calculus Semantics |
5 | Extension Theorem |
6 | State Descriptions, Disjunctive Normal Form, and Expressive Completeness |
7 | SC Substitutions |
8 | The Search-for-Counterexample Test for Validity |
9 | Compactness Theorem |
10 | SC Derivations |
11 | SC Completeness |
12 | Substitution of Equivalents |
13 | SC Translations |
14 | Trouble with "If"s |
15 | Monadic Predicate Calculus |
16 | Derivations in the Monadic Predicate Calculus |
17 | Completeness in the Monadic Predicate Calculus |
18 | Predicate Calculus |
19 | Predicate Calculus Derivations |
20 | Identity |
21 | Russell's Theory of Definite Descriptions |
22 | Sense and Reference |
23 | Function Signs |
24 | Sentential Calculus Revisited: Boolean Algebra |