Mathematical Logic and Model Theory

3 Units

Propositional calculus and quantification theory; consistency and completeness theorems; Gödel incompleteness results and their philosophical significance; introduction to basic concepts of model theory; problems of formulation of arguments in philosophy and the sciences. Offered as PHIL 306 , MATH 406 and PHIL 406 .