PHIL 203: Symbolic Logic (XC)

Course Description

An examination of the formal characteristics of deductive inference and deductive systems. Particular attention will be given to truth functions, general quantification theory and the scope and limits of formal logic (including cultural, historical, and philosophical contexts and developments).