A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. I — John Stuart Mill — John Shaqi
A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. I
John Stuart Mill · en
[21] Some persons find themselves prevented from believing that the
axiom, Two straight lines cannot inclose a space, could ever become
known to us through experience, by a difficulty which may be stated as
follows. If the straight lines spoken of are those contemplated in the
definition--lines absolutely without breadth and absolutely
straight;--that such are incapable of inclosing a space is not proved by
experience, for lines such as these do not present themselves in our
experience. If, on the other hand, the lines meant are such straight
lines as we do meet with in experience, lines straight enough for
practical purposes, but in reality slightly zigzag, and with some,
however trifling, breadth; as applied to these lines the axiom is not
true, for two of them may, and sometimes do, inclose a small portion of
space. In neither case, therefore, does experience prove the axiom.
Those who employ this argument to show that geometrical axioms cannot be
proved by induction, show themselves unfamiliar with a common and
perfectly valid mode of inductive proof; proof by approximation. Though
experience furnishes us with no lines so unimpeachably straight that two
of them are incapable of inclosing the smallest space, it presents us
with gradations of lines possessing less and less either of breadth or
of flexure, of which series the straight line of the definition is the
ideal limit. And observation shows that just as much, and as nearly, as
the straight lines of experience approximate to having no breadth or
flexure, so much and so nearly does the space-inclosing power of any two
of them approach to zero. The inference that if they had no breadth or
flexure at all, they would inclose no space at all, is a correct
inductive inference from these facts, conformable to one of the four
Inductive Methods hereinafter characterized, the Method of Concomitant
Variations; of which the mathematical Doctrine of Limits presents the
extreme case.
[22] Whewell's _History of Scientific Ideas_, i. 140.
[23] Dr. Whewell (_Philosophy of Discovery_, p. 289) thinks it
unreasonable to contend that we know by experience, that our idea of a
line exactly resembles a real line. "It does not appear," he says, "how
we can compare our ideas with the realities, since we know the realities
only by our ideas." We know the realities (I conceive) by our senses.
Dr. Whewell surely does not hold the "doctrine of perception by means of
ideas," which Reid gave himself so much trouble to refute.
If Dr. Whewell doubts whether we compare our ideas with the
corresponding sensations, and assume that they resemble, let me ask on
what evidence do we judge that a portrait of a person not present is
like the original. Surely because it is like our idea, or mental image
of the person, and because our idea is like the man himself.