Arthur I Fine
Elementary symbolic logic. The development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments.
Beginning course in deductive logic, with an emphasis on developing skills in reasoning. We will cover the first three chapters of the text, and part of chapter four, with some additional material from the lectures. TEXT: Logic: Techniques of Formal Reasoning, Kalish, Montague and Mar
Student learning goals
General method of instruction
There are no prerequisites except for a commitment to work steadily. Suitable for nonmajors. No prerequisites.
Class assignments and grading