Course Description

Philosophy 212 Basic Logic

A study of sentential and predicated logic, to train students to use procedures and systems (trees, natural deducation, axiomatic systems) for determining logical properties of sentences, sets of sentences, and to give students an understanding of syntatctic and semantic metatheoretical concepts and results relevant to those procedures and systems.

Antirequisites: Philosophy 131, 222a/b

3 hours.

(Huron)

Academic Calendar