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 2018-19 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

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

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

Students will be able to construct proofs in natural deducation for valid sequents of quantificational logic.

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.

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

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.


Syllabus
1 

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

Lecture - 1 x 1 hour lecture per week.

Practical - 10 x 1 hour workshops, staring in Week 2.

Assessment - 2 hour examination.

Teaching Schedule
  Lectures Seminars Tutorials Lab Practicals Fieldwork Placement Other TOTAL
Study Hours 11
1 x 1 hour lecture per week.
        10
10 x 1 hour workshops, staring in Week 2.
2
2 hour examination.
23
Timetable (if known)              
Private Study 127
TOTAL HOURS 150

Assessment
EXAM Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Unseen Written Exam  2 hours  1  60  Yes    Assessment 2 Notes (applying to all assessments) 10 x workshop worksheets (4% each, 40% in total). It is not feasible for these elements of assessment to be marked anonymously. The worksheets are marked in class. The re-sit opportunity for this module consists of a three-hour examination, counting for 100% of module result.  
CONTINUOUS Duration Timing
(Semester)		 % of
final
mark		 Resit/resubmission
opportunity		 Penalty for late
submission		 Notes
Coursework  10 weekly worksheets  1  40  No reassessment opportunity    Assessment 1 There is no reassessment opportunity,  

Recommended Texts
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module.
Explanation of Reading List: