Logical basis for morphological characters in phylogenetics