PHIL 2303 - Introduction to Formal Logic

Credits: 3

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.

Lecture: 3
Lab: 0
Note: Core Curriculum Course.