P250 | 3769 | Toribio

Logic's main concern is witih 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.