| Course: | LPS 30/Philos 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. For more information, see the course website. Note: The course will be offered twice this year (2004-2005) -- in the Spring quarter as well as the Winter quarter. |