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, 2252W/X. Prerequisite(s): Corequisite(s): Pre-or Corequisite(s): Extra Information: 2 hours, 1.0 course. back to top
