| Course: | LPS 104;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".
|