A LOGICAL BASIS FOR BIOLOGICAL CLASSIFICATION