PHILOSOPHY 470 - INTERMEDIATE LOGIC
Class Meets T, Th 11:30-1:20      220 Loew Hall


Instructor                     Arthur Fine
Office Address              Savery M399
Telephone                     206-543-6496 (3-5855 -- Messages Only)
Email                           afine@uw.edu

Office Hours                 T, Th 1:30-2:20, and by appointment


        Links to Course Information
Syllabus

Homework

Reserve List

Logicians


LINK TO FINAL EXAM ANSWERS
Finals can be collected on Tuesday, March 19, in my office, 11:30-1:20.

Notes on Sets, Relations etc. (Weeks 1 and 2, PDF File)

Notes on Sentential Logic (PDF File)
Notes on Predicate Logic (PDF File)

Axiomatic Predicate Logic
Peano Postulates
Axiomatic Sentential Logic
Semantic Consequence
Consistency and The Basic Connection (PDF 1 p.) Derivability (pdf )
Completeness (Sentential Logic)
Interpretations and Models (PDF 2 pp.)
Nonstandard Arithmetic (PDF 2 pp.)
Decidability et al (pdf 2 pp.)
Consistency, Models & Consequences (pdf  2pp.)
Reliability & Extension Lemmas (PDF 2 pp.)
Identity (PDF 2 pp.)
Sketch of Gödel's Theorems