Philosophy
200: Introduction to Logic
Donna Bestock, instructor
SYLLABUS
| Spring
Semester 2002 3 units Transfers to UC, CSU Applies to CSU GE requirement C2 |
office
1110 office hrs Tues. 10:30-11:30 and by appt phone (650) 738-4155 E-mail Bestock@smccd.net |
|||
|
|
||||
Text: Kalish, Montague and Mar, Logic: Techniques of Formal Reasoning, second edition
Course content: This is a class in the techniques of elementary formal logic. We will emphasize translating sentences of English into the formal language and derivations in sentential logic and one-place predicate logic. In addition we will discuss some applications of this kind of formal reasoning.
Assignments and Grading:
Homework will be assigned on a regular basis 20% total
3 Discussion topic assignments 5% total
2 midterms 20% each
Final exam 35%
Course grade is based on your overall percentage in the class, with 90 —100% an A, 80-89% a B, 70-79% a C, 60-69% a D and under 60% an F.
All exams in this class are open book and open notes. You should plan to keep the handouts and returned homework organized and easy to access.
Attendance: I do not drop students for non-attendance. If you wish to withdraw from this class you must use the official drop procedure.
Academic integrity: You are encouraged to work together on homework assignments–it’s a great way to learn the material and skills. But you are forbidden to work together during exams. So use your study groups to become independent.
Schedule: This schedule is approximate. You should plan to have the reading completed before the class in which the material is first scheduled to be discussed. Always bring your textbook to class.
|
Dates
|
Topic
|
Assignment
|
|
Jan. 15, 2002 |
Introduction, natural and formal languages, types of logic |
|
|
Jan. 17 — Jan. 22 |
Symbolic sentences, translation |
Chapt. 1.1, 1.2, homework |
|
Jan. 24 — Jan. 29 |
Derivations and arguments |
Chapt. 1.3, 1.4, homework |
|
Jan. 31 |
Fallacies |
Chapt. 1.5, homework |
|
Feb. 5- Feb. 7 |
Theorems |
Chapt.1.6, homework |
|
Feb. 12 |
All of chapter 1 |
First Midterm |
|
Feb. 14- Feb. 26 |
Translation |
Chapt. 2.1, 2.2, homework |
|
Feb. 19 |
Discussion topic 1: Historical uses and abuses of logic |
Handouts, written assignment |
|
Feb. 21 |
No class |
|
|
Feb. 28 — March 7 |
Inference rules, derivations |
Chapt. 2.3, 2.4, homework |
|
March 12 - 14 |
Abbreviations, theorems |
Chapt. 2.5, 2.6, 2.7, homework |
|
March 19 |
Truth tables |
Chapt. 2.8, 2.9, homework |
|
March 21 |
Second Midterm |
|
|
April 2 |
Discussion topic 2: Artificial Intelligence |
Handouts, written assignment |
|
April 4 — April 11 |
Translation |
Chapt. 3.1-3.4, homework |
|
April 15 — April 25 |
Derivations |
Chapt. 3.5-3.8, homework |
|
April 23 |
No class |
|
|
April 30 — May 9 |
Discussion topic 3: circuit design |
Handouts, project |
|
May 2 — May 14 |
Fallacies |
Chapt. 3.9, homework |
|
May 16 |
Review |
|
|
May 21 |
FINAL EXAM |