The Linnaean hierarchy is a system of nested classes whose members are individual organisms. It will be the purpose of this paper to set out the logic of this system in a manner which is faithful to ...