§1-2 INTRODUCCIÓN LÓGICA 5

  5. Las clases de objetos pueden relacionarse por tipos de proposiciones distintas

a las vistas en los ejemplos anteriores, sobre las que también se razona. Así, por
ejemplo:
  Hipótesis: a) Ningún valiente es cobarde;
b) Alguna persona es valiente.
  Tesis: Alguna persona no es cobarde.
  En cambio, la conclusión "Ninguna Persona es Cobarde" no puede deducirse de la
hipótesis hecha (fig. 3).
  Ejercicios: 1. Designando por V y F la verdad o falsedad de razonamiento, hipótesis
y tesis, los ejemplos 1 a 4 corresponden a los tipos:
  V) F → V; V) F → F; F) V → F; F) V → V.
  Véase que de los ocho tipos distintos, sólo es imposible el V) V → F
  2. Construir ejemplos de los tres tipos restantes.
  b) La intuición geométrica de la posición correlativa que dos círculos pueden ocu-
par en el plano sirvió a J. Díaz Gergonne para establecer, en 1816, el siguiente cua-
dro de relaciones entre dos clases de objetos, representando la amplitud de cada
círculo la extensión del correspondiente concepto específico (§ 1-1) que tenemos de la
clase o conjunto de objetos a que se refiere:
 1º) Exclusión; ej.: círculos P y C (fig. 3);
 2º) Intersección; ej.: círculos P y V (fig. 3);
 3º) Identidad; coincidencia de los círculos;
 4º) Inclusión; ej.: posición del círculo T respecto al P (fig. 1);
 5º) Comprensión; inversa del anterior, P respecto a T (fig. 1).
  Si se forman las 25 parejas * que pueden obtenerse al tomar dos de esas relaciones
como premisas de hipótesis, los correspondientes diagramas darán la conclusión a
que puede llegarse o no según los casos. Esto método gráfico de formar razonamien-
tos es el llamado algoritmo de Díaz Gergonne.
  Ejemplos: 6. Si están relacionadas por exclusión las clases P y C, así como las C y V
(fig. 3), sólo podrá afirmarse de las P y V que su relación mutua puede ser cualquiera
de las del cuadro de Díaz Gergonne.
  7. Si están relacionadas por inclusión la clase T respecto a la P, y la P respecto a la
F (fig. 1), podrá seguramente afirmarse que la clase T está incluida en la F.
El algoritmo de Díaz Gergonne da ya una representación más clara y completa de
los silogismos que la realizada por Aristóteles, pero el progreso fundamental en
este sentido, lo realiza Georges Boole hacia 1850, en trabajos sobre el análisis ma-
temático de la lógica y la investigación de las leyes del pensamiento, desarrollando
la llamada "álgebra de clases" (véase nota I). Esta "lógica simbólica" y su desarrollo
posterior en variadas direcciones, no constituye un mero pasatiempo de los matemá-
ticos, sino que responde a una real necesidad.
  Muchas paradojas y confusiones en lógica provienen de la falta de precisión y de
las deficiencias del lenguaje ordinario.
  Ejemplos: 8. Los apóstoles son doce; Pedro y Pablo son apóstoles, luego son doce.
  9. La dura experiencia de quien conoció el "gato de nueve colas" en la antigua ma-
rina inglesa puede "justificarse lógicamente" por el siguiente seudo-razonamiento:
Ningún gato tiene ocho colas; todo gato tiene una cola más que ningún gato; por
tanto, todo gato tiene nueve colas.

* Es decir, variaciones binarias con repetición (§ 11-1).