PHL 2100 - Logic II (3)

When Offered: Spring
A study of some major systems of logic, including a formal study of truth functions and quantification. The notions of proof, theorem and axiom are defined and some theory of logic is included. At the discretion of the instructor, additional topics may be included (for example, the logic of relations, boolean algebra systems, modal logic, the logic of probability or inductive logic).