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.
So is a word that we will be able to utilize liberally as we start to see the various presidential campaign debates.
LikeLike
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
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
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
LOL, that’s a challenge for all of us these days. :o) Have a nice weekend Joseph. :O)
LikeLike
Thank you. The weekend turned out well, glad to say.
LikeLike
;o) As they should. ;o)
LikeLike
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
Indeed? I’m not sure which meaning of art you’re thinking of, but I’d be glad to hear more.
LikeLike
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
Good question and I shall try to find one that’s got a nice, explainable, and interesting history to it.
LikeLiked by 1 person