Argumentation and Computers: Tools for Arguing and Critical Thinking

On this page


Module code


Semester: 2


About the Module

This module is concerned with logic, arguing and critical thinking. Logic is the foundation of programming, mathematics and computer science. We will cover a history of logic and argumentation, including different styles of reasoning and how these are modelled in a computational context.

To account for these contexts, this module is split into three units which cover (i) logic, (ii)argument and critical analysis and (iii) computational tools for argumentation. The units work together to give students an understanding of classical logic and enable them to construct arguments and use computational tools that present their own position on a subject (argument construction) and critically evaluate (critical analysis) the arguments of another.

Credit Rating

There are 20 SCQF points available on this module.

Module Timetable

1A History of Logic and its Relation to Computer Science
2Propositional Logic
3Predicate Logic
4Reasoning in AI and Cognitive Science
5An Introduction to Argumentation
6Independent Study
7Identifying Arguments and their Structure
8Evaluating Arguments
9Complex Arguments
10Using the Computer to Support Argument
11 Close Analysis
12 Revision

Assessment and Coursework

Coursework counts for 50% of the final module mark.
The final degree exam 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.

TitleWeek GivenWeek DueEffort Expected (hours)Value (%)
Investigative project14 20
Close analysis with OVA18 10
Formal analysis111 20

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.