In the 1940s a philosopher called Carl Hempel showed that by manipulating the logical statement "all ravens are black", you could derive the equivalent "all non-black objects are non-ravens". Such topsy-turvy transformations might seem reason enough to keep philosophers locked up safely on university campuses, where they cannot do too much damage. However, a number of computer... More →