PHIL 1150

Students will study the basic techniques of formal deductive logic. They will learn the semantics and syntax of two artificial languages-sentential logic (SL) and predicate logic (PL)-with emphasis given to the former. With the aid of the formal techniques learned in this course, students will gain insight into the nature of rational argument and sound reasoning.