Philosophy | Elementary Logic
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
The required text is a course packet written by the instructor that
can be purchased at TIS or the IU bookstore.