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 | INTRODUCTION TO LOGIC | ||
Code | PHIL127 | ||
Coordinator |
Dr SK McLeod Philosophy Stephen.Mcleod@liverpool.ac.uk |
||
Year | CATS Level | Semester | CATS Value |
Session 2022-23 | Level 4 FHEQ | Second Semester | 15 |
Aims |
|
To introduce students to the concepts, language and methods of classical truth-functional logic. To introduce students to a language of classical first-order logic. |
Learning Outcomes |
|
(LO1) Students will be able to explain and apply the basic concepts of classical truth-functional logic. |
|
(LO2) Students will be able to translate from English into truth-functional 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 truth-functional logic. |
|
(LO5) Students will be able to translate from English into first-order 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. |
Syllabus |
|
Logic and How to Study It Key Notions of Logic Truth-Functional Logic (TFL): Introduction TFL: Truth Tables TFL: Proof in Natural Deduction First-Order Logic: Introduction |
Teaching and Learning Strategies |
|
Teaching Method 1 - Lecture 11 x 1 hour lectures, starting in Week 1. Teaching Method 2 - Workshop 10 x 2 hour workshops, starting in Week 2. Teaching Method 3 – Online Support For each week, there is: (i) around an hour of video content that focuses on worked examples; (ii) a formative quiz that takes about 10 minutes to complete. When covering proof in natural deduction, staff and students will make extensive use of an online proof editor/checker. Accordingly, students will be asked to bring internet-enabled devices to lectures and workshops class. The majority of teaching will be delivered face to face on campus. Online deli very will be used to complement the on campus delivery and where technology affords a better learning experience. |
Teaching Schedule |
Lectures | Seminars | Tutorials | Lab Practicals | Fieldwork Placement | Other | TOTAL | |
Study Hours |
11 |
20 |
31 | ||||
Timetable (if known) | |||||||
Private Study | 119 | ||||||
TOTAL HOURS | 150 |
Assessment |
||||||
EXAM | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Assessment 3 - In person examination. There is a resit opportunity. This is an anonymous assessment. | 120 | 40 | ||||
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Assessment 1 –Online Quizzes. Administered online via Canvas. This is an anonymous assessment. There is no resit opportunity | 110 | 0 | ||||
Assessment 2 - Coursework. There is a resit opportunity. This is an anonymous assessment. | 20 | 60 |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. |