General Info Syllabus Schedule Textbook Support Materials Grades

Note Generally, this class is taught spring semester every year.
  S 2013 -- Bartlett 201 TuTh 1:00-2:15
Prerequisite Philosophy 110 (Intro to Logic)
Brief
Description

This course continues the material of Philosophy 110 (Introduction to Logic).
Three logical systems are examined:

(1) Function Logic
(2) Identity Logic
(3) Description Logic

Work is equally divided between:

(a) translating English sentences into symbolic notation;
(b) constructing formal derivations.