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/.
Sort by "All" in the top right to see previous semesters.