To introduce students to the language and methods of classical quantificational logic.

To enable students to use trees for both sentence logic and quantificational logic.

To relate quantificational logic to the philosophy of language.

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

(LO2) Students will consolidate their skill in translating from English into quantificational logic and vice versa.

(LO3) Students will be able to construct proofs in natural deduction for valid sequents of quantificational logic.

(LO4) Students will be able to test sets of formulas for consistency using trees and to assess sequents of sentence logic and sequents of quantificational logic for validity using trees.

(LO5) Students will be able to explain Russell's theory of definite descriptions and formally to represent sentences that use definite descriptions in a Russellian manner using the notation of quantificational logic.

(LO6) Students will be able to define, both formally and informally, some formal properties of relations i.e., reflexivity, symmetry, transitivity and related properties and to represent these properties using diagrams.

(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 identify the issues that underlie debates.

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

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

(S6) Students will develop their problem solving skills.

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

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

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

(S10) Personal attributes and qualities; resilience.

Lecture 1 - Review of Sentence Logic (SL)
Lecture 2 - Review of Quantificational Logic (QL): Syntax & Translation
Lecture 3 - Identity and Definite Descriptions
Lecture 4 - Sets, Domains & Interpretations
Lecture 5 - Derivations in QL: Rules for the Quantifiers
Lecture 6 - Derivations in QL: Identity & Strategy
Lecture 7 - Consistency Trees for SL
Lecture 8 - Consistency Trees for SL (contd)
Lecture 9 - Consistency Trees for QL
Lecture 10 - Consistency Trees for QL (contd)
Lecture 11 - The Logic of Relations

Teaching Method 1 - Lecture
Description: 1 x 1 hour lecture per week. Lectures explain the concepts and methods central to classical quantificational logic. The supporting notes include exercises. Solutions to selected exercises are posted to VITAL. Students are encouraged to engage actively with lectures by studying the notes, which are published in full at the start of the module, in advance, and by attempting the associated practical exercises in both the notes and the textbook, also in advance. They are also encouraged to ask questions in class. Students may bring their solutions to lecture or textbook exercises to staff feedback and advice hours for checking.
Attendance Recorded: No

Teaching Method 2 - Workshop
Description: 10 x 1 hour workshops, starting in Week 2. In the workshops, students do further exercises similar to those included in the lecture notes and textbook. Tutors circulate around the room, helping the students with their work. This offers opp ortunities for applied learning and formative feedback as tutors respond to questions and offer guidance and feedback.
Attendance Recorded: Yes