Course Description

Philosophy 212 Basic Logic

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

Antirequisites: Philosophy 131, 222a/b

3 hours.

(Huron)

Academic Calendar