Seleccionando las combinaciones que contienen A, hallamos que la descripción del granito es, esto es, el granito no es una roca sedimentaria, y es o basalto o no-basalto. Si queremos una descripción del basalto, la respuesta es de forma semejante, es decir, el basalto no es una roca sedimentaria, y es o granito o no-granito.
Como ya resulta perfectamente evidente que el basalto debe ser o granito o no, y viceversa, las premisas no logran darnos información alguna sobre el punto; es decir, el Método de Inferencia Indirecta nos salva de caer en cualquier conclusión falaz.
Este ejemplo ilustra suficientemente tanto la falacia de las premisas negativas como la del Término Medio No Distribuido de la lógica antigua.
La falacia denominada proceso ilícito del término mayor tampoco puede cometerse al seguir las reglas del método. Nuestro ejemplo fue (p. 65)
| Todos los planetas están sujetos a la gravedad, | (1) |
|---|---|
| Las estrellas fijas no son planetas. | (2) |
La falsa conclusión es que «las estrellas fijas no están sujetas a la gravedad». Los términos son
Y las premisas son
| A = AC, | (1) |
|---|---|
| B = a B. | (2) |
Las combinaciones que no resultan contradichas al compararlas con estas premisas son
| A b C | a B c |
|---|---|
| a. C. | ab C |
| abc . |
Para estrella fija tenemos la descripción que dice,
“una estrella fija no es un planeta, sino que está sujeta o no a la gravedad, según sea el caso.”
Aquí no tenemos ninguna conclusión acerca de la conexión entre las estrellas fijas y la gravedad.
# El ábaco lógico.
El Método Indirecto de Inferencia ya ha sido descrito suficientemente, y un examen minucioso de sus capacidades mostrará que es capaz de proporcionar un análisis y una solución completos de cualquier cuestión que implique únicamente relaciones lógicas. La principal dificultad del método consiste en el gran número de combinaciones que puede ser necesario examinar; no sólo la labor requerida puede volverse formidable, sino que surge una posibilidad considerable de error. Por consiguiente, he prestado mucha atención a los modos de facilitar el trabajo, y he logrado reducir el método a una forma casi mecánica. Pronto pareció evidente que si las combinaciones concebibles del Alfabeto Lógico, para cualquier número de letras, en lugar de estar impresas en un orden fijo sobre un