Oct 23, 2020  
2018-2019 Undergraduate Catalog 
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

PHIL 4282 - Mathematical Logic


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.