Logica - Juan Jose Sanguineti

LOGICA
Esta parte, en realidad, puede considerarse como lógica
aplicada. En sentido estricto no es parte de la lógica; pero sí lo es
en cuanto que las tres operaciones se ordenan a conocer la
verdad, y el conocer sistemático y por causas es el conocimiento
científico de la verdad.
Lógica form al y material. La lógica form al analiza detalladamente
las diversas formas que pueden adoptar las operaciones
lógicas, en particular el raciocinio, con una relativa independencia
de sus contenidos concretos.
Por ejemplo, la lógica formal considera cómo el raciocinio
condicional, para ser riguroso, debe acomodarse al esquema «si es
A, es B; es A, luego es B». Detrás de estas letras -llamadas
variables- se significan hechos o verdades materiales («si Pedro
respira, está vivo; respira, luego está vivo»). Se observa aquí
claramente la diferencia entre forma y contenido, entre coherencia
o verdad formal y verdad material. Por consiguiente, la lógica
formal no prescinde de la verdad, ya que las leyes lógicas, por muy
abstractas que sean (por ejemplo, «si una proposición es verdadera,
su negación será falsa»), son siempre y universalmente verdaderas.
Además, la lógica formal se configura como armazón mental para
que el hombre, usándolo, pueda llegar a verdades materiales5.
La denominada lógica «material» viene a ser realmente una
lógica filosófica, un estudio reflexivo de la correspondencia entre
el orden lógico y el orden real. Sobre la base de las operaciones
lógicas del entendimiento humano, se propone interpretar
filosóficamente su naturaleza: esclarecer la naturaleza del juicio,
de los raciocinios, y de las diversas estructuras cognoscitivas.
La lógica form al es una ciencia particular o positiva, más
que una disciplina filosófica, si bien en otras épocas estuvo muy
unida a la filosofía. Exige una peculiar actitud de observación de
los procesos inferenciales, y una capacidad de sistematización
que en parte puede compararse a las matemáticas, y en parte a los
estudios lingüísticos.
La lógica form al se fundamenta en la lógica filosófica. La
lógica formal puede elaborarse con cierta autonomía respecto de
las interpretaciones filosóficas (así, un silogismo puede ser
utilizado por cualquier persona, al margen de sus convicciones
filosóficas). Pero en un nivel de explicación y fundamentación, la
5 . Cfr. E . A g a z z i, La lógica simbólica, Herder, Barcelona 1967, p. 293 y ss.
Para la división de la lógica, ver Th. M e G o v e r n , The Division o f Logic, en «Lavai
théologique et philosophique», Québec, Canadá 1955, n.2, pp. 157-181.
24