The philosophy department offers several kinds of logic courses. At its most formal, logic involves studying the general properties of arguments and languages in much the same way as a mathematician studies an abstract system of numbers. At its least formal, logic is the study of arguments and the variety of mistakes people are prone to make in trying to defend their views.
- Philosophy 183 is a combination of formal and "informal" logic and probabilistic reasoning. It is taught in the lecture/discussion format, and uses an online application for homework assignments and exams. The lecture is taught by faculty with discussion sections led by graduate student instructors.
- Philosophy 296 is (despite its lower number) an honors version of Philosophy 303, providing a basic introduction to logic at a more exacting level. It is taught by faculty and does not divide into sections.
- Philosophy 303 (which counts toward the BS, MSA, QR/1 requirements) is the Department's basic introduction to formal or symbolic logic. It is taught by faculty, in a combination lecture/discussion format.
- PHIL 305 help us articulate and answer questions in a wide range of disciplines, including philosophy and all its subfields. Over the last century, for example, formal methods have been used to illuminate and sharpen questions about the nature of possibility, probability, and necessity; about the nature of meaning of natural languages; about the relationship between an omniscient God and human freedom; and about the power and limitations of mathematics and computers. This course focuses on methods that are commonly used in contemporary epistemology, ethics, metaphysics, philosophy of language, philosophy of mind, and philosophy of science.
Any of 296, 303, or 305 (but not 183) satisfy the logic requirement for the major. Logic requirements for the Department's minors may be found under Degree Programs.