- UCAS course code
- C856
- UCAS institution code
- M20
Bachelor of Arts (BASS)
BASS Criminology and Data Analytics
Examine today's fundamental questions using applied statistical and data-analytic methods.
- Typical A-level offer: ABB including specific subjects
- Typical contextual A-level offer: BBC including specific subjects
- Refugee/care-experienced offer: BBC including specific subjects
- Typical International Baccalaureate offer: 34 points overall with 6,5,5 at HL
Fees and funding
Fees
Tuition fees for home students commencing their studies in September 2025 will be £9,535 per annum (subject to Parliamentary approval). Tuition fees for international students will be £26,500 per annum. For general information please see the undergraduate finance pages.
Policy on additional costs
All students should normally be able to complete their programme of study without incurring additional study costs over and above the tuition fee for that programme. Any unavoidable additional compulsory costs totalling more than 1% of the annual home undergraduate fee per annum, regardless of whether the programme in question is undergraduate or postgraduate taught, will be made clear to you at the point of application. Further information can be found in the University's Policy on additional costs incurred by students on undergraduate and postgraduate taught programmes (PDF document, 91KB).
Scholarships/sponsorships
Scholarships and bursaries, including the Manchester Bursary , are available to eligible home/EU students.
Some undergraduate UK students will receive bursaries of up to £2,000 per year, in addition to the government package of maintenance grants.
You can get information and advice on student finance to help you manage your money.
Course unit details:
Formal Logic
Unit code | PHIL20141 |
---|---|
Credit rating | 20 |
Unit level | Level 2 |
Teaching period(s) | Semester 1 |
Available as a free choice unit? | Yes |
Overview
The course will cover the syntax and semantics of a propositional logic PL. Next, a natural deduction system will be introduced for proving the validity of sequents and theorems in PL. Subsequently the course will extend the grammar and proof procedure developed for PL to encompass a language of first-order predicate logic with identity, QL.
Aims
Introduce students to the elements of formal propositional and first-order predicate logic. The course will introduce two systems of logic and provide a proof-procedure for each.
Teaching and learning methods
There will be a mixture of lectures and tutorials.
Please note the information in scheduled activity hours are only a guidance and may change.
Knowledge and understanding
- Identify and construct wffs of PL and QL by implementing rules of generative grammar
- Prove sequents/theorems of PL & QL
- Translate English sentences, including with definite descriptions, into QL
Intellectual skills
- Understand the basic idea of a proof-theoretic approach to formal logic
- Understand and reflect on the relationship between natural and formal languages
Practical skills
- Prove theorems in PL and QL
- Identify logical structures in natural language constructions
Transferable skills and personal qualities
- Apply abstract reasoning
- Apply problem solving
Employability skills
- Analytical skills
- Problem solving
Assessment methods
Method | Weight |
---|---|
Written exam | 100% |
Feedback methods
The School of Social Sciences (SoSS) is committed to providing timely and appropriate feedback to students on their academic progress and achievement, thereby enabling students to reflect on their progress and plan their academic and skills development effectively. Students are reminded that feedback is necessarily responsive: only when a student has done a certain amount of work and approaches us with it at the appropriate fora is it possible for us to feed back on the student's work. The main forms of feedback on this course are written feedback responses and exam answers.
We also draw your attention to the variety of generic forms of feedback available to you on this as on all SoSS courses. These include: meeting the lecturer/tutor during their office hours; e-mailing questions to the lecturer/tutor; asking questions from the lecturer (before and after lecture); presenting a question on the discussion board on Blackboard; and obtaining feedback from your peers during tutorials.
Recommended reading
The following reading list is indicative, and students are not required to read all the publications listed.
Logic: A Very Short Introduction, Graham Priest, Routledge, 2000
Study hours
Scheduled activity hours | |
---|---|
Lectures | 20 |
Tutorials | 10 |
Independent study hours | |
---|---|
Independent study | 170 |