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 RJH Davnall
Philosophy
R.Davnall@liverpool.ac.uk
Year CATS Level Semester CATS Value
Session 2018-19 Level 4 FHEQ Second Semester 15

Aims

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


Learning Outcomes

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


Syllabus

 

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 and Learning Strategies

Teaching Method 1 - Lecture
Description: 11 x 1 hour lectures, starting in Week 1.
Attendance Recorded: Yes

Teaching Method 2 - Practical
Description: 10 x 2 hour workshops, starting in Week 2.
Attendance Recorded: Yes

Teaching Method 3 - Assessment
Description: Examination.
Attendance Recorded: Yes


Teaching Schedule

  Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other TOTAL
Study Hours 11

        20

2

33
Timetable (if known)              
Private Study 117
TOTAL HOURS 150

Assessment

EXAM Duration Timing
(Semester)
% of
final
mark
Resit/resubmission
opportunity
Penalty for late
submission
Notes
Assessment 2 There is a resit opportunity. This is an anonymous assessment. Assessment Schedule (When) :2  120 minutes.    60       
CONTINUOUS Duration Timing
(Semester)
% of
final
mark
Resit/resubmission
opportunity
Penalty for late
submission
Notes
Assessment 1 This is not an anonymous assessment. Assessment Schedule (When) :2  20 hours    40       

Recommended Texts

Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.