Introduction to Logic
Introduction to syllogistic or classical logic, symbolic and inductive logic. Emphasis on the rules of syllogism, immediate inferences, propositional functions, classes, truth tables, Venn diagrams; the use of analogy, generalization, the verification of hypotheses, and scientific method.

Symbolic Logic

The structure and properties of modal systems; the theory of propositional and relational logic, and related topics.