Undergraduate Module Descriptor

PHL2021: Symbolic Logic

This module descriptor refers to the 2021/2 academic year.

Module Content

Syllabus Plan

1 Arguments, Logical Form, Validity

2 Symbolizing Arguments in Sentential Logic

3 Syntax and Semantics for Sentential Logic

4 Testing Argument Validity: Truth-Tables and Interpretations

5 Natural Deduction (Proofs) in Sentential Logic

Learning and Teaching

This table provides an overview of how your hours of study for this module are allocated:

Scheduled Learning and Teaching ActivitiesGuided independent studyPlacement / study abroad
221280

...and this table provides a more detailed breakdown of the hours allocated to various study activities:

CategoryHours of study timeDescription
Scheduled Learning and Teaching2211 x 2-hour seminars
Guided Independent Study33Assigned readings associated with each seminar
Guided Independent Study10Preparation for class discussion
Guided Independent Study25Preparation for Assigned Essay
Guided Independent Study 60Exam Revision and Private Study

Online Resources

This module has online resources available via ELE (the Exeter Learning Environment).

ELE – http://vle.exeter.ac.uk/

 

How this Module is Assessed

In the tables below, you will see reference to 'ILO's. An ILO is an Intended Learning Outcome - see Aims and Learning Outcomes for details of the ILOs for this module.

Formative Assessment

A formative assessment is designed to give you feedback on your understanding of the module content but it will not count towards your mark for the module.

Form of assessmentSize of the assessment (eg length / duration)ILOs assessedFeedback method
In-class exercises1-8Verbal tutor and peer feedback

Summative Assessment

A summative assessment counts towards your mark for the module. The table below tells you what percentage of your mark will come from which type of assessment.

CourseworkWritten examsPractical exams
40600

...and this table provides further details on the summative assessments for this module.

Form of assessment% of creditSize of the assessment (eg length / duration)ILOs assessedFeedback method
Homework assignments40Three homework assignments set at regular intervals throughout the course1-8Written and verbal feedback
Examination602 hours1-8Written feedback

Re-assessment

Re-assessment takes place when the summative assessment has not been completed by the original deadline, and the student has been allowed to refer or defer it to a later date (this only happens following certain criteria and is always subject to exam board approval). For obvious reasons, re-assessments cannot be the same as the original assessment and so these alternatives are set. In cases where the form of assessment is the same, the content will nevertheless be different.

Original form of assessmentForm of re-assessmentILOs re-assessedTimescale for re-assessment
Homework assignmentsThree homework assignments set at appropriate intervals1-8August/September reassessment period
ExaminationExamination (2 hours)1-8August/September reassessment period