134205

Logic

An introduction to modern formal logic using propositional logic and first-order predicate logic. Formal logic provides an important link between the humanities and maths and sciences, particularly computer and information sciences.

Course code

Qualifications are made up of courses. Some universities call these papers. Each course is numbered using six digits.

134205

Level

The fourth number of the course code shows the level of the course. For example, in course 219206, the fourth number is a 2, so it is a 200-level course (usually studied in the second year of full-time study).

200-level

Credits

Each course is worth a number of credits. You combine courses (credits) to meet the total number of credits needed for your qualification.

15

Subject

Philosophy

Course planning information

General progression requirements

You must complete at least 45 credits from 100-level before enrolling in 200-level courses.

Learning outcomes

What you will learn. Knowledge, skills and attitudes you’ll be able to show as a result of successfully finishing this course.

  • 1 Evaluate inferences by translation into the formulae of a logical language in which they can be precisely tested.
  • 2 Read and understand the basic use of formal logic.
  • 3 Appreciate the application of formal logic to linguistics, computer programming, and other disciplines.
  • 4 Be aware of the structure and patterns of successful reasoning.
  • 5 Translate natural language into the binary code that is the foundation of the information sciences.

Learning outcomes can change before the start of the semester you are studying the course in.

Assessments

Assessment Learning outcomes assessed Weighting
Test 1 2 20%
Test 1 2 30%
Take Home Exam 1 2 3 4 5 50%

Assessment weightings can change up to the start of the semester the course is delivered in.

You may need to take more assessments depending on where, how, and when you choose to take this course.

Explanation of assessment types

Computer programmes
Computer animation and screening, design, programming, models and other computer work.
Creative compositions
Animations, films, models, textiles, websites, and other compositions.
Exam College or GRS-based (not centrally scheduled)
An exam scheduled by a college or the Graduate Research School (GRS). The exam could be online, oral, field, practical skills, written exams or another format.
Exam (centrally scheduled)
An exam scheduled by Assessment Services (centrally) – you’ll usually be told when and where the exam is through the student portal.
Oral or performance or presentation
Debates, demonstrations, exhibitions, interviews, oral proposals, role play, speech and other performances or presentations.
Participation
You may be assessed on your participation in activities such as online fora, laboratories, debates, tutorials, exercises, seminars, and so on.
Portfolio
Creative, learning, online, narrative, photographic, written, and other portfolios.
Practical or placement
Field trips, field work, placements, seminars, workshops, voluntary work, and other activities.
Simulation
Technology-based or experience-based simulations.
Test
Laboratory, online, multi-choice, short answer, spoken, and other tests – arranged by the school.
Written assignment
Essays, group or individual projects, proposals, reports, reviews, writing exercises, and other written assignments.

Textbooks needed

There are no set texts for this course.