| Course: | LPS/Phil 30 |
| Name: | Introduction to Symbolic
Logic |
| Description: | The course is an introduction to formal logic. There are no prerequisites. Students will learn to use formal languages for propositional and quantificational logic to represent the logical structure of arguments expressed in English. They will also learn techniques, in particular the "tree method", for assessing the validity of arguments formulated in those formal languages. |