## A Summer 2015 Mathematics A To Z: fallacy

## Fallacy.

Mathematics is built out of arguments. These are normally logical arguments, sequences of things which we say are true. We know they’re true because either they start from something we assume to be true or because they follow from logical deduction from things we assumed were true. Even calculations are a string of arguments. We start out with an expression we’re interested in, and do things which change the way it looks but which we can prove don’t change whether it’s true.

A fallacy is an argument that isn’t deductively sound. By deductively sound we mean that the premises we start with are true, and the reasoning we follow obeys the rules of deductive logic (omitted for clarity). if we’ve done that, then the conclusion at the end of the reasoning is — and must be — true.

A deductively sound argument is a wonderful thing. It tells us something we know *must* be true. That something will be true not just here and now — the way we might know “today is the 5th of June” is true — but always. It would be true anytime, anywhere in the universe. For that matter it would be true in other universes, if they existed. If nothing existed then … well, it’s very hard to say what would be true if nothing existed. Let’s step cautiously back from talking about “nothing”.

If we start out from a premise that isn’t true, or if we use a reason that isn’t part of the rules of deductive logic, then the argument is fallacious. It’s simple as that.

That isn’t to say the conclusion is *wrong*, by the way. If I present to you the argument, “I am a competent mathematician and I tell you that 53 is a prime number. Therefore 53 is a prime number”, I am making a fallacious argument. The conclusion is correct, but the fact that I’m a competent mathematician doesn’t prove that. Among other things you don’t know that I actually *am* a competent mathematician and not just a madman with a blog. You also don’t know that I’m not making a mistake or a joke or playing a prank. (This is a good point to look up “Grothendieck’s Prime”.) I promise you I am at least competent, and not making a mistake or a joke, and that 53 is prime. (I suppose I should double-check that before publishing). But I’ve given only a fallacious argument to prove it to you.

A fallacious argument can still be convincing. If you write to the United States Department of State and ask, and they tell you that Samuel Tilden was never President of the United States, that would convince nearly everyone that Tilden never was President. Formally speaking, that’s a fallacious argument. It’s even the same kind of fallacy I made with 53 up there. But you’d be perverse to insist they might be wrong about this.

Now … any interesting mathematical conclusion has a *lot* of reasoning in it. Nobody *ever* identifies every single bit of logical deduction, because that requires breaking the argument down into so many steps, each making so little progress, that the argument would be unreadable. We write out instead an argument that we are confident can be proved logically sound. How do we know there isn’t a fallacious step somewhere in the argument?

Normally, we know because we build interesting mathematical arguments out of smaller, simpler arguments that we proved already. Sometimes we proved them as mathematics majors or as graduate students. Sometimes we proved them by finding a book where someone who wasn’t us actually proved it. Or we start from an argument that is very much like one of these smaller, simpler arguments already proved, and trust that however we varied things isn’t going to change the soundness of the argument.

Much of the time this works out. Sometimes we’re wrong, and erratas or withdrawn proofs follow, chased down by a lot of sulking and fuming. Sometimes we’re even lucky and the reason that our proof was wrong turns out to be interesting, and to lead to new discoveries. That happens most rarely, but it almost makes up for the pain of finding the fallacy.

## Ken Dowell 3:03 pm

onFriday, 5 June, 2015 Permalink |So is a word that we will be able to utilize liberally as we start to see the various presidential campaign debates.

LikeLike

## Joseph Nebus 10:52 pm

onFriday, 5 June, 2015 Permalink |Well, yes, it’ll be a popular word while talking about campaigns (or it will be among circles that like to talk about logical fallacies in popular arguments).

However, the kind of argument that could be communicated in ordinary speech is almost always going to be fallacious by the standards of deductive logic, just of necessity. It takes an incredible amount of often tedious work to make a deductive-logic argument that’s valid. And to make a valid argument into a sound one requires demonstrating that all one’s premises are true, and for many topics that will be a matter of judgement.

Being convincing, and compelling, and for that matter right aren’t the same thing as being free of fallacy.

LikeLike

## In My Cluttered Attic 5:02 pm

onFriday, 5 June, 2015 Permalink |Well Joseph, I may not know you to be a competent mathematician, but I suspect you to be a more competent one than I. :O)

LikeLike

## Joseph Nebus 10:55 pm

onFriday, 5 June, 2015 Permalink |That’s kind of you to think, but you haven’t seen how challenging I can find it to estimate what we’re spending at the grocery store this week.

LikeLike

## In My Cluttered Attic 2:44 am

onSaturday, 6 June, 2015 Permalink |LOL, that’s a challenge for all of us these days. :o) Have a nice weekend Joseph. :O)

LikeLike

## Joseph Nebus 9:18 pm

onTuesday, 9 June, 2015 Permalink |Thank you. The weekend turned out well, glad to say.

LikeLike

## In My Cluttered Attic 10:44 pm

onTuesday, 9 June, 2015 Permalink |;o) As they should. ;o)

LikeLike

## sheldonk2014 5:22 pm

onFriday, 5 June, 2015 Permalink |I just read some of your post which at times seem really hard on me,but I’m persistent,so after I read it remained me of a definition of art,you know the change if something

LikeLike

## Joseph Nebus 11:01 pm

onFriday, 5 June, 2015 Permalink |Indeed? I’m not sure which meaning of art you’re thinking of, but I’d be glad to hear more.

LikeLike

## citywithoutpeople 7:12 am

onSaturday, 6 June, 2015 Permalink |Hey, cool post can you give me an example of a fallacy that was found untrue for an interesting reason. The distinction between analytical and contingent propositions noted by Hume’s fork, describes your post also, I like how mathematicians, philosophers and scientists all have different ways of describing the same thing

LikeLike

## Joseph Nebus 9:18 pm

onTuesday, 9 June, 2015 Permalink |Good question and I shall try to find one that’s got a nice, explainable, and interesting history to it.

LikeLiked by 1 person

## Reading the Comics, June 21, 2015: Blatantly Padded Edition, Part 2 | nebusresearch 5:00 pm

onSunday, 21 June, 2015 Permalink |[…] (June 19) uses mathematics as something to heap upon a person until they yield to your argument. It’s a fallacious way to argue, but it does work. Even at a mathematical conference the terror produced by a screen full of symbols […]

LikeLike

## My Mathematics Blog Abbreviated Statistics, June 2015 | nebusresearch 3:22 pm

onThursday, 2 July, 2015 Permalink |[…] after that some of the A To Z posts appear, with fallacy, and graph, and n-tuple the most popular of that […]

LikeLike

## A Summer 2015 Mathematics A to Z Roundup | nebusresearch 3:03 pm

onFriday, 24 July, 2015 Permalink |[…] Fallacy. […]

LikeLike

## Mathematics A to Z: Part 2 | Mean Green Math 11:09 am

onSaturday, 12 September, 2015 Permalink |[…] F is for fallacy, or a mathematical argument can includes incorrect reasoning. […]

LikeLike