Additional Content
Unless otherwise indicated, a grade of C or higher is required for all prerequisite courses.
An introduction to symbolic logic with an emphasis on constructing proofs of deductive arguments using a system of Natural Deduction. Includes probabilistic reasoning. English statements and arguments will be translated into a formal language for analysis of logical properties. Conversely, formalized statements and arguments will be rendered in English. Logic and probability will be integrated in composing argumentative essays.