| 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 for assessing the validity of arguments formulated in those formal languages. |