P150 | 3580 | Savion

This elementary course in logic is concerned with (1) Basic notions of the theory of reasoning, such as correctness of inference, deductive and inductive evaluations of arguments, soundness, c onditionals, truth-functionality; (2) Rigorous methods for discerning correct from incorrect reasoning, such as truth-tables and natural deduction. The primary subject of the course is Propositional Logic; the formal language, translations from English to symbolic forms, and formal demonstrations (proofs) of validity of arguments. Final grade for the course is calculated from class performance, group-work, four to six homework assignments, two quizzes and a final exam. The required text is a course packet written by the instructor that can be purchased at TIS or the IU bookstore.