PHL 2440 MODERN LOGIC
This is a basic course in modern, formal and informal logic. The initial focus is on the application of Boolean operators, conditional statements, and identify in proofs related to sentential logic. These concepts are fundamental in a variety of contexts including computer applications. The course will also example predicate logic, which is the basis of object-oriented programming languages. The course will also examine inductive logic and other more recent advances in logic such as many-valued logics or electronic technology, e.g., thinking machines.
Prerequisite
3 credits completed in Philosophy or
MTH 1400 or placement in MTH 1500 or higher