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

Antimicrobial Stewardship: Managing Antibiotic Resistance (FutureLearn) FutureLearn
University of Dundee,British Society for Antimicrobial Chemotherapy - BSAC

Antimicrobial Stewardship: Managing Antibiotic Resistance (FutureLearn)

Understand antibiotic resistance, and how antimicrobial stewardship can slow down or reduce it, with this free online course. Antimicrobial stewardship is a fast-growing field that aims to address this issue by managing our use of antibiotics to slow down or reduce the occurrence of antimicrobial resistance. Designed for healthcare professionals, this six-week course will inform you about - and empower you to provide - safe, high-quality antibiotic use.

Self Paced
5-12 Weeks
Think Again IV: How to Avoid Fallacies (Coursera) Coursera
Duke University

Think Again IV: How to Avoid Fallacies (Coursera)

We encounter fallacies almost everywhere we look. Politicians, salespeople, and children commonly use fallacies in order to get you to think whatever they want you to think. It’s important to learn to recognize fallacies so that you can avoid being fooled by them. It’s also important to learn about fallacies so that you avoid making fallacious arguments yourself. This course will show you how to identify and avoid many of the fallacies that lead people astray. In this course, you will learn about fallacies. Fallacies are arguments that suffer from one or more common but avoidable defects: equivocation, circularity, vagueness, etc. It’s important to learn about fallacies so that you can recognize them when you see them, and not be fooled by them. It’s also important to learn about fallacies so that you avoid making fallacious arguments yourself.

Sep 14th 2026
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
Understanding Maths and Logic in Computer Science (FutureLearn) FutureLearn
Raspberry Pi Foundation

Understanding Maths and Logic in Computer Science (FutureLearn)

Improve your understanding and ability to teach maths and logic in computing while building elements of an escape room. Become more familiar with maths and logic in computer science. The mathematical aspects of computer science can be difficult to understand and teach. On this course, you will be introduced to maths and logic in computing in an engaging way.

Nov 1st 2021
3 Weeks
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
From State Control to Remote Control: Warfare in the 21st Century (FutureLearn) FutureLearn
University of Bath

From State Control to Remote Control: Warfare in the 21st Century (FutureLearn)

Explore the impact and ethics of using drones, special ops units and private security firms, with this free online course. States are increasingly using remote control methods, such as drones, private military companies and special operations units, to engage in activities traditionally performed by conventional armed forces.

Self Paced
4 Weeks