PY2010 Intermediate Logic

Academic year

2024 to 2025 Semester 1

Further information on which modules are specific to your programme.

Key module information

SCOTCAT credits

20

The Scottish Credit Accumulation and Transfer (SCOTCAT) system allows credits gained in Scotland to be transferred between institutions. The number of credits associated with a module gives an indication of the amount of learning effort required by the learner. European Credit Transfer System (ECTS) credits are half the value of SCOTCAT credits.

SCQF level

SCQF level 8

The Scottish Credit and Qualifications Framework (SCQF) provides an indication of the complexity of award qualifications and associated learning and operates on an ascending numeric scale from Levels 1-12 with SCQF Level 10 equating to a Scottish undergraduate Honours degree.

Planned timetable

2.00 pm - 3.00 pm Mon, Tue, Thu

This information is given as indicative. Timetable may change at short notice depending on room availability.

Module coordinator

Prof G A Restall

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

Module Staff

Team taught

This information is given as indicative. Staff involved in a module may change at short notice depending on availability and circumstances.

Module description

This module aims to further develop students' understanding of formal logic by the study of a broad array of systems of logic. The module covers classical, modal, intuitionistic, and other non-classical logics, looking at both propositional and quantified versions. Particular attention is paid to the difference between semantics and proof theory for such systems.

Relationship to other modules

Pre-requisites

BEFORE TAKING THIS MODULE YOU MUST PASS PY1012

Assessment pattern

50% Coursework; 50% exam

Re-assessment

3-hour Written Examination = 100%

Learning and teaching methods and delivery

Weekly contact

3 lectures and 1 tutorial. Optional weekly logic surgeries may also be available, based on demand.

Scheduled learning hours

39

The number of compulsory student:staff contact hours over the period of the module.

Guided independent study hours

161

The number of hours that students are expected to invest in independent study over the period of the module.

Intended learning outcomes

  • Construct rigorous proofs about the semantics of the most common systems of formal logic
  • Work within algorithmic proof systems for modal, quantified, intuitionistic, many-valued, and fuzzy logics
  • Critically analyse and evaluated the adequacy and philosophical motivations of these systems
  • Apply this knowledge to evaluate philosophical arguments, especially in debates within metaphysics, the philosophy of language, and the philosophy of mathematics