Showing 1 results
View the current catalog, see course descriptions and view the archive of past catalogs.
Introduction to Formal Logic | PHIL | 2303
An introduction to symbolic logic, focusing on both propositional and predicate logic, emphasizing the rules of translating language into symbols, the rules of inference and replacement, and the mechanism of reasoning used by computers. Core Curriculum Course.