General Info Syllabus Schedule Textbook Support Materials Grades

Note Generally, this class is taught spring semester every year.
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.