Academic Catalog

HPL 442 Logic

An examination of the methods and techniques of formal logic, including the history of the discipline from Aristotle through Leibniz, Frege, Russell, Quine, and others.

Credits

3

Prerequisite

HPL 111 or HPL 112