2009-2010 CLA Catalog
Quick Links
Jump to a Discipline
Jump to a Specific Course
Search the Catalog
Course Listings
Philosophy
PHIL 140 (QA) Symbolic Logic (1)
The construction of a formal system including a truth-functional and a predicate calculus. Rigorous reasoning about the properties of such a formal system. A discussion of some of the philosophical problems which arise from a consideration of this system.
General Education Requirement Fulfillment: Quantitative and Analytical Reasoning
- Offering: Every semester
- Instructor: Staff