Western University Academic Calendar. - 2020ARCHIVE
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.