Course Description

Philosophy 212 Basic Logic

A study of sentential and predicate logic designed 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.
Main Campus and Huron


Academic Calendar
[Table of Contents] [Index]
[Courses by Subject] [Courses by Name] [Awards by Category] [Awards by Name] [Calendar Search]