Argumentation and Computers: Tools for Arguing and Critical Thinking module (AC12003)

On this page


Module code


Semester: 2


About the Module

This module is concerned with logic, argumentation and critical thinking. Logic is the foundation of programming, mathematics and computer science, while argumentation plays an important role in artificial intelligence. We will cover a history of logic and argumentation, and their application, including different styles of reasoning and how these are modelled in a computational context.

The module is split into two parts: (i) logic, and (ii) argumentation, covering classical logic, argument analysis and evaluation, and the use of computational tools.

Credit Rating

There are 20 SCQF points available on this module.

Module Timetable

Week Subject
1 Introduction, overview and history
2 Propositional logic (1)
3 Propositional logic (2)
4 Predicate logic
5 Logical proofs and independence
6 Introduction to reasoning and argumentation in Artificial Intelligence
7 Argument analysis
8 Argument evaluation
9 Persuasive communication
10 Argument technology
11 Class test

Assessment and Coursework

Coursework counts for 50% of the final module mark.
The final class test counts for 50% of the final module mark.


Marking criteria are provided on My Dundee for all assignments so that you know what we are looking for when we are marking your coursework. Please ensure that you refer to these when completing assignments.

Title Week Given Week Due Effort Expected (hours) Value (%)
Formal assignment 1 5   25
Argumentation assignment 1 9   25

Resource List

All course material is available on My Dundee. This includes copies of lecture materials, practical exercises, and assignments. The reading list for this module can be accessed from My Dundee and provides recommended materials for completing the module.


This module is available on following courses: