Mathematical logic

Vacuous truth

In mathematics and logic, a vacuous truth is a conditional or universal statement (a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied. For example, the statement "she does not own a cell phone" will imply that the statement "all of her cell phones are turned off" will be assigned a truth value. Also, the statement "all of her cell phones are turned on" would also be vacuously true, as would the conjunction of the two: "all of her cell phones are turned on and turned off", which would otherwise be incoherent and false. For that reason, it is sometimes said that a statement is vacuously true because it is meaningless. More formally, a relatively well-defined usage refers to a conditional statement (or a universal conditional statement) with a false antecedent. One example of such a statement is "if Tokyo is in France, then the Eiffel Tower is in Bolivia". Such statements are considered vacuous truths, because the fact that the antecedent is false prevents using the statement to infer anything about the truth value of the consequent. In essence, a conditional statement, that is based on the material conditional, is true when the antecedent ("Tokyo is in France" in the example) is false regardless of whether the conclusion or consequent ("the Eiffel Tower is in Bolivia" in the example) is true or false because the material conditional is defined in that way. Examples common to everyday speech include conditional phrases used as idioms of improbability like "when hell freezes over..." and "when pigs can fly...", indicating that not before the given (impossible) condition is met will the speaker accept some respective (typically false or absurd) proposition. In pure mathematics, vacuously true statements are not generally of interest by themselves, but they frequently arise as the base case of proofs by mathematical induction. This notion has relevance in pure mathematics, as well as in any other field that uses classical logic. Outside of mathematics, statements which can be characterized informally as vacuously true can be misleading. Such statements make reasonable assertions about qualified objects which do not actually exist. For example, a child might truthfully tell their parent "I ate every vegetable on my plate", when there were no vegetables on the child's plate to begin with. In this case, the parent can believe that the child has actually eaten some vegetables, even though that is not true. In addition, a vacuous truth is often used colloquially with absurd statements, either to confidently assert something (e.g. "the dog was red, or I'm a monkey's uncle" to strongly claim that the dog was red), or to express doubt, sarcasm, disbelief, incredulity or indignation (e.g. "yes, and I'm the King of England" to disagree a previously made statement). (Wikipedia).

Video thumbnail

The Importance of Atonement

The idea of ‘atonement’ sounds very old-fashioned and is deeply rooted in religious tradition. To atone means, in essence, to acknowledge one’s capacity for wrongness and one’s readiness for apology and desire for change. It’s a concept that every society needs at its center. For gifts and

From playlist RELATIONSHIPS

Video thumbnail

What Is Narcissism?

Narcissism is the word we routinely use to describe someone self-satisfied and arrogant. But what do we really mean by the word – and are we applying it correctly? If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/YfXSQO Join our mailing list: http://bit.ly

From playlist SELF

Video thumbnail

What Do Cynical People Really Want?

What lies behind the pessimism and witty bitterness of the cynic? As always: a lot of pain… If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/gBcnPP Join our exclusive mailing list: http://bit.ly/2e0TQNJ Or visit us in person at our London HQ https://go

From playlist SELF

Video thumbnail

What are the basics of mathematical logic? | Intro to Math Structures VS1.1

So you want to prove things? Where do you start if you haven't ever written a proof before? In most cases, a course on discrete mathematics or mathematical structures is where someone writes their first proof and that starts with propositional calculus. In this video section, we go through

From playlist The CHALKboard 2022

Video thumbnail

Can Lying ever be Kind?

Paradoxically, but also rather troublingly, there are certain lies that preserve the underlying truth about our feelings somewhat more effectively than the literal truth. An essay on the implications and background idea of the white lie. If you like our films, take a look at our shop (we s

From playlist SELF

Video thumbnail

Viral logic test from Brazil

The 17th annual Brazilian Olympiad featured an incredibly tricky logic puzzle that went viral on social media. Thanks to Guilherme who suggested and translated the problem from Portuguese to English! Pinocchio problem discussions https://ultimosegundo-ig-com-br.translate.goog/brasil/2022-

From playlist Logic Puzzles And Riddles

Video thumbnail

Vacuously True Statements

Learning Objectives: Determine when a conditional statement is vacuously true A conditional statement of the form "if P then Q" is called vacuously true whenever P is false. This might seem counterintuitive, but consider the reverse. The conditional "if P then Q" is false whenever the ass

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

Daniel Dennett - What is Belief?

Everyone has beliefs—some are simple and basic (e.g., my name, age), others complex and controversial (e.g., God? Soul? Politics? Morality?). But what is the concept of 'belief'? What does it take for some statement to be a 'belief'? Click here to watch more interviews with Daniel Dennett

From playlist Closer To Truth - Daniel Dennett Interviews

Video thumbnail

How to Be Charming When Talking About Yourself

It’s sometimes assumed that talking too much about ourselves is rude; and asking questions of others is polite and charming. But the distinction is not quite so simple. There are far better and worse ways of speaking about ourselves. We end up charming when we dare to reveal our vulnerabil

From playlist SELF

Video thumbnail

A Math Book For Every Person In The World

Here are the math books and who they are for. I hope this helps you decide which one is best for you. How to Prove It: https://amzn.to/3VnYS9Q (learn to write proofs with this with almost no background) All The Math You Missed (overview of tons of math, knowing some math is helpful befor

From playlist Math Sorcerer Live Streams

Video thumbnail

Nietzsche on the Value of Truth (Ken Gemes)

Nietzsche claims that with the rejection of religious underpinning of the value of truth (e.g. truth as God’s word and as something absolute), we can now raise the question of why and to what extent we should value truth. He argues that our need for meaning conflicts with our will to truth

From playlist Social & Political Philosophy

Video thumbnail

Why Anything At All II? | Episode 1907 | Closer To Truth

Why is there anything at all? It’s the ultimate puzzle. It’s the haunting question. Why is there “something” rather than “nothing”? It seems impenetrable, uncrackable, unfathomable. But are there ways? Featuring interviews with Tim Maudlin, Mario Livio, George F. R. Ellis, and David Bentle

From playlist Closer To Truth | Season 19

Video thumbnail

The Empty Set & Vacuous Truth

The empty set - a set with nothing in it - is a bit of a weird mathematical object. We play around with it a bit, investigating the set that contains the subset and what sets the empty set is a subset of. ************************************************** Now it's your turn: 1) Summari

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

Boolean Algebra Basics | Nathan Dalaklis

Boolean Algebra is one of the most fundamental concepts in theoretical mathematics, logic and philosophy. In this video I go through some of the basic operators, what a material implication is, and try to explain what vacuous truth is :D. _____________________ Last video: https://youtu.be/

From playlist The New CHALKboard

Video thumbnail

Alan H. Guth - The Physics of Eternity

'Eternity'—time that goes on and on and does not end—used to be the province of philosophy, even theology, with no real evidence. But now cosmologists are using astounding observations and new fundamental theories to project what will happen to our universe in 10^100 years - that's a numbe

From playlist Closer To Truth - Alan H. Guth Interviews

Video thumbnail

Is Life On Earth Chance Or Fate? [4K] | Science Vs God | Spark

Its origin shrouded in mystery described with the precision of mathematics, there is nothing as impressive as the cosmos. Life on Earth is supported by forces finely tuned to an astonishing degree. So is it all luck? Or does the evidence suggest something more behind our ordered universe?

From playlist 4K Science Documentaries

Video thumbnail

How We Lie to Ourselves

We are masters at knowing how to lie to ourselves. We pay a heavy price for this self-deception. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/I4iYme Join our exclusive mailing list: http://bit.ly/2e0TQNJ Or visit us in person at our London HQ https:

From playlist SELF

Video thumbnail

The Sexual Fantasies of Others

Despite talk of liberation, our sexual lives remain the focus of immense amounts of shame. One way to deal with this is to expand - with dignity - evidence of what people are truly like. Here, some brave individuals reveal what it is they deep down want and think about. We applaud their co

From playlist RELATIONSHIPS

Video thumbnail

Every Set is an Element of its Power Set | Set Theory

Every set is an element of its own power set. This is because the power set of a set S, P(S), contains all subsets of S. By definition, every set is a subset of itself, and thus by definition of the power set of S, it must contain S. This is even true for the always-fun empty set! We discu

From playlist Set Theory

Video thumbnail

Why You Should Never Say "It's Just A Theory"

A portion of our culture distrusts the scientific method, assuming that there are transcendent truths unknowable by science. But nothing is truly out of bounds for science. If it's real, it can be studied, and tested. Perhaps the greatest misunderstanding our culture has about the scientif

From playlist Science for Common Folk

Related pages

Relevance logic | Empty sum | Counterfactual conditional | Paradoxes of material implication | Empty product | Tautology (logic) | Principle of explosion | Triviality (mathematics) | Empty set | Material conditional | Antecedent (logic) | Consequent | Mathematics | Set (mathematics) | Integer | De Morgan's laws | Mathematical induction | Strict conditional | Intuitionistic logic | Degeneracy (mathematics) | Satisfiability | Universal quantification | Logical conjunction | Pure mathematics | Classical logic | Contradiction