NOTE: Colorado College is responding to Coronavirus (COVID-19) developments. Summer Block A & B classes are being delivered via distance learning. Admission open houses and visits are canceled. See Coronavirus Updates & Resources here.
An introduction to the formal language of first-order logic, including the rules of syntax and semantics for sentential and predicate calculus, with a special emphasis on modes of quantification. Meets the Critical Perspectives: Quantitative Reasoning requirement.