Module Details |
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module. |
Title | LOGIC | ||
Code | PHIL207 | ||
Coordinator |
Dr SK McLeod Philosophy Stephen.Mcleod@liverpool.ac.uk |
||
Year | CATS Level | Semester | CATS Value |
Session 2021-22 | Level 5 FHEQ | First Semester | 15 |
Aims |
|
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. |
Learning Outcomes |
|
(LO1) Students will be able to explain and apply the basic concepts of classical first-order logic. |
|
(LO2) Students will consolidate their skill in translating from English into first-order logic and vice versa. |
|
(LO3) Students will be able to construct proofs in natural deduction for valid sequents of first-order logic. |
|
(LO4) Students will be able to test sets of formulas for consistency using trees and to assess sequents of truth-functional logic and sequents of first-order logic for validity using trees. |
|
(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. |
Syllabus |
|
Lecture 1 - The Language of Truth-Functional Logic (TFL): Syntax & Translations |
Teaching and Learning Strategies |
|
In 2021-22, there will be no physical meetings for this module. (It is very likely that fewer than 20 students will be taking the module. It is not possible to conduct logic workshops in a socially distanced manner.) Instead, the module will be taught wholly online, using a mixture of synchronous and asynchronous methods. Teaching Method 1 - Worked Example Videos (Asynchronous) Teaching Method 3 - Online Workshops (Synchronous) Teaching Method 4 - Online Tutorials (synchronous) Teaching Method 5 - Summative Workshops (Asynchronous) Teaching Method 6 – Formative Quizzes (Asynchronous) |
Teaching Schedule |
Lectures | Seminars | Tutorials | Lab Practicals | Fieldwork Placement | Other | TOTAL | |
Study Hours |
11 |
11 10 |
32 | ||||
Timetable (if known) |
60 mins X 1 totaling 11
|
60 mins X 1 totaling 11
|
|||||
Private Study | 118 | ||||||
TOTAL HOURS | 150 |
Assessment |
||||||
EXAM | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Assessment 1 - Summative Worksheets. This is not an anonymous assessment. | 10 summative workshe | 100 | ||||
Assessment 2 - Formative. Quizzes. | Approx. 10 online fo | 0 |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. |