4credit(s) A survey of formal syntactic and semantic features of language, including topics such as sentential logic, predicate logic, axiomatic systems and set theory, and nonclassical extensions such as multivalued logics. Also listed as PHIL 212. Offered annually.
