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

An Introduction to Logic for Computer Science (Coursera) Coursera
University of Leeds

An Introduction to Logic for Computer Science (Coursera)

Logic plays a fundamental role in computer science. This course is designed to equip you with a solid understanding of the fundamental principles of logic and their relevance in the field of computer science. In this course, you'll explore proposition logic and discover its practical applications in problem-solving, algorithm design, and the development of intelligent systems. By engaging in hands-on exercises, exploring real-world examples, and participating in discussions, you'll develop strong logical reasoning and critical thinking skills.

Jun 1st 2026
2 Weeks
Food and Mood: Improving Mental Health Through Diet and Nutrition (FutureLearn) FutureLearn
Deakin University,Food & Mood Centre

Food and Mood: Improving Mental Health Through Diet and Nutrition (FutureLearn)

Explore the relationship between nutrition and brain health, why it matters, and how to work towards positive food changes. Learn how healthy dietary choices can improve your mental and brain health. Poor diet and poor mental health are the leading causes of mortality and morbidity worldwide. We now know that diet quality is a modifiable factor that is linked to mental and brain health across all stages of our lives. We will explore how our daily diets may affect our mental and brain health, including the role of our immune system and gut microbiome.

Jan 12th 2026
3 Weeks
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
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
Think Again II: How to Reason Deductively (Coursera) Coursera
Duke University

Think Again II: How to Reason Deductively (Coursera)

Deductive arguments are supposed to be valid in the sense that the premises guarantee that the conclusion is true. In this course, you will learn how to use truth-tables and Venn diagrams to represent the information contained in the premises and conclusion of an argument so that you can determine whether or not the argument is deductively valid.

May 25th 2026
4 Weeks
Information Theory (Coursera) Coursera
The Chinese University of Hong Kong

Information Theory (Coursera)

At the completion of this course, the student should be able to: demonstrate knowledge and understanding of the fundamentals of information theory; appreciate the notion of fundamental limits in communication systems and more generally all systems; develop deeper understanding of communication systems; apply the concepts of information theory to various disciplines in information science.

Jun 15th 2026
13-24 Weeks