4 1.

FUNDAMENTACIÓN DEL NÚMERO RACIONAL §1-2

premisa a) anterior significa que el conjunto de
los P contiene al de los T, pudiéndose sinteti-
zar gráficamente en la figura 1 el razonamien-
T to expuesto.
  Tales ilustraciones gráficas del silogismo son lla-
P madas por algunos autores "diagramas de Venn",
atribuyéndolas al lógico inglés John Venn (muerto
en 1923), con notorio desconocimiento de la priori-
F dad de Euler, que las usó en sus Cartas a una prin-
cesa de Alemania (1770), con el fin, según decía, de
que "todo salte a la vista".
Fig. 1.
  En un razonamiento válido, la verdad de la tesis se reduce a la verdad
supuesta de la hipótesis; pero la validez de un razonamiento es algo distinto
de la verdad de las proposiciones que en él intervienen. Dicho de otro modo:
La verdad formal o corrección lógica es distinta de la verdad material o real,
es decir, del contenido de las proposiciones.
  Ejemplos: l. He aquí un razonamiento correcto, en que la conclusión
es verdadera, aunque las dos premisas de la hipótesis son falsas (fig. 1):
  Hipótesis: a) Todos los triángulos son poliedros;
b) Todos los poliedros son figuras planas.
  Tesis: Todos los triángulos son figuras planas.
  2. Razonamiento correcto, en que hipótesis y conclusión son falsas:
  Hipótesis: a) Todos los triángulos son poliedros;
b) Todos los poliedros son números primos.
  Tesis: Todos los triángulos son números primos.
  3. Razonamiento incorrecto, en que la hipótesis es verdadera, pero falsa la con-
clusión (fig. 2):
  Hipótesis: a) Todos los planetas son astros;
b) El Sol es un astro.

V
P

Sx P
C
A

Fig. 2. Fig. 3.
  Tesis: El Sol es un planeta.
  4. Razonamiento incorrecto, en que son verdaderas las hipótesis y la conclusión:
  Hipótesis: a) Todas las estrellas son astros:
b) El Sol es un astro.
  Tesis: El Sol es una estrella.
  En este caso, la tesis (aunque verdadera) no es consecuencia lógica de la hipótesis.