Undergraduate Module Descriptor

PHL3014: Symbolic Logic

This module descriptor refers to the 2022/3 academic year.

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

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

Scheduled Learning and Teaching Activities	Guided independent study	Placement / study abroad
22	128	0

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

Category	Hours of study time	Description
Scheduled Learning and Teaching Activity	22	Weekly 2-hour lectures / seminars or 1 hour lecture + 1 hour seminar
Guided Independent Study	33	Assigned readings associated with each seminar
Guided Independent Study	10	Preparation for class discussion
Guided Independent Study	25	Preparation for Assigned Essay
Guided Independent Study	60	Exam Revision and Private Study

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