PHIL 2420
Introduction to Symbolic Logic
Course Description
Introduces the concepts and techniques of modern formal logic, including both sentential and quantifier logic, as well as proof, interpretation, translation, and validity. For more details on this class, please visit the department website at http://www.virginia.edu/philosophy/.