Logic's main concern is with the validity of arguments. The course
is an introduction to modes of logically assessing arguments making
as precise as possible the conditions under which they are
acceptable. Students will learn to identify, analyze and evaluate
arguments as expressed both in natural and formal languages. The aim
of the course regarding the formal approach ‹which constitutes the
core of the course‹ is to provide the student with a good working
knowledge of both sentential calculus and quantification theory ‹the
foundations upon which modern symbolic logic is built. Emphasis is
placed on the development of formal proof techniques.