Virologists, taxonomy and the demands of logic