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
MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131
Phone: (505) 277-8900
Fax: (505) 277-6809