¹û¶³Ó°Ôº

XClose

¹û¶³Ó°Ôº Module Catalogue

Home
Menu

Intermediate Logic (PHIL0025)

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.

Description

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.

Ìý