PHIL 5440 - Symbolic Logic

3 Credits (Minimum) 3 Credits (Maximum)

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 3440.