Philosophy 135
Spring 2008
Introduction to Metalogic


Instructor

Time and Room

Office Hours

Office Hours for Exam Week

  • Tuesday, June 10, 4:00-5:00
  • Wednesday, June 11, 12:00-1:30 and 4:00-5:30
  • Thursday, June 12, 4:00-6:00
  • Friday, June 13, 1:00-3:00 and 3:30-5:00

    Grading

    Homework will be assigned weekly, and will be due by 5:00 PM on Wednesdays. Late homework will not be accepted.

    Midterm Exam

    The Midterm Exam will be an open-book, in-class exam.

    Final Exam

    The Final Exam will be a take-home exam. It will be given out in class on Wednesday, June 4, and it will be due by 5:00 PM on Friday, June 13.

    PDF FILE OF FINAL EXAM

    Prerequisite

    The official prerequisite is Philosophy 31. It is helpful to have also taken Philosophy 32. An equally good background would be provided by almost any upper division mathematics course.

    Text

    The only text will be course notes, which will distributed a few pages at a time as the quarter progresses. At any time after Wednesday, April 2, a PDF FILE OF THE COURSE NOTES that have been distributed so far will be posted.

    Homework Assignments

    1. Exercise 1.1. Due Wednesday, April 9.
    2. Exercises 1.5 and 1.6. Due Wednesday, April 16.
    3. Exercises 1.9 and 1.10. Due Wednesday, April 23.
    4. Exercises 2.1 and 2.3. Due Wednesday, April 30.
    5. Exercise 3.1. Due Friday, May 16, by 3:30 PM.
    6. Exercises 3.2 and 3.3. Due Wednesday, May 21.
    7. Exercises 3.5 and 3.6. Due Wednesday, May 28.
    8. Exercises 4.1, 4.2, 5.1, and 5.2. Due Wednesday, June 4 at the beginning of class.

    Content of Course

    In Philosophy 31 and 32, students are taught to use symbolic logic in various ways. In a metalogic course such this one, logic is studied rather than used.

    Logic has two main aspects:

    1. It is concerned with logical truth and, more generally with the relation we will call logical implication. This latter is the relation that holds between premises and a conclusion if the truth of the former guarantees, as a matter of logic, the truth of the latter.

    2. It is concerned with logical reasoning and deduction. Formal systems like that used in Philosophy 31 and 32 belong to this aspect of logic. Such systems give rules that specify what counts as a derivation or deduction of a conclusion from premises.

    These two aspects of logic are very different. In this course we will study both 1 and 2 for predicate logic (quantificational logic), and we will also study relations between 1 and 2. An example of such a relation is soundness of a formal deductive system. This relation holds if whenever a conclusion is derivable from some premises in the system then the premises logically imply the conclusion.

    We will first introduce a formal symbolic language and study its syntax. Then we will introduce models for this language, defining semantic notions such as truth. We will prove the important Compactness Theorem. Next we will introduce a system of formal deduction (derivation) and prove theorems about its properties. Finally we will study the relation between models and deduction, proving the fundamental Soundness and Completeness Theorems.

    As the outline just given indicates, content of the course is primarily mathematical. Moreover, it is mathematical in a different way from Philosophy 31 and 32. In those courses, the students have to learn techniques (for finding derivations, translations, etc.). In Philosophy 135, students have to master concepts and definitions, and they have to learn to produce informal proofs--as opposed to formal derivations.