911±¬ÁÏÍø

XClose

UCL Module Catalogue

Home
Menu

Introduction to Logic 1 (PHIL0005)

Key information

Faculty
Faculty of Arts and Humanities
Teaching department
Philosophy
Credit value
15
Restrictions
N/A
Timetable

Alternative credit options

There are no alternative credit options available for this module.

Description

This is an elementary course in truth-functional logic. We will cover a range of topics, including symbolization, the syntax and semantics of the language of truth-functional logic, the construction of proofs, and logical properties such as consistency and entailment. You will learn how to symbolize English sentences in a formal language, analyze the structure of arguments, and construct precise arguments yourself. Our goal will be to help you become proficient in using formal methods to clarify and make precise logical relationships that are hard to understand otherwise, and to reason better, with greater clarity and precision.

Please note that the exam will take place in the final week of Term 1.

Philosophy Area A

Module deliveries for 2024/25 academic year

Intended teaching term: Term 1 ÌýÌýÌý Undergraduate (FHEQ Level 4)

Teaching and assessment

Mode of study
In person
Methods of assessment
100% Fixed-time remote activity
Mark scheme
Numeric Marks

Other information

Number of students on module in previous year
113
Module leader
Dr Andreas Ditter
Who to contact for more information
philosophy@ucl.ac.uk

Last updated

This module description was last updated on 8th April 2024.

Ìý