PHIL
12: Introduction to Logic
Spring 2003
Section #4799
Time: Wed. 6:00 p.m. - 8:45 p.m.
Locations: M219 and Multimedia Lab L135
Instructor: Brian Carver
Email: bwcarver at earthlink dot net
Course Web Page: http://home.earthlink.net/~bwcarver/
REQUIRED TEXTS: Language,
Proof, and Logic. Barwise, Jon & Etchemendy, John. (2002) ISBN:
157586374X
Note: Do NOT buy a used copy or you will be unable to use the included
software.
COURSE REQUIREMENTS:
(1) Homework Assignments (20%): Due regularly.
(2) Exam #1 on Chapters 1-2 (20%): Wednesday, February 5.
(3) Exam #2 on Chapters 3-6 (20%): Wednesday, March 5.
(4) Exam #3 on Chapters 6-8 (20%): Wednesday, April 30.
(5) Exam #4 on Chapters 9-10 (20%): Final Exam Period.*
Exams will contain problems similar to those given for homework and
those done in class.
Note: Students should be prepared to show picture identification on all
of the exam dates.
*The fourth exam will be the same format and length as all prior exams,
but the entire exam period will be available. Students will be
allowed to use the exam period to retake any or all prior exams.
Retakes will contain different questions, but have the same format as
prior exams. That means that a well-prepared student who made
excellent use of the time allotted could conceivably take all four
exams during the final exam period. Also, while anyone may retake
any exam, if you turn it in to me, I will count the score from your
second attempt only.
Make-up Work: Late homework is not accepted. Make-up exams will
not be given. You may take any exams you miss during the final
exam period. No work of any kind will be accepted after the final
exam date.
Attendance: Attendance is expected. Quality class
participation and an excellent attendance record may be used to resolve
borderline cases.
Drop Policy: The college has determined that the last day to drop
without a "W" is January 25 and that the last day to drop with a "W" is
April 18. I will only add students who are present on the first
day of class, and only if space permits.
Academic Honesty: I assume you are familiar with the College's policies
on Academic Honesty. I consider it my responsibility in cases of
academic dishonesty to respond with the most severe penalty.
Students with disabilities: Students with disabilities who may need
accommodations for any sort of disability are invited to make an
appointment to see me.
Schedule:
Class 1: (1/15 Wed) 6:00-7:15 p.m.
Introduction.
7:30-8:45 p.m. Chapter 1. Atomic Sentences.
Class 2: (1/22 Wed) 6:00-7:15 p.m. Learn
Software in L135.
7:30-8:45 p.m. Begin Chapter 2. The Logic of Atomic Sentences.
Class 3: (1/29 Wed) 6:00-7:15 p.m. Finish
Chapter 2.
7:30-8:45 p.m. Review Chapters 1-2.
Class 4: (2/05 Wed) 6:00-7:15 p.m. Exam #1 on
Chapters 1-2 in M219.
7:30-8:45 p.m. Begin Chapter 3. The Boolean Connectives.
Class 5: (2/12 Wed) 6:00-7:15 p.m. Finish
Chapter 3
7:30-8:45 p.m. Begin Chapter 4. The Logic of Boolean Connectives.
Class 6: (2/19 Wed) 6:00-7:15 p.m. Finish
Chapter 4.
7:30-8:45 p.m. Chapter 5. Methods of Proof for Boolean Logic.
Class 7: (2/26 Wed) 6:00-7:15 p.m. Begin
Chapter 6. Formal Proofs and Boolean Logic.
7:30-8:45 p.m. Chapter 6.
Class 8: (3/05 Wed) 6:00-7:15 p.m. Review
Chapters 3-5 in M219.
7:30-8:45 p.m. Exam #2 on Chapters 3-5 in M219.
Class 9: (3/12 Wed) 6:00-7:15 p.m. Chapter 6.
7:30-8:45 p.m. Chapter 6.
Class 10: (3/19 Wed) 6:00-7:15 p.m. Finish
Chapter 6.
7:30-8:45 p.m. Begin Chapter 7. Conditionals.
March 26: No Class
Class 11: (4/02 Wed) 6:00-7:15 p.m. Chapter 7.
7:30-8:45 p.m. Finish Chapter 7.
Class 12: (4/09 Wed) 6:00-7:15 p.m. Begin
Chapter 8. The Logic of Conditionals.
7:30-8:45 p.m. Chapter 8.
Class 13: (4/16 Wed) 6:00-7:15 p.m. Finish
Chapter 8.
7:30-8:45 p.m. Review Chapters 6-8
April 23: No Class
Class 14: (4/30 Wed) 6:00-7:15 p.m. Exam #3 on
Chapters 6-8 in M219.
7:30-8:45 p.m. Begin Chapter 9. Introduction to Quantification.
Class 15: (5/07 Wed) 6:00-7:15 p.m. Finish
Chapter 9.
7:30-8:45 p.m. Begin Chapter 10. The Logic of Quantifiers.
Class 16: (5/14 Wed) 6:00-7:15 p.m. Finish Chapter
10.
7:30-8:45 p.m. Review Chapters 9-10.
Final Exam Period: Exam #4 on Chapters 9-10 in M219.