PHL232 — Logic
This course gives you a background in both informal and formal logic. Informal logic, which is derived from everyday types of discussions and arguments, is dealt with first. Topics included are the nature of arguments in general, statistical arguments, and fallacies (bad arguments). Formal logic involves dealing with arguments in an artificial language and is the ancestor of digital computers and every computer programming language. You will learn how to manipulate the artificial language and construct relatively simple proofs.