Introduction to Mathematical Logic (PHIL 155, Section 003)

This course is an introduction to symbolic logic.  Its central concept is that of a “valid deductive argument,” that is, an argument whose conclusion strictly follows from its premises.  We shall gradually construct a formal language in which argument patterns can be represented and systematically tested for validity.  Students will learn how to use the system to devise proofs.

Besides its use in philosophy, this skill is useful for the LSAT and GREs, and more generally as a mental discipline.

William Lycan’s webpage