Logic

Catalog description

This is an introductory course in formal logic. No prior knowledge of logic, mathematics or philosophy will be assumed. We will study a number of logical systems, and learn some methods for producing derivations and determining validity in these systems. We will also learn how to translate sentences and arguments from ordinary language into these systems, and examine some applications of logic to traditional philosophical problems. Prerequisite: None. Fulfillment: CORE AT; Humanities Introductory Courses (18-19 Survey Courses).