Introduction to Logic
Run by School of History, Philosophy and Social Sciences
20 Credits or 10 ECTS Credits
Organiser: Dr Toby Betenson
Overall aims and purpose
This module aims to introduce students to the methods of formal logic. Developing skill in logic is essential to success in philosophy. In most cases, doing philosophy is about thinking clearly and constructing a rational argument. Logic is the science of rational argument. Studying logic enables you to extract the relevant points within an argument and assess whether those points hang together in such a way that they compel the argument’s conclusion. The methods of formal logic equip you with tools that you can use to quickly and clearly analyse an argument, assess its validity, and demonstrate its success or failure accordingly. These are useful skills in any context. In this module, students will learn the basic methods of propositional and predicate logic.
In this module, students will learn the basic concepts and methods of propositional and predicate logic. Beginning with an introduction to philosophical logic, its history, and forms of reasoning (deductive, inductive, etc.), the course builds the various skills and points of understanding necessary for the practical application of a propositional calculus, including: 1. Truth and falsity, validity and soundness. 2. Logical form, and a formal language. 3. Logical connectives. 4. Sentences, sequents, and sets. 5. Truth-Tables. 6. Truth-Trees. 7. Quantifiers and quantificational logic. At the end of the course, students will be able to use formal logic to clarify, analyse, and assess philosophical arguments.
(D- to D+) Work in this band will demonstrate some knowledge of, and a very limited ability to apply, the methods of formal logic. Work in this band might show a lack of understanding, and will not demonstrate an ability to apply the methods of formal logic without frequent mistakes.
(C- to B+) Work in this band will demonstrate good knowledge and understanding of the issues and concepts within philosophical logic, and will be able to apply the methods of formal logic successfully and with few errors. Work in this band will show a few errors, or some lack of understanding, but will nonetheless demonstrate sound logical ability.
(A- to A*) Work in this band will demonstrate comprehensive and very detailed understanding of the issues and concepts within philosophical logic, and will further demonstrate a comprehensive grasp of the methods of formal logic, such that the student can successfully apply the methods of formal logic with extremely few (or no) errors.
To use the methods of formal logic to analyse a philosophical argument.
To demonstrate knowledge, understanding, and an ability to apply the basic methods of formal logic.
To demonstrate knowledge and understanding of the key concepts within philosophical logic.
Teaching and Learning Strategy
|Practical classes and workshops||11|
- Literacy - Proficiency in reading and writing through a variety of media
- Computer Literacy - Proficiency in using a varied range of computer software
- Self-Management - Able to work unsupervised in an efficient, punctual and structured manner. To examine the outcomes of tasks and events, and judge levels of quality and importance
- Exploring - Able to investigate, research and consider alternatives
- Information retrieval - Able to access different and multiple sources of information
- Inter-personal - Able to question, actively listen, examine given answers and interact sensitevely with others
- Critical analysis & Problem Solving - Able to deconstruct and analyse problems or complex situations. To find solutions to problems through analyses and exploration of all possibilities using appropriate methods, rescources and creativity.
- Presentation - Able to clearly present information and explanations to an audience. Through the written or oral mode of communication accurately and concisely.
- Argument - Able to put forward, debate and justify an opinion or a course of action, with an individual or in a wider group setting
- Self-awareness & Reflectivity - Having an awareness of your own strengths, weaknesses, aims and objectives. Able to regularly review, evaluate and reflect upon the performance of yourself and others
Subject specific skills
- Articulacy in identifying underlying issues in a wide variety of debates.
- Precision of thought and expression in the analysis and formulation of complex and controversial problems.
- Clarity and rigour in the critical assessment of arguments presented in such texts.
- The ability to use and criticise specialised religious and philosophical terminology.
- The ability to abstract and analyse arguments, and to identify flaws in them, such as false premises and invalid reasoning.
- The ability to construct rationally persuasive arguments for or against specific religious and philosophical claims.
- The ability to move between generalisation and appropriately detailed discussion, inventing or discovering examples to support or challenge a position, and distinguishing relevant and irrelevant considerations.
- The ability to consider unfamiliar ideas and ways of thinking, and to examine critically presuppositions and methods within the disciplines of philosophy and religion.
Paul Tomassi, Logic (London: Routledge, 1999)
Courses including this module
Optional in courses:
- M930: BA Criminology & Criminal Justice year 1 (BA/CRIM)
- X315: BA Childhood and Youth Studies and Sociology year 1 (BA/CYSS)
- LL13: BA Sociology/Economics year 1 (BA/ECS)
- LL2B: BA Sociology & Economics (4 yr with Incorporated Foundation) year 1 (BA/ECS1)
- LQ3J: BA English Lang. & Sociology year 1 (BA/ELSOC)
- V100: BA History year 1 (BA/H)
- V10F: BA History [with Foundation Year] year 1 (BA/HF)
- 8B03: BA History (with International Experience) year 1 (BA/HIE)
- V140: BA Modern & Contemporary History year 1 (BA/MCH)
- V130: BA Mediaeval and Early Modern His year 1 (BA/MEMH)
- LP33: BA Media Studies and Sociology year 1 (BA/MSSOC)
- VV56: BA Philosophy and Religion year 1 (BA/PHRE)
- 3VQV: BA Philosophy and Religion and English Literature year 1 (BA/PREN)
- VVR1: BA Philosophy and Religion and French year 1 (BA/PRF)
- VVR2: BA Philosophy and Religion and German year 1 (BA/PRG)
- VVV1: BA Philosophy and Religion and History year 1 (BA/PRH)
- VVR3: BA Philosophy and Religion and Italian year 1 (BA/PRI)
- VV57: BA Philosophy and Religion with International Experience year 1 (BA/PRIE)
- VVW3: BA Philosophy and Religion and Music year 1 (BA/PRM)
- VVR4: BA Philosophy and Religion and Spanish year 1 (BA/PRS)
- VVQ5: BA Philosophy and Religion and Welsh year 1 (BA/PRW)
- VVV2: BA Philosophy and Religion and Welsh History year 1 (BA/PRWH)
- L300: BA Sociology year 1 (BA/S)
- L31B: BA Sociology (4 year with Incorporated Foundation) year 1 (BA/S1)
- 3L3Q: BA Sociology and English Literature year 1 (BA/SEL)
- L30F: BA Sociology [with Foundation Year] year 1 (BA/SF)
- LV31: BA Sociology/History year 1 (BA/SH)
- 8Y70: BA Sociology (with International Experience) year 1 (BA/SIE)
- LQ31: BA Sociology/Linguistics year 1 (BA/SL)
- L402: BA Social Policy year 1 (BA/SOCPOL)
- L40F: BA Social Policy [with Foundation Year] year 1 (BA/SOCPOLF)
- VV12: BA Welsh History/History year 1 (BA/WHH)
- LVH2: BA Welsh History/Sociology year 1 (BA/WHS)
- LQ35: BA Cymraeg and Sociology year 1 (BA/WS)
- M1V5: LLB Law with Philosophy and Religion year 1 (LLB/LPR)
- V102: MArts History with International Experience year 1 (MARTS/HIE)
- V101: MArts History year 1 (MARTS/HIST)