PHIL 544 - Symbolic Logic

3 Credits

An exposition of the ideas and techniques of modern symbolic logic including several formal systems to distinguish between valid and invalid arguments and discussion of the foundations of arithmetic and set theory.
Meets with PHIL 344.