| Course: | LPS/Phil 104 |
| Name: | Introduction to Logic |
| Description: | An introduction to the concepts, methods, and tools of modern symbolic logic. Emphasis is on the notion of a valid argument, analyzed through the search for a formal proof or the construction of a counter-example. The course is heavily computer-aided: students will familiarize themselves with such award-winning logic packages as "Tarski", "Fitch", and the notorious "GradeCruncher". |