PHIL 4282 - Mathematical Logic

3 NS

P: PHIL 3580 or MATH major or consent of instructor. Focuses on rigorous proof of consistency and completeness of first order of predicate logic. Other topics may include proofs of adequacy of various sets of operators to express all truth functions, theory of identity, discussion of incompleteness of arithmetic, decidability and undecidability results, contrasts between objectual and substitutional quantification, and contrasts between natural deduction and axiomatic systems.