Symbolic Logic

PHIL 356 (4)

(Also offered as MATH 356)

This is a first course in logical theory. Its primary goal is to study the notion of logical entailment and related concepts, such as consistency and contingency. Formal systems are developed to analyze these notions rigorously. (B)



Prerequisites / Corequisites


Course Search:




Keyword Search:

Office of the Registrar

MSC 11 6325
1 University of New Mexico
Albuquerque, NM 87131

Phone: (505) 277-8900
Fax: (505) 277-6809