PHIL 12 - Introduction to Logic

    Long Beach City College Summer 2001
    Mon, Tue, Wed, Thu: 8:00 a.m. - 11:10 a.m.
    Usually meeting in L135, the Multimedia Lab.
    Instructor: Brian W. Carver

    Syllabus

    Brian Carver's Virtual Office Hours!

Homework Problems

Chapters 1-2

    1.1-1.6, 1.8-1.10, 1.12-1.16
    2.1-2.27

Chapters 3-6

    3.1-3.3, 3.5-3.10, 3.12-3.16, 3.18, 3.20-3.23
    4.1-4.2, 4.4-4.7, 4.9, 4.12-4.18, 4.20-4.23, 4.26, 4.28-4.29
        4.24 may be done for extra credit, but it is not assigned.
    Read Chapter 5, but you may skip all of the exercises.
    6.1-6.16, 6.18-6.22*, 6.24-6.39**
    *Note: On 6.22 if the GradeGrinder says your proof is correct, I don't care if it mirrors the informal proof.
    **Note: On 6.24-6.27 while writing out an informal proof will help you, you do not have to turn any in on paper.
    6.32 contains a typographical error. The third premise contains an extra close parenthesis at the end. Scratch it out.
    See below for a corrected version of Exercise 6.39, or click the link above.
        6.40-6.42 may be done for extra credit, but they are not assigned.

Chapters 7-10

    7.1-7.8, 7.10-7.14, 7.18, 7.25-7.26
    8.2 Counter-examples only, 8.17-8.28, 8.35, 8.37, 8.44, 8.46-8.48, 8.50-8.53
        8.29, 8.30, 8.34, 8.36, 8.38, 8.45 & 8.49 may be done for extra credit, but they are not assigned.
    9.1-9.6, 9.8-9.9, 9.11-9.12, 9.14-9.18
    10.8, 10.22, 10.24-10.30

Corrected Exercise Files

    Exercise 6.39 (The last conjunct had the letters 'a' and 'c' reversed.)

Lecture Notes & Assignment Details

    Class 1: Monday, June 18, 2001
    Class 2: Tuesday, June 19, 2001
    Class 3: Wednesday, June 20, 2001
    Class 4: Thursday, June 21, 2001
    Class 5: Monday, June 25, 2001
    Class 6: Tuesday, June 26, 2001
    Class 7: Wednesday, June 27, 2001
    Class 8: Thursday, June 28, 2001
    Class 9: Monday, July 2, 2001
    Class 10: Tuesday, July 3, 2001
    Class 11: Thursday, July 5, 2001
    Class 12: Monday, July 9, 2001

Online Resources

    The Language Proof and Logic Homepage

Exam Study Guides & Results

    Exam #1 Study Guide
    Exam #1 Results
    Exam #2 Study Guide
    Exam #2 Results
    Exam #3 Study Guide

Educational and Other Resources

    Me. (The first place you should turn if you are having trouble in the course.)

Just for Fun

    Gottlob Frege: The Founder of Modern Logic