Michigan State University
Michigan State University
Department of Philosophy
PHL 330 Formal Reasoning FS 2019
Home > Courses > Course Descriptions > PHL 330 Formal Reasoning FS 2019


An introduction to the techniques of formal logic, including translation and derivation construction, up to and including the identity operator in first order predicate logic.

Instructor: Ted Richards

Other Relevant Majors: Theoretical Mathematics, Technical Writing

Possible Texts: Essentials of Symbolic Logic (3rd edition) by R. L. Simpson