The Logical Basis of Phylogenetic Analysis