Skip to Content


Last modified: 28 Jun 2018 10:27

Course Overview

What makes an argument convincing? What gives our language meaning? Are there limits to reason? What are the laws of thought? 

Formal logic has proved itself an exceptionally powerful tool in contemporary philosophy, computer science, psychology, linguistics and mathematics.  This course will provide an introduction to the tools of formal logic including: the assessment of arguments; the symbolic representation of language; and the abstract representation of meaning. It will then apply these tools to topics including: the Sorites paradox (philosophy); everyday reasoning (psychology); description logic (computer science); systematic translation (linguistics); and continuity (mathematics). Download course guide.

Course Details

Study Type Undergraduate Level 1
Session First Sub Session Credit Points 15 credits (7.5 ECTS credits)
Campus Old Aberdeen Sustained Study No
  • Dr Federico Luzzi

Qualification Prerequisites


What courses & programmes must have been taken before this course?

  • Any Undergraduate Programme (Studied)

What other courses must be taken with this course?


What courses cannot be taken with this course?


Are there a limited number of places available?


Course Description

Course Aims

This course provides an introduction to the elementary tools of formal logic as used in Philosophy, Computer Science, Psychology, Linguistics and Mathematics.

Main Learning Outcomes

Students undertaking the Logic, Language and Information will:
- Develop critical thinking skills that will allow them to understand how language and reasoning work. This will give them the
skills to better evaluate real world arguments in situations ranging from politics to medicine.
- Enhance their ability to clearly articulate flaws in arguments and reasoning practices. This provides students with the ability to
not only get to the truth, but also the ability to help others get there.
- Learn how to apply abstract logical approaches to a variety of applications in diverse areas of research. This will provide
students with the foundation to apply the skills they develop into new areas and the ability to use these skills in their lives more

Course Content

The underlying core of Logic, Language and Information will be a foundation in elementary propositional and predicate logic. This
will comprise six weeks of the course delivered in two three week phases. The remaining weeks will give students the opportunity
to apply the core skills in disciplines spread across the university.

In the core section, students will develop skills in elementary semantics, proof theory and translation. In the application sections, students will apply these skills to problems in Psychology, Philosophy, Computer Science, Linguistics and Mathematics.

Contact Teaching Time

Information on contact teaching time is available from the course guide.

Teaching Breakdown

More Information about Week Numbers

Details, including assessments, may be subject to change until 31 August 2023 for 1st half-session courses and 22 December 2023 for 2nd half-session courses.

Summative Assessments

1st Attempt

Students will complete three pieces of assessment:
1. Group assignment (40%): this will assess students? mastery of the basic core material from the first three weeks.
2. Application essay (30%): an essay on one of the first two application sections.
3. Final assignment (30%): a set of problems based on the final core sections and some short answers to questions relating to the final application sections.


The resit will consist of a 100% take home examination.

Formative Assessment

Students will complete exercises during tutorials and receive feedback on that work by the tutor and their peers.


For the Summative assessment, students will receive feedback within two weeks of submission. Particular effort will be made with the first piece of assessment to track students who could fall behind.

Course Learning Outcomes


Compatibility Mode

We have detected that you are have compatibility mode enabled or are using an old version of Internet Explorer. You either need to switch off compatibility mode for this site or upgrade your browser.