Symbolic Logic

Course Type: 
Undergraduate
Course Prefix: 
PHI
Course Number: 
380
Credits: 
3 sem. hrs.

This course in contemporary deductive logic covers the propositional and first order predicate calculus. Translation and proofs of arguments encountered in natural language are emphasized. The concepts of completeness and soundness, as well as other central theorems in metalogic, will be introduced. Familiarity with a formal notational system such as mathematics, music, or a foreign language is desirable.