Logica - Juan Jose Sanguineti

LOGICA DEL RACIOCINIO
En definitiva, el silogismo categórico vale sobre todo cuando
se trata de enunciar nexos per se entre naturalezas. El silogismo
condicional sirve especialmente cuando se trabaja con hipótesis, y
de modo particular cuando éstas se refieren a nexos causales.
5. E l r a z o n a m ie n t o e n l a l ó g ic a sim bó lica
La lógica simbólica se propone controlar los diversos modos
de razonar mediante el uso de símbolos apropiados y normas
precisas que permiten efectuar operaciones deductivas con el
lenguaje formalizado.
Con este fin, el lenguaje ordinario es reducido a ciertos
esquemas lógicamente relevantes, en los que los términos y
proposiciones se representan mediante letras variables (por
ejemplo, p, q, r, significan cualquier proposición), y los nexos entre
las proposiciones se indican con símbolos constantes (por ejemplo,
Y:a; 0:v; SI...ENTONCES: ->). El todos, algún es simbolizado por
cuantificadores.
Una vez construido el lenguaje formal a cierto nivel, se
procede a establecer una serie de proposiciones básicas indemostradas,
los axiomas, y unas reglas de inferencia que permiten, a la
vista de los axiomas o sus derivados, efectuar operaciones que dan
lugar a nuevas fórmulas (conclusiones).
El procedimiento de obtener conclusiones partiendo de premisas
se llama demostración o prueba. Cabe partir de axiomas, con la
ayuda de reglas de inferencia (en este caso, la conclusión
demostrada se llama teorema). Pero es también posible inferir
conclusiones sólo con reglas, partiendo de cualesquiera premisas
asumidas hipotéticamente.
La deducción axiomática (deducción equivale aquí a procedimiento
racional o demostrativo) pertenece a la lógica formal
concebida como una teoría deductiva plenamente desarrollada a
partir de unos principios. La deducción que sólo usa reglas
-elaborada en este siglo por Gentzen61- se suele llamar deducción
natural, porque es más cercana al modo espontáneo de razonar que
el método axiomático62.
61. Cfr. Untersuchungen über das logische Schliessen, «Mathematische
Zeitschrift», XXXIX , 1934, pp. 176-210, 405-431.
62. Para la distinción entre ley y regla, cfr. J.M. B o c h e n s k i, Lógica y
Ontología, Cuadernos Teorema, n.12, Valencia 1977, pp. 17-18.
145