… I mean… yes, the logic follows… if you… make and hold that assumption… which is ostensibly what you are trying to prove.
This is otherwise known as circular reasoning.
Apparently this arose basically as a joke, a way of illustrating that you actually have to prove the induction is valid every step of the way, instead of just asserting it.
EDIT: As others have pointed out, the fallacy here isn’t the circular reasoning fallacy.
It is however a logically/mathematically invalid attempt at proving induction.
It doesn’t logically/mathematically fail because of the assumption of horse color, that’s just taken as part of the givens before the argument really begins.
The problem arises elsewhere, I tried to work through exactly where in another comment.
It’s not circular reasoning, it’s a step of mathematical induction. First you show that something is true for a set of 1, then you show that if it’s true for a set of n it is also true for a set of n+1.
No, that’s what induction is. You prove the base case (e.g. n=1) and then prove that the (n+1) case follows from the (n) case. You may then conclude the result holds for all n, since we proved it holds for 1, which means it holds for 2, which means it holds for 3, and so on.
Exactly, the assumption (known as the inductive hypothesis) is completely fine by itself and doesn’t represent circular reasoning. The issue in the “proof” actually arises from the logic coming after this, in which they assume that they can form two different overlapping sets by removing a different horse from the total set of horses, which fails if n=1 (as then they each have a single, distinct horse).
From that link:
… I mean… yes, the logic follows… if you… make and hold that assumption… which is ostensibly what you are trying to prove.
This is otherwise known as circular reasoning.
Apparently this arose basically as a joke, a way of illustrating that you actually have to prove the induction is valid every step of the way, instead of just asserting it.
EDIT: As others have pointed out, the fallacy here isn’t the circular reasoning fallacy.
It is however a logically/mathematically invalid attempt at proving induction.
It doesn’t logically/mathematically fail because of the assumption of horse color, that’s just taken as part of the givens before the argument really begins.
The problem arises elsewhere, I tried to work through exactly where in another comment.
It’s not circular reasoning, it’s a step of mathematical induction. First you show that something is true for a set of 1, then you show that if it’s true for a set of n it is also true for a set of n+1.
As with Kogasa, you’re right that this is not circular reasoning, it is induction.
I judged it a bit too quickly.
However, it isn’t a valid proof of induction.
I tried to work through exactly where and how it fails in another comment.
So… it is still fallacious reasoning of some kind, but yes, not the circular reasoning fallacy.
No, that’s what induction is. You prove the base case (e.g. n=1) and then prove that the (n+1) case follows from the (n) case. You may then conclude the result holds for all n, since we proved it holds for 1, which means it holds for 2, which means it holds for 3, and so on.
Exactly, the assumption (known as the inductive hypothesis) is completely fine by itself and doesn’t represent circular reasoning. The issue in the “proof” actually arises from the logic coming after this, in which they assume that they can form two different overlapping sets by removing a different horse from the total set of horses, which fails if n=1 (as then they each have a single, distinct horse).