The language of taxonomy: an application of symbolic logic to the study of classificatory systems