Note Generally, this class is taught spring semester every year.
  Bartlett 206 TuTh 9:30-10:45
Prerequisite Philosophy 110 (Intro to Logic)

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.