Philosophy | Elementary Logic
P150 | 3365 | 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, conditionals, 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 in that language.

Final grade for the course is calculated from class performance, group-work, four
to six homework assignments, three quizzes and a final exam.

The required text is a course packet written by the instructor that can be
purchased at TIS and other bookstores.