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.