Skip to main content

Unit information: Introduction to Formal Logic in 2022/23

Please note: It is possible that the information shown for future academic years may change due to developments in the relevant academic field. Optional unit availability varies depending on both staffing, student choice and timetabling constraints.

Unit name Introduction to Formal Logic
Unit code PHIL10014
Credit points 10
Level of study C/4
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Catrin Campbell-Moore
Open unit status Not open
Units you must take before you take this one (pre-requisite units)

None

Units you must take alongside this one (co-requisite units)

None

Units you may not take alongside this one

N/A

School/department Department of Philosophy
Faculty Faculty of Arts

Unit Information

This unit introduces the student to the analysis of arguments and to the tools of formal logic. It provides students with the methods to discern and analyse the structure of an argument and to distinguish good arguments from bad ones. Students will see a variety of informal arguments and be able to characterise them as valid, inductive, or fallacious. Formal logic will be introduced and students will see how it can be used as a tool in the evaluation of arguments. Students will also obtain familiarity with formal logic and a grasp of logical properties such as consistency, validity, derivability and soundness.

Students on this unit will be expected to start with the mathematical familiarity that would be obtained in A-level mathematics.

Your learning on this unit

On successful completion of the unit students will be able to

  1. Analyse the structure of arguments found in everyday contexts;
  2. Formalise natural language arguments into the languages of propositional and predicate logic;
  3. Show formal arguments are valid using a proof system;
  4. Understand logical concepts such as consistency, validity, derivability and soundness;
  5. Identify fallacious arguments;
  6. Construct clear arguments.

How you will learn

Lectures, small group work, individual exercises, seminars and virtual learning environment.

How you will be assessed

Formative: regular short on-line problem sheets [designed to test ILOs 1-6]

Summative assessment: 2 hour Exam (100%) [ILOs 1-6]

Resources

If this unit has a Resource List, you will normally find a link to it in the Blackboard area for the unit. Sometimes there will be a separate link for each weekly topic.

If you are unable to access a list through Blackboard, you can also find it via the Resource Lists homepage. Search for the list by the unit name or code (e.g. PHIL10014).

How much time the unit requires
Each credit equates to 10 hours of total student input. For example a 20 credit unit will take you 200 hours of study to complete. Your total learning time is made up of contact time, directed learning tasks, independent learning and assessment activity.

See the Faculty workload statement relating to this unit for more information.

Assessment
The Board of Examiners will consider all cases where students have failed or not completed the assessments required for credit. The Board considers each student's outcomes across all the units which contribute to each year's programme of study. If you have self-certificated your absence from an assessment, you will normally be required to complete it the next time it runs (this is usually in the next assessment period).
The Board of Examiners will take into account any extenuating circumstances and operates within the Regulations and Code of Practice for Taught Programmes.

Feedback