module
Undergraduate Module Descriptor
PHL3014: Symbolic Logic
This module descriptor refers to the 2016/7 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 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 | 11 x 2-hour seminars |
| 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 |
Online Resources
This module has online resources available via ELE (the Exeter Learning Environment).
ELE – http://vle.exeter.ac.uk/