Brian Lars Enden
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.
An introduction to an elementary formal system of deductive symbolic logic designed to facilitate study of certain processes of reasoning in an unambiguous way. The bulk of the course will involve constructing formal proofs within the system, but some time will be devoted to a consideration of the properties of the system itself. The main goal of the course is to increase our abilities to think abstractly and analytically, but along the way we will encounter questions about the applicability of deductive logic to such fields as mathematics, cognitive science, linguistics, natural science, social science, and of course philosophy.
Student learning goals
General method of instruction
Class assignments and grading