Key information
- Faculty
- Faculty of Arts and Humanities
- Teaching department
- Philosophy
- Credit value
- 15
- Restrictions
-
Previously passed Introduction to Logic modules PHIL0004 and/or PHIL0005
- Timetable
-
Alternative credit options
There are no alternative credit options available for this module.
The purpose of this module is to present basic methods and results concerning first-order logic. The emphasis is on the practical skill of formulating and proving results about logical systems. Students are introduced to basic set theory, enumerability and non-enumerability, isomorphisms and cardinality of models, the Compactness and Löwenheim-Skolem Theorems, inexpressibility results, soundness and completeness results.
Philosophy Area A
Module deliveries for 2024/25 academic year
Intended teaching term:
Term 1 ÌýÌýÌý
Postgraduate (FHEQ Level 7)
Teaching and assessment
- Mode of study
- In person
- Methods of assessment
-
100%
Coursework
- Mark scheme
-
Pass/Fail
Other information
- Number of students on module in previous year
-
0
- Who to contact for more information
- philosophy@ucl.ac.uk
Intended teaching term:
Term 1 ÌýÌýÌý
Postgraduate (FHEQ Level 7)
Teaching and assessment
- Mode of study
- In person
- Methods of assessment
-
100%
Coursework
- Mark scheme
-
Numeric Marks
Other information
- Number of students on module in previous year
-
3
- Who to contact for more information
- philosophy@ucl.ac.uk
Intended teaching term:
Term 1 ÌýÌýÌý
Undergraduate (FHEQ Level 6)
Teaching and assessment
- Mode of study
- In person
- Methods of assessment
-
100%
Coursework
- Mark scheme
-
Numeric Marks
Other information
- Number of students on module in previous year
-
22
- Who to contact for more information
- philosophy@ucl.ac.uk
Last updated
This module description was last updated on 19th August 2024.
Ìý