Raven paradox
|
|
The Raven paradox is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition.
This paradox is also often called Hempel's paradox or Hempel's ravens.
| Contents |
A statement of the problem
When numerous people over thousands of years observe something like the law of gravity, we tend to believe that it is true with very high probability. This type of reasoning could be summarized by the principle of induction:
- If an instance X is observed that is consistent with theory T, then the probability that T is true increases
Hempel gives an example of the principle of induction: the theory that all ravens are black. We go out and examine a million ravens, and observe that they are all black. After each observation, our belief in the theory "all ravens are black" will rise slightly. The principle of induction looks reasonable here.
Now comes the problem. The statement "all ravens are black" is logically equivalent to the statement "all non-black-things are non-ravens". If we observe a red apple, that is consistent with that statement. A red apple is a non-black-thing, and when we examine it, we observe that it is a non-raven. So by the principle of induction, observing a red apple should increase our belief that all ravens are black! This problem has been summarized (derived from a poem by Gelett Burgess) as:
- I never saw a purple cow
- But if I were to see one
- Would the probability ravens are black
- Have a better chance to be one?
Proposed resolutions
Philosophers have offered many solutions to this violation of intuition. The American logician Nelson Goodman has suggested adding restrictions to our reasoning, such as never considering an instance as support for "All P are Q" if it would also support "No P are Q".
Other philosophers have questioned the "principle of equivalence". Perhaps the red apple should increase our belief in the theory "all non-black things are non-ravens", without increasing our belief that "all ravens are black". That suggestion has been questioned, though, on the grounds that you can't have a different degree of belief in two different statements, if you know they are either both true or both false.
Goodman, and later Quine, used the term projectible predicate to describe those expressions, such as raven and black, which do allow of inductive generalization; non-projectible predicates are by contrast those such as non-black and non-raven which apparently do not. (See also grue, another non-projectible predicate invented by Goodman.) Quine suggests that it is an empirical question which, if any, predicates are projectible; and notes that in an infinite domain of objects the complement of a projectible predicate ought always be non-projectible. This would have the consequence that, although "All ravens are black" and "All non-black things are non-ravens" must be equally supported, they both derive all their support from black ravens and not from non-black non-ravens.
Some philosophers have argued that it's only our intuition that is flawed. Observing a red apple really does increase the probability that all ravens are black! After all, if someone gave you all the non-black things in the universe, and you noticed that there were no ravens in the collection, then you could indeed conclude that all ravens are black. The example only seems counterintuitive because the set of non-black-things is far, far larger than the set of ravens. Thus observing one more non-black-thing which is not a raven should make a tiny difference to our degree of belief in the proposition compared to the difference made by observing one more raven which is black.
There is an alternative to the "principle of induction" described above.
Let X represent an instance of theory T, and I represent all of our background information.
Let <math>\Pr(\bullet | \circ)<math> represent the probability of <math>\bullet<math> given <math>\circ<math>. Then,
- <math>\Pr(T|XI) = \frac{\Pr(T|I) \cdot \Pr(X|TI)}{\Pr(X|I)}<math>
This principle is known as "Bayes' theorem". It is foundational to the mathematics of probability and statistics. When scientists publish analyses of experimental results and calculate that they are "statistically significant", they are implicitly using this principle. It could be argued that this principle is a better representation of how scientists actually reason than the original "principle of induction" described above.
Using this principle, the paradox does not arise. If you ask someone to select an apple at random and show it to you, then the probability of seeing a red apple is independent of the colors of ravens. The numerator will equal the denominator, the ratio will equal one, and the probability will remain unchanged. Seeing a red apple will not affect your belief about whether all ravens are black.
If you ask someone to select a non-black-thing at random, and they show you a red apple, then the numerator will exceed the denominator by an extremely small amount. Seeing the red apple will only slightly increase your belief that all ravens are black. You'll have to see almost every non-black-thing in the universe (and see they're all non-ravens) before your belief in "all ravens are black" increases appreciably. In both cases, the result agrees with intuition.
See also
References
- Hempel, C. G. A Purely Syntactical Definition of Confirmation. J. Symb. Logic 8, 122-143, 1943.
- Hempel, C. G. Studies in Logic and Confirmation. Mind 54, 1-26, 1945.
- Hempel, C. G. Studies in Logic and Confirmation. II. Mind 54, 97-121, 1945.
- Hempel, C. G. Studies in the Logic of Confirmation. In Marguerite H. Foster and Michael L. Martin (http://www.bu.edu/philo/faculty/martin.html), eds. Probability, Confirmation, and Simplicity. New York: Odyssey Press, 1966. Pp 145-183
- Falletta, Nicholas. The Paradoxicon: a Collection of Contradictory Challenges, Problematical Puzzles, and Impossible Illustrations. 1983. Pp 126-131. ISBN 0385179324
External links
- PRIME Encyclopedia (http://www.mathacademy.com/pr/prime/articles/paradox_raven/index.asp)
- A text by Peter Bloxsom on the raven paradox (http://homepage.powerup.com.au/~mindgym/rumpus/hempel.htm)de:Hempels Paradox