Summer 2014 Session D
|12A||Introduction to Logic||Nowak||TuWTh 1-3:30||20 Wheeler|
This is an elementary course on symbolic logic. We will cover a range of topics including symbolization, truth tables, the syntax and semantics of basic formal languages, and the construction of proofs. The course is a requirement for philosophy majors, but will be useful to anyone interested in the principles which underlie sound reasoning.