PHIL 312. Symbolic Logic

This course is designed to introduce students to formal languages and to the relation between logic and language.  Topics covered include:symbolization, validity, soundness, truth-tables, truth-connectives, formal proof, sentential logic, quantifiers, and predicate logic. 
Offered: Regularly
Credits: 3
Prerequisite: