Description
Begins Fall 2025
This course explores symbolic logic, focusing on translating natural language arguments into formal symbolic form and evaluating their validity. Topics include deductive reasoning, truth tables, formal proofs, quantifiers, and rules of inference. Alongside formal exercises, students will write essays analyzing arguments, explaining logical methods, and reflecting on broader applications, with an emphasis on clarity, structure, and revision.
This course explores symbolic logic, focusing on translating natural language arguments into formal symbolic form and evaluating their validity. Topics include deductive reasoning, truth tables, formal proofs, quantifiers, and rules of inference. Alongside formal exercises, students will write essays analyzing arguments, explaining logical methods, and reflecting on broader applications, with an emphasis on clarity, structure, and revision.
Career
Undergraduate