Statement R " All ravens are black" is logically equivalent to;
Statement R2 " Nothing which is not black is a raven."
A white pen confirms R2 but surely does not confirm R, although R says the same as R2.
To say R is logically equivalent to R2 is to say that in every possible situation in which one is true so is the other. R2 which is the "contrapositive" of R has the same content.
A generalisation like R - all ravens are black- is supported by finding confirming instances of black ravens. And accordingly it would seem that R2- nothing which is not black is a raven- is supported by confirming instances of things which are neither black nor ravens, like white pens. But a white pen does not seem to support - all ravens are black. Most of the things we see are neither black nor ravens. Does each of these really add to our support of this generalisation?
Statement R2 " Nothing which is not black is a raven."
A white pen confirms R2 but surely does not confirm R, although R says the same as R2.
To say R is logically equivalent to R2 is to say that in every possible situation in which one is true so is the other. R2 which is the "contrapositive" of R has the same content.
A generalisation like R - all ravens are black- is supported by finding confirming instances of black ravens. And accordingly it would seem that R2- nothing which is not black is a raven- is supported by confirming instances of things which are neither black nor ravens, like white pens. But a white pen does not seem to support - all ravens are black. Most of the things we see are neither black nor ravens. Does each of these really add to our support of this generalisation?