To introduce students to the concepts, language and methods of classical sentential logic. To introduce students to a language of classical quantificational logic.

(LO1) Students will be able to explain and apply the basic concepts of classical sentence logic.

(LO2) Students will be able to translate from English into sentence logic and vice versa.

(LO3) Students will be able to construct and use truth tables.

(LO4) Students will be able to construct proofs in natural deduction for sentence logic.

(LO5) Students will be able to translate from English into quantificational logic and vice versa.

(S1) Students will enhance their abilities in reading and understanding texts and in comprehending abstract material.

(S2) Students will develop their skills in thinking critically, analysing problems and analysing and assessing arguments.

(S3) Students will enhance their ability to marshal arguments and present them orally and in writing.

(S4) Students will develop their ability to work independently.

(S5) Students will develop their problem-solving skills.

(S6) Improving own learning and performance; personal action planning.

(S7) Communication; oral, written and visual; listening skills.

(S8) Communication oral, written and visual, following instructions, protocols and procedures.

(S9) Communication oral, written and visual, influencing skills and argumentation.

(S10) Personal attributes and qualities; resilience.

Logic and How to Study It
Introducing the Language of Sentence Logic (SL)
SL Syntax
SL Translation
Truth Tables and their Uses
SL Derivations
Introducing the Language of Quantificational Logic (QL)
QL Syntax
QL Translation

Teaching Method 1 - Lecture
Description: Lectures are tutor-led activities, offering a map of the syllabus and a framework for independent enquiry-led research. Students are encouraged to engage actively with lectures through, for example: (i) taking opportunities to ask questions during the session; (ii) reflecting on and responding to questions posed to them; (iii) producing questions and notes on issues for subsequent group discussion in workshops.

11 x 1 hour lectures, starting in Week 1.
Attendance Recorded: Yes

Teaching Method 2 - Workshop
Description: Workshops are split into three parts. The first is a half-hour feedback session on homework assigned each week in the lecture (see assessment). In the second, students will work through some problems as a group, in a discussion that is moderated, but not led, by the workshop tutor. Finally there will be a 30-minute in-class test which students take 'closed book' and individually, but in which th ey are able to ask the tutor for individual help. The first two components therefore serve as formative preparation for the third.

10 x 2 hour workshops, starting in Week 2.
Attendance Recorded: No