Philosophy | Introductory symbolic logic
P250 | 3590 | Toribio-Mateas


M. Bergmann, J. Moor and J. Nelson, The Logic Book (third edition),
New York, McGraw-Hill Publishing Company, 1998.


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.


-	I have made exercise assignments for roughly every other
class meeting and shall present occasional quizzes.
-	In addition to these assignments there will be two one and a
half-hour exams. The exams will each cover materials presented in the
corresponding halves of the course. There will not be a final exam in
this course.


	Each exam will be of equal value in computing the course
grade. The exams will constitute 75% of the final grade; homework
exercises and quizzes, the remaining 25%. All tests will be announced
in advance.