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.