Logica - Juan Jose Sanguineti

LOGICA
nes compuestas: así, la fórmula copulativa «A y B» (siendo A y B
proposiciones) puede transformarse por conmutación en la
fórmula «B y A», y de ella cabe obtener aisladamente las
proposiciones A y B. Pueden también establecerse equivalencias
entre los nexos de las proposiciones compuestas: por ejemplo, «no
es verdad que Pedro es inteligente y generoso» equivale a «o Pedro
no es inteligente, o no es generoso».
Las inferencias inmediatas constituyen un modo legítimo y
originario de razonar, aunque más que dar paso a proposiciones
con un nuevo contenido conceptual, originan fórmulas equivalentes,
que dicen lo mismo de otro modo, o al menos extraen una
parte de un enunciado complejo. Se puede intentar reducirlas a la
inferencia mediata, indicando las premisas generales que en cada
caso las gobiernan (por ejemplo, «la negación de la negación
equivale a una afirmación»), pero el procedimiento resulta algo
artificioso. El modo más frecuente de razonar en esta línea consiste
más bien en asumir esas «premisas» como reglas que se aplican a
un premisa dada; por ejemplo, al aplicar la regla de la doble
negación a la fórmula «no es verdad que no-P», obtenemos «P».
Nos corresponde ahora estudiar con detalle las formas
específicas de la inferencia mediata, que suelen denominarse
silogismos, tanto los que operan con proposiciones simples
(silogismo categórico), como los que lo hacen con proposiciones
compuestas (silogismo hipotético).
4. E l f u n d a m e n t o d e l a in f e r e n c ia
El raciocinio no es una pura relación de razón basada en la
coherencia del pensamiento. La estructura lógica que enlaza las
premisas con las conclusiones se funda en la estructura de las cosas,
en la unión necesaria entre algunas de sus propiedades (por
ejemplo, si alguien habla, es inteligente).
Esto no significa, claro está, que el raciocinio no tenga cierta
autonomía respecto a la realidad; precisamente por esto la
coherencia, siendo conditio sine qua non para alcanzar una nueva
verdad, no es causa suficiente de verdad: cabe razonar desde
principios falsos, o hipotéticos.
E l fundamento real de la inferencia racional está en el hecho
de que lo que posee una perfección, posee todo lo implicado
propiam ente («per se») en esa perfección. Este principio da como el
esquema general y más sencillo que la mente sigue en cualquier
130