Definicin de Lgica Formal

Esta lgica tambin es conocida con los nombres de lgica aristotlica, lgica
tradicional, lgica clsica, lgica formal o lgica de los enunciados. Esta ciencia fue
obra de Aristteles (384-322 antes de Cristo), quien la sistematiz y la estructur, y le
confiri el carcter de instrumento para la investigacin y el conocimiento cientfico,
reflejando desde sus inicios la utilidad de la misma en las diversas ciencias.
Lo que a continuacin se expone no es en su totalidad fruto del trabajo intelectual de
dicho filsofo, porque esta disciplina ha progresado a travs de los aos con las
aportaciones, producto de las reflexiones, de muchos otros lgicos.
A. DEFINICIN
1. Definicin nominal etimolgica (1)
Mario Moro, Benlloch Ibarra y Tejedor Campomanes sealan que el trmino "lgica"
viene del griego 'logos', que significa, para el primero: palabra o expresin del
pensamiento (2), y para el segundo y el tercero: "palabra, tratado, razn, etc." (3)
El contenido de la palabra griega aludida es ms amplio segn el diccionario de la
lengua espaola, el cual determina que la palabra logos "equivale a palabra, concepto,
expresin, razn, inteligencia, etc." (4)
De las nociones que integran los contenidos de las tres definiciones nominales
etimolgicas indicadas, slo "concepto" constituye parte del objeto material de la lgica
general, no obstante que en sus orgenes, segn I. Durin, citado por Francisco Larroyo,
el trmino lgico se inclin a su raz de logos-palabra por las reflexiones sobre el uso y
sentido del lenguaje utilizado por los sofistas y retricos. (5)
2. Definicin real
La lgica aristotlica se ha concebido como ciencia y / o arte por diversos filsofos y/o
lgicos, en efecto:
a. Jaime Balmes indica que la lgica es arte en cuanto prescribe las reglas para dirigir
el entendimiento al conocimiento de la verdad, y es ciencia al justificar o fundamentar
dichas reglas (6)
b . Juan Jos Sanguineti determina que la lgica es arte y ciencia a la vez; como arte
tiene un fin prctico: instrumento para conocer rectamente, y como ciencia tiene un fin

especulativo: describir la manera de pensar del hombre, cuyo objeto son las
propiedades o las relaciones lgicas, que las reputa como entes de razn (7)
c. Antonio Gonzlez expresa que la lgica es "la disciplina que estudia las leyes que
rigen el razonamiento correcto"(8)
d. Benlloch Ibarra y Tejedor Campomanes manifiestan que la lgica como ciencia
estudia las formas generales del pensamiento (concepto, juicio y raciocinio), y como
arte estudia las normas para pensar rectamente (9)
e. Mario Moro expresa que la lgica es parte de la filosofa (ciencia) que estudia las
normas para razonar rectamente y evitar el error (10)
f. Sergio Custodio afirma que la lgica "es una ciencia que estudia las formas del
pensar, razonar o argumentar" (11)
Las diferencias en las concepciones de la lgica general son claras:
a. Jaime Balmes, Juan Jos Sanguineti, Benlloch Ibarra y Tejedor Campomanes la
definen como ciencia y arte.
b. Antonio Gonzlez, Mario Moro y Sergio Custodio la definen nicamente como
ciencia.
En la concepcin de la lgica clsica como ciencia, tambin existe divergencia sobre su
objeto de estudio, porque o es fundamentar las reglas para dirigir el entendimiento al
conocimiento de la verdad (Jaime Balmes), o las normas para razonar correctamente
(Antonio Gonzlez y Mario Moro), o las formas generales del pensmuiento (Juan Jos
Sanguineti, Sergio Custodio, Benlloch Ibarra y Tejedor Campomanes).
Se considera, ante las diferencias sealadas, que la lgica general:
a. Es una ciencia y no arte, porque esta ltima es menos comprensiva de todo su objeto
de estudio: la lgica clsica no son slo normas para razonar correctamente, stas son
consecuencia del estudio reflexivo y sistemtico de los elementos generales del
pensamiento;
b. Tiene por objeto de estudio (objeto material) los pensamientos, desde la perspectiva
(objeto formal) de su estructura: concepto, juicio y raciocinio (12) La lgica aristotlica
se ocupa de todos y cada uno de los elementos (o formas) generales del pensamiento, y
no slo de uno, verbigracia: el razonamiento, el cual se integra -de todos modos- de

juicios, y stos de conceptos.

c. Su finalidad es que el pensamiento sea vlido, es decir, que el mismo sea congruente
o coherente en s mismo, porque la conformidad de ste con la realidad es el
significado del trmino "verdad" que interesa a otra ciencia: teora del
conocimiento(13)

(1) Juan Jos Sanguineti expresa que las definiciones pueden ser nominales, si
expresan el significado de un trmino, o reales, si expresan la esencia de la cosa.
Sanguineti, Juan Jos. Op. cit., pginas: 85-88.
(2) Moro, Mario. Pensamiento, lenguaje y accin. Guatemala, Impresos Industriales,
19781. pgina: 13.
(3) Benlloch Ibarra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 23.
(4) Diccionario de la lengua espaola. Espaa, Grupo Editorial Ocano, 1989.
(5) Aristteles. El organon (tratados de lgica). Estudio introductorio, prembulos a
los tratados y notas al texto por Francisco Larroyo, Mxico, Editorial Porrua, Sociedad
Annima, 1982, sptima edicin, pgina: XLII (del estudio introductorio).
(6) Balmes, Jaime. Op. cit., pginas: 5 y 6.
(7) Sanguineti, Juan Jos. Op. cit., pginas: 18-20.
(8) Gonzlez, Antonio. Introduccin a la prctica de la filosofa. El Salvador, Editores
UCA, 1995, octava edicin, pgina: 108.
(9) Benlloch Ibarra, E., y, C. Tejedor Campomanes. Op. cit., pgina: 23
(10) Moro, Mario. Op. cit., pgina: 13.

(11) Es notorio el error de esta definicin: no son una sola y misma cosa: a. las formas
del pensar, que se refieren al concepto, al juicio y al raciocinio; b. razonar, que es el
acto complejo por el cual de varios juicios conocidos inferimos otro desconocido; y, c.
argumentar, que es la manifestacin verbal del raciocinio. Custodio,
Sergio. Introduccin a la lgica. Guatemala, Editorial Oscar de Len Palacios, 2003,
segunda reimpresin de la segunda edicin, pgina: 18.
(12) Aristteles, el padre de la lgica como ciencia, estudi todos y cada uno de los
elementos generales del pensamiento: el concepto en su tratado denominado
Categoras, la proposicin (que se refiere al juicio) en el tratado Peri Hermeneias y el
silogismo (que alude al razonamiento) en su tratado Primeros analticos.
(13) Antonio Gonzlez, al discernir entre lgica y teora del conocimiento, afirma que
ambas se ocupan de la correccin del pensamiento: la gnoseologa desde la perspectiva
de su verdad, la relacin entre la inteligencia humana y la realidad, y la lgica desde la
perspectiva de su validez, porque prescinde de los contenidos de la inteligencia
humana para atender las leyes formales que rigen los razonamientos. Lo anterior
constituye el fundamento para sostener que en la actualidad la lgica general, como
disciplina formal, no busca dirigir el entendimiento al conocimiento de la verdad,
entendida sta como la conformidad del pensamiento con la realidad. Conzlez,
Antonio. Op. cit., pginas: 109 y 113