This course is an introduction to symbolic logic at an accelerated
pace.  The student will be expected to master fundamental concepts of
logic, such as consequence and consistency, and to be able to apply
those concepts to cases both in ordinary English and in symbolic
notation.  The logic of sentence connectives, such as ‘or,’ ‘and’
and ‘if...then,’ will be discussed in detail, and a symbolic system
will be developed to study that logic with precision.  The concepts
of consequence and consistency, among others, will be given formal
definition within that system; this will aid the student’s mastery of
them.  That is only the beginning.  With the conceptual apparatus in
place and a mastery of sentential logic had, the course will proceed
to study a stronger logical system.  Predicate logic incorporates the
logic of general and existential statements, statements typically
beginning with “all” and “some.”  The student’s development of a
command of this robust logic is a primary aim of the course.

The student will be evaluated on the basis of regular, in-class
examinations.  Four will be administered over the period of this six
week summer session.  The amount of material covered in the course
will be great; the student should be prepared to study outside class
and should expect to learn a lot.