Logic Syllabus Spring 2016 Dr.
H. E. Baber
* No make-ups for quizzes. Exceptions:
By USD policy, students involved in out of town university athletic or
religious events on quiz dates with appropriate documentation may make
special arrangements. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Logic
Schedule (subject to
revision) |
||||||||||||||
|
|
||||||||||||||
|
|
|
Tuesday |
Thursday |
|
||||||||||
26-Jan |
28-Jan |
A Prelude to Logic, Ch 0:
Fashionable Nonsense |
A Prelude to Logic, Ch 1:
Logical Possibility, Logical Possibility |
|
|||||||||||
2-Feb |
4-Feb |
A Prelude to Logic, Ch 2:
Language |
Quiz1 Perception and the External world |
|
|||||||||||
9-Feb |
11-Feb |
A Prelude to Logic, Ch 4:
Conceptual Illusions. Take the IAT test online before this class! |
Quiz 2 |
|
|||||||||||
16-Feb |
18-Feb |
A Prelude to Logic, Ch 6: Knowledge, |
Quiz 3 |
|
|||||||||||
23-Feb |
25-Feb |
A Prelude to Logic,
Ch 8: Arguments, Arguments, &
Conditionals |
Quiz 4 |
|
|||||||||||
1-Mar |
3-Mar |
Truth Functions and Truth Tables. Hurley 6.2: truth
tables for the connectives. |
Quiz 5 Truth Functions and Truth Tables, contÕd, Hurley 6.3-6.5 |
|
|||||||||||
8-Mar |
10-Mar |
Truth Trees (Additional material on Truth Trees
is at the Hurley textbook site) |
Quiz 6 |
|
|||||||||||
15-Mar |
17-Mar |
Midterm
Review |
Midterm
Test |
|
|||||||||||
22-Mar |
24-Mar |
Spring
Break: |
No Classes |
|
|||||||||||
29-Mar |
31-Mar |
Hurley 7.1: Introduction to
Natural Deduction. Proofs using the first 4 Rules of Inference |
Quiz 7 |
|
|||||||||||
5-Apr |
7-Apr |
Hurley 7.3: Logical
Equivalence. More proofs. |
Quiz 8 |
|
|||||||||||
12-Apr |
14-Apr |
Hurley 7.5: Conditional Proof |
Quiz 9 Hurley
7.6: Indirect Proof
|
|
|||||||||||
19-Apr |
21-Apr |
Hurley 7.7: Proving Tautologies |
Quiz 10 Introduction to Predicate Logic |
|
|||||||||||
26-Apr |
28-Apr |
Predicate
Logic: Hurley 8.1, 8.6 on translation; Hurley 8.3 CQ rules. May be replaced
with online material. |
Quiz
11 |
|
|||||||||||
3-May |
5-May |
Hurley
8.7: Identity and Definite Descriptions. May be replaced with online
material. |
Exam
Review |
|
|||||||||||
|
|||||||||||||||
Final
Exams: 9:15 Section Thu May
12: 8:00 am – 10:00 am C
112
10:45
Section Tue
May 17: 11:00 am – 1:00 pm C
112