corresponden a la disposición bifurcada, con la implicación de que algunas de las clases menores no están representadas entre las cosas existentes. Si tomamos el género A y lo dividimos en las especies AB y AC, implicamos dos proposiciones, a saber, que en la clase A las propiedades de B y C nunca ocurren juntas, y que nunca están ambas ausentes; estas proposiciones son lógicamente equivalentes a una, a saber, AB = Ac. Nuestra clasificación es entonces idéntica a la siguiente clasificación bifurcada:—
| A | |||||||
|---|---|---|---|---|---|---|---|
| AB | A b | ||||||
| ABC = 0 | AB c | A b C | A bc = 0 |
Si, de nuevo, dividimos el género A en tres especies, AB, AC, AD, o bien estamos incurriendo en un error lógico, o bien debe entenderse que estamos implicando que, en lo que respecta a las demás letras, solo existen tres combinaciones que contienen A, a saber, ABcd, AbCd y AbcD.
La necesidad lógica de la clasificación bifurcada ha sido expuesta clara y correctamente en la Outline of a New System of Logic de George Bentham, el eminente botánico, una obra cuyo valor lógico ha sido pasado por alto hasta hace poco. El Sr. Bentham señala, en la p. 113, que toda clasificación debe ser esencialmente bifurcada, y toma, como ejemplo, la división de los animales vertebrados en cuatro subclases, del modo siguiente:—
| Mamífera— | dotadas de mamas y pulmones. |
|---|---|
| Aves | sin mamas pero con pulmones y alas. |
| Pez | desprovisto de pulmones. |
| Reptiles | privado de mamas y alas, pero con pulmones. |