PhilosophyPHIL 116 Logic, Sets, and Functions

Introduction to basic set theory, recursive definitions, and mathematical induction. Provides a bridge between course 9 and courses 117 and 119. Strong emphasis on proving theorems and constructing proofs, both formal proofs and proofs in the customary, informal style used by mathematicians.


Prerequisite(s): PHIL 9; one from PHIL 11, PHIL 22, PHIL 23, PHIL 24, PHIL 80E, BME 80G/PHIL 80G, PHIL 80M, PHIL 80S; and PHIL 100A or PHIL 100B or PHIL 100C.