Mathematical Logic - MATH97006
Aims
The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.
In addition to the material below, this level 7 (Masters) version of the module will have additional extension material for self-study. This will require a deeper understanding of the subject than the corresponding level 6 (Bachelors) module.
Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.
Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.
Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.
Role
Lecturer
Mathematical Logic - MATH97171
Aims
The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.
In addition to the material below, this level 7 (Masters) version of the module will have additional extension material for self-study. This will require a deeper understanding of the subject than the corresponding level 6 (Bachelors) module.
Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.
Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.
Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.
Role
Lecturer
Mathematical Logic - MATH96057
Aims
The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.
Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.
Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.
Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.
Role
Lecturer