Course Details in 2024/25 Session

Module Title	LI Logic
School	Phil, Theology and Religion
Department	Philosophy
Module Code	09 40218
Module Lead	TBC
Level	Intermediate Level
Credits	20
Semester	Semester 2
Pre-requisites	LC Philosopher's Toolkit A - (09 33081)
Co-requisites
Restrictions	None
Contact Hours	Lecture-20 hours Seminar-9 hours Guided independent study-171 hours Total: 200 hours
Exclusions
Description	This is a module on intermediate logic. It follows on from the Level C introduction to logic. Building on the knowledge and skills acquired in the Level C logic module, the module focuses on concepts and theories that commonly feature in contemporary philosophical research. Individual topics will include some of the following: a formal introduction to metalogic and metalogical proofs (e.g. of completeness and soundness); the nature of logical consequence (including understanding logical consequence via models and/or proofs); the nature of logical connectives (e.g. interdefinability and/or the Sheffer stroke); a specific investigation of one or more non-classical logics (e.g. three-valued logics, modal logics, relevance logics, free logics); the logic of conditionals (e.g. material conditionals, indicative conditionals, counterfactual conditionals); some grounding in the history of logic (e.g. of ancient and medieval precursors to logic as it is practised in the analytic tradition and/or non-Western logical traditions such as Indian or Chinese logic); some grounding in the philosophy of logic.
Learning Outcomes	By the end of the module students should be able to: Demonstrate an aptitude for formal logic; Demonstrate an understanding of at least some metalogical issues (whether formally or informally treated). Demonstrate understanding of the perceived need for varying logical systems.
Assessment
Assessment Methods & Exceptions	Assessment: Assessments: 1 x 50 minute in-class test (40%) and 1 x 90 minute centrally-timetabled exam (60%). Reassessment: As above. Students will only be required to resit a failed element of the module assessment if it results in failure of the whole module.
Other
Reading List