Min Units: 3 Max Units: 3 An introduction to symbolic logic. Topics will include systems for proving logical propositions, the interpretation of symbolic systems, and the relationship between symbolic and natural languages. Consideration will be given to the applications of symbolic logic to problems in philosophy, mathematics, computer science, and the natural sciences. (U) Occasionally
