Logic: The Language of Truth (FutureLearn)

Offered by University of York,
Logic: The Language of Truth (FutureLearn)

Learn how to use logic to evaluate arguments and discover more about philosophical concepts like truth-tables and logical form. Understand and evaluate arguments using philosophical theory. If you believe Mickey is a big mouse and Dumbo is a small elephant, then you must also believe that Mickey is a mouse and Dumbo is an elephant. But, do you believe that Mickey is bigger than Dumbo? On this course, you’ll consider the logic behind this argument and explore the concept that when something is true, other things have to be true too.

Class Deals by MOOC List - Click here and see FutureLearn's Active Discounts, Deals, and Promo Codes.

You’ll discover logical reasoning theory and explore the vital role words like and, or, not, and if play in making good or bad arguments.
You’ll also learn how philosophers use a formal language to assess arguments and look closely at how our everyday language and thinking works.
What topics will you cover?

  • How to use formal logic as a tool to clarify and evaluate arguments
  • Identifying the premises and conclusions of arguments;
  • Applying the philosophical concepts of ‘truth-value’, ‘validity’, ‘logical form’, ‘sentence connective’ and ‘truth-function’;
  • Using truth-tables to work out the truth-values of compound sentences
  • Using truth-tables to test arguments for validity;
  • Exploring the relationship between formal logical language and natural language

What will you achieve?
By the end of the course, you‘ll be able to...

  • Evaluate arguments (chains of reasoning) using a formal language as a tool
  • Apply an understanding of the concept of validity in evaluating arguments
  • Explore the relationships between formal languages and everyday or ‘natural’ languages
  • Apply an understanding of the idea of a formal language — a specially created language with key vocabulary having carefully specified precise meanings — in analysing and understanding claims expressed in everyday language

Who is the course for?
The course is primarily designed for those studying philosophy, maths, or science at A-level or university.
The course will also be of interest to anyone who’d like to learn more about these subjects and the systematic study of good and bad reasoning
Learners require a basic understanding of formal logic and a keen interest to learn.

Go to Class
MOOC List is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

Related Courses

Babies in Mind: Why the Parent's Mind Matters (FutureLearn) FutureLearn
The University of Warwick

Babies in Mind: Why the Parent's Mind Matters (FutureLearn)

Find out how parents and caregivers influence children’s minds, from conception through infancy, with this free online course. This course will explore how the mind of the parent influences the developing mind of the child, from conception through infancy and into later life. We will take you on a journey that begins in pregnancy, exploring the importance of the ability of the mother-to-be to think about her baby while still in utero, alongside the impact of emotions such as anxiety and depression.

Self Paced
4 Weeks
What is a Proof? (Coursera) Coursera
University of California, San Diego,Higher School of Economics - HSE University

What is a Proof? (Coursera)

Mathematical thinking is crucial in all areas of computer science: algorithms, bioinformatics, computer graphics, data science, machine learning, etc. In this course, we will learn the most important tools used in discrete mathematics: induction, recursion, logic, invariants, examples, optimality. We will use these tools to answer typical programming questions like: How can we be certain a solution exists? Am I sure my program computes the optimal answer? Do each of these objects meet the given requirements?

Jun 29th 2026
5-12 Weeks
Python Programming Essentials (Coursera) Coursera
Rice University

Python Programming Essentials (Coursera)

This course will introduce you to the wonderful world of Python programming! We'll learn about the essential elements of programming and how to construct basic Python programs. We will cover expressions, variables, functions, logic, and conditionals, which are foundational concepts in computer programming. We will also teach you how to use Python modules, which enable you to benefit from the vast array of functionality that is already a part of the Python language. These concepts and skills will help you to begin to think like a computer programmer and to understand how to go about writing Python programs.

Aug 24th 2026
4 Weeks
Mathematical Logic and Theory of Computation (saylor.org) Saylor Academy
Saylor.org

Mathematical Logic and Theory of Computation (saylor.org)

Mathematics is about structure, about reasoning, and about modeling. This course braids these three threads together. Mathematical logic began as the study of the reasoning used in mathematics, but it turns out to be useful in describing the mathematical concept of structure and in modeling automated reasoning—that is, modeling computation.

Legacy Course
Self-Paced
Discrete Structures (saylor.org) Saylor Academy
Saylor.org

Discrete Structures (saylor.org)

This course has been designed to provide you with a clear, accessible introduction to discrete mathematics. Discrete mathematics describes processes that consist of a sequence of individual steps (as compared to calculus, which describes processes that change in a continuous manner). The principal topics presented in this course are logic and proof, induction and recursion, discrete probability, and finite state machines.

Self Paced
Self-Paced
Solving the Sudoku Puzzle (Skillshare) Skillshare
Skillshare

Solving the Sudoku Puzzle (Skillshare)

Often look at the Sudoku and wonder how to solve it? Tried several other videos but can’t still can’t seem to crack it? This is one and only video you will need. It is all about logic, not about luck! In this class you’ll learn techniques to solve a medium difficulty Sudoku puzzle. Even if you’re new to logic puzzles, you’ll find these simple and effective techniques easy to use and apply to your work!

Self Paced
Self-Paced
Liver Disease: Looking After Your Liver (FutureLearn) FutureLearn
University of Birmingham

Liver Disease: Looking After Your Liver (FutureLearn)

Learn about how your liver works, ways to look after it and how liver damage is caused, studied and treated around the world. We are currently experiencing an international explosion of liver disease that continues to have enormous impact upon healthcare systems and global health. In the UK we have seen a 20% increase in deaths related to liver disease since 2000 and this pattern reflects the global situation.

Self Paced
3 Weeks