Skip to main content


Undergraduate Module Descriptor

PHL3014: Symbolic Logic

This module descriptor refers to the 2023/4 academic year.

Module Content

Syllabus Plan

Whilst the module’s precise content may vary from year to year, it is envisaged that the syllabus will cover some or all of the following topics:

 Arguments, Logical Form, Validity

 Symbolizing Arguments in Sentential Logic

 Syntax and Semantics for Sentential Logic

 Testing Argument Validity: Truth-Tables and Interpretations

 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

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

CategoryHours of study timeDescription
Scheduled Learning and Teaching Activity 22Weekly 2-hour lectures / seminars or 1 hour lecture + 1 hour seminar
Guided Independent Study 33Assigned readings associated with each seminar
Guided Independent Study 10Preparation 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).