Modern formal logic including argument structure, propositional logic and elementary quantification. Applications to everyday reasoning and to computer "thinking" are considered, along with related issues in semantics and the philosophy of logic. Intended primarily for students not planning further studies in Philosophy or Logic.

Antirequisite(s): Philosophy 2250, Philosophy 2252W/X, Computer Science 2209A/B.

Extra Information: 2 hours.