Intermediate Logic

Continuation of PHIL 110. Three new logical systems examined: 1) Function Logic, 2) Identity Logic, 3) Description Logic. Work divided between translating English sentences into symbolic notation and constructing formal derivations. Prerequisite: PHIL 110 or consent of instructor.

Hnr Indstu In Phil

This is a stand-alone independent study designed by the student and faculty sponsor that involves frequent interaction between instructor and student. Qualitative and quantitative enrichment must be evident on the proposed contract before consent is given to undertake the study.
Subscribe to