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
Lectures provide an overview of the concepts and methods integral to the successful study of logic. They provide the opportunity for interaction with the lecturer.

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

Teaching Method 2 - Workshop
Workshops are orientated around the summative coursework. They are fully interactive.

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

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         
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.