Evolucin histrica del concepto

de la lgica tradicional
Historical evolution of the
traditional logic concept

Recibido: 2 de mayo del 2010

Aprobado: 25 de junio del 2010

l v a r o M a r r i a g a C a r v ajal *
G a b r i e l M r q u e z A n a y a **

Resumen

Abstract

El autor narra a lo largo del artculo las diferentes acepciones que ha

tenido la lgica en la historia del conocimiento, para lo cual realiza un
panorama histrico de la evolucin de la denominada ciencia del pensamiento. Inicia explicando su nacimiento en la Edad Antigua cuando
los filsofos griegos estudiaron la relacin entre lgica y pensamiento; al
respecto menciona los aportes de Pitgoras, Parmnides, Platn y Aristteles. A continuacin comenta cmo en la llamada Era Cristiana (Edad
Media) el estudio de la lgica se estanc y se releg a ser un apndice
de la filosofa. Luego ilustra los logros conceptuales conseguidos por esta
ciencia en la Edad Moderna; menciona los aportes realizados por Francis
Bacon, Enmanuel Kant y George Boole. Tambin comenta la diferencia
entre lgica simblica y lgica formal, lo mismo que la importancia del
lgebra de Boole para el desarrollo de nuevas ramas del conocimiento
como la computacin. Termina el recorrido en el siglo XX relacionando
los aportes de los tericos ms sobresalientes.

The author explains throughout the article the various meanings the
word logic has had in the history of knowledge; to achieve this goal,
he carries out an historical overview on the evolution of the so-called
science of thought. He starts explaining its birth in the Ancient Era
when the Greek philosophers studied the relationship between logic and
thought; concerning that he refers to the contributions of Pythagoras,
Parmenides, Plato and Aristotle. Then he comments about the so-called
Christian era (middle Ages) the study of logic had stagnated and was
relegated to be an appendix of philosophy. Then he illustrates the
conceptual achievements made by this science in the modern ages; he
mentions the contributions made by Francis Bacon, Immanuel Kant and
George Boole. He also discusses the difference between symbolic logic
and formal logic, as well as the importance of Boolean algebra for the
development of new branches of knowledge such as computing. He ends
the tour in the XX century by referring to the theoretical contributions of
the most outstanding theorists.

Palabras clave: lgica, pensamiento, filosofa, historia.

Keywords: logic, thought, philosophy, history.

Cmo citar este artculo: Marquz Anaya, G. y Marriaga Carvajal, .

(2010), Evolucin histrica del concepto de la lgica tradicional, en
Revista Ingeniera Solidara, vol. 6, nm. 10, pp. 107-112.

Licenciado en Fsica y Matemtica, Universidad del Atlntico. Especialista

en Docencia Universitaria, Universidad Cooperativa de Colombia.
Especializacin en Pedagoga para el desarrollo del Aprendizaje Autnomo,
Universidad Nacional Abierta y a Distancia. Docente de tiempo completo
Facultad de Ingeniera, Universidad Cooperativa de Colombia, seccional
Santa Marta. Correo electrnico: alvaromarriaga@gmail.com
**
Licenciado en Ciencias Fsico-Matemticas, Universidad del Magdalena,
Santa Marta. Especialista en Multimedia para la Docencia, Universidad
Cooperativa de Colombia. Coordinador rea Ciencias Bsicas, Facultad de
Ingeniera, Universidad Cooperativa de Colombia, seccional Santa Marta.
Correo electrnico: gabrielmarquezanaya@yahoo.es

Reflexin interdisciplinaria

Introduccin
El concepto de lgica es un derivado del griego
logos. Tiene una gran cantidad de acepciones, lo
que implica la connotacin que ha tenido la lgica
en el desarrollo del conocimiento, pero ante tanta
diversidad de este vocablo es importante direccionarlo hacia una ciencia del pensamiento que en
griego se denomina . En este
primer concepto se interpreta la lgica como una
reflexin filosfica que se preocupa por la formacin
del pensamiento, a travs de leyes que facilitan que
ste sea coherente, armonioso y profundo, alejado
de incoherencias conceptuales y de interpretaciones
diversas que originan confusiones dialcticas.
La lgica es una rama de la matemtica que ha
mostrado desde finales del siglo xix una dinmica
procedimental abierta en especial a las ingenieras,
procesos que llevan consigo bienestar y satisfaccin
a la sociedad.
Son distintos los nombres que ha tomado la lgica a travs de la historia, denominaciones que en s
reafirman el desarrollo y los cambios que ha tenido
en ltimos siglos; esto ha logrado separar, en parte,
la lgica formal de la filosofa hoy considerada como
una rama de la matemtica. Actualmente, se le conoce
con los trminos de: lgica formal, simblica, matemtica, proposicional y clculo proposicional. Algunos pensadores, entre los que se destacan filsofos y
matemticos, consideran que existe solamente una
lgica: la tradicional que parte desde Aristteles hasta
Kant. A la formal que ha sido enriquecida utilizando
operadores aritmticos por lgicos y matemticos
se le llama lgica simblica; se les considera como
simples ajustes conceptuales de la tradicional. Sin
embargo, otros piensan que esta ltima ya no tiene
cabida en un mundo dominado por las tecnologas.
A partir de las mltiples denominaciones que se
le han asignado a la lgica, se han derivado otros
nombres como: lgica combinatoria, lgica de primer orden, lgica secuencial, lgica paraconsistente,
lgica de programacin, lgica cuntica y lgica difusa o borrosa; analizando las diferencias conceptuales
que se han llevado en los ltimos cuarenta aos, este
concepto ha dado un gran salto tecnolgico que se ha
reflejado en los avances cientficos en todos los campos del conocimiento. En este sentido, el propsito
108

Ingeniera Solidaria volumen 6 /

nmeros

10 - 11 /

del artculo es presentar una revisin bibliogrfica

que permita observar los cambios conceptuales dados
en el transcurrir histrico de la lgica.
Es sorprendente el desarrollo de las ciencias y las
innovaciones tecnolgicas que se ha alcanzado en
los ltimos lustros, por lo que es necesario adentrarse en dilucidar en qu avances tericos se han
fundamentado para conseguir sus logros. Se intenta
responder a las pregunta de qu cambios paradigmticos y conceptuales se realizaron para facilitar la
comprensin de la transicin de la lgica clsica a la
lgica difusa, y qu alcances cientficos motivaron
profundizar en esta temtica.

Edad antigua
El pensamiento lgico es una cualidad de los seres
humanos, ya que todo el ejercicio comunicacional
y las actuaciones estn basados en la lgica, de manera consciente o no. La relacin de la lgica con el
pensamiento da origen a su problematizacin y se
desarrolla como una rama de la filosofa, como ocurri en la antigua Grecia. De ah surgieron eminentes
pensadores que fundaron escuelas, como Pitgoras
de Samos cuya academia se fundamentaba en la
misticidad y el pensamiento racional; su estudio de
la msica lo llev a experimentar y pensar que el
sonido est relacionado con los nmeros de igual
manera que el mundo fsico, de ah que sola expresar
que estos son el lenguaje de la naturaleza (Verneaux,
1989, pp. 7-10).
Parmnides de Elea afirma que el ser es y el no
ser no es lo cual estableci una ley lgica denominada el principio de identidad, el principio de no
contradiccin y el principio del tercero exclusivo
(Verneaux, 1989, p. 11).
Platn fue un gran sucesor de la escuela pitagrica. El fundamento de su escuela radica en que
el verdadero placer del hombre es el mundo de las
ideas, a partir de ellas se fomentan las relaciones
dialgicas y dialcticas que nos conducen a observar la naturaleza en toda su dimensin. A travs de
las ideas, establece una derivacin lgica dando la
supremaca de unos conceptos sobre otros, partiendo del ms general hasta llegar al ms especifico,
planteando de esta manera el mtodo de la divisin
dialtica (Verneaux, 1989, p. 12).

enero-diciembre del

2010

Evolucin

his t r i c a d e l c o n c e p t o d e l a l g i c a t r a d i c i o n a l

Aristteles, uno de los ms excelsos filsofos de

todos los tiempos, establece que el nico ser vivo
que tiene logo es el ser humano, es el que tiene
la capacidad de pensar. Se le considera el padre de
la lgica, aunque en sus obras no usa dicho trmino; emplea estrategias que permiten direccionar
correctamente las estructuras del pensamiento en
sus distintas formas de cavilar. Entre las obras de
Aristteles (384-322 a.C.) es en el Tratado de Lgica,
El Organn, en el que se fundamenta todo el acervo
de la lgica, adems de en los siguientes escritos:
Sobre la Interpretacin, Los analticos primero y Los
analticos posteriores; en stos estudia el sujeto, el verbo, las proposiciones afirmativas y negativas, como
tambin se dedica al estudio de los silogismos y de las
demostraciones, respectivamente (Aristteles, 2008).

Edad Media
A comienzos de la era cristiana la lgica sufre un gran
estancamiento en su desarrollo conceptual y se ve
relegada como una teora formal del conocimiento
y un apndice de la filosofa. Su utilizacin est
supeditada a las leyes formales ya establecidas en la
antigua Grecia y como ejercicios acadmicos normatizados, sin derecho a ser modificados o relacionados;
quien, o quienes lo hicieran, seran estigmatizados
y sometidos a toda clase de castigos, ya que era una
poca dominada por los estamentos religiosos. En
esta etapa slo los musulmanes lograron desarrollar
un pensamiento lgico matemtico. La lgica formal
se dedica al estudio de la validez o invalidez de los
razonamientos o argumentos deductivos. Se entiende por argumento a un conjunto de proposiciones
de los cuales una, la conclusin, se afirma como
verdadera sobre la base de las otras proposiciones,
que son las razones o fundamentos para aceptar las
conclusiones.
En la Edad Media la lgica aristotlica era una
asignatura de transcendental importancia en las
Escuelas de Artes, Medicina y Derecho.
La lgica aristotlica era rgida y estrecha de
conceptos pero pese a esto perdur casi intacta
hasta el siglo xvi. Sus concepciones tericas fueron
suplantadas e ignoradas por el nuevo boom del conocimiento: la fsica de Galileo y Newton; algunos
filsofos y matemticos con inclinaciones filosficas

volumen

6 /

nmeros

10-11 /

lva r o M a r r i a g a C a r va j a l
G a b r i e l M r q u e z A n aya

se mantenan fieles a la tradicin lgica, aunque sin

trascender en el desarrollo de las ciencias.

Edad Moderna
En la Edad Moderna con el advenimiento de nuevas
teoras conceptuales y nuevos mtodos de investigacin cientfica, se llevan a cabo fuertes crticas a
la tradicin filosfica. Es as como Francis Bacn
(1561-1626) comulga por un saber que propenda
por el hacer, un saber para la prctica y para lograrlo
escribe un libro denominado Novum Organum, en
contrava con el Organum escrito por Aristteles.
Luego Enmanuel Kant en su Crtica de la razn
pura afirma que la lgica aristotlica es un conocimiento bien elaborado que slo se perfecciona con
la exactitud y precisin a travs de las actividades
del pensamiento. Kant concibe la lgica como propedutica, algo as como el inicio de las ciencias.
Martin Gardner le atribuye a Gottfried Leibniz
(1646-1716) el sueo de crear un algebra universal
mediante la cual todo conocimiento, incluyendo las
verdades morales y metafsicas, pueda ser algn da
representado en un nico sistema deductivo. Leibniz
llam a su sistema clculo filosfico o raciocinador.
Hubo que esperar hasta la llegada de George Boole
quien desarroll los principios del clculo proposicional, un intento espectacular de la matematizacin
de la lgica formal.
Es importante aclarar que la lgica simblica no
es opuesta a la lgica formal tradicional sino que es
un complemento, ya que explica satisfactoriamente
algunos problemas para los que durante mucho
tiempo trataban en vano de encontrar justificaciones.
Aristteles fundamenta los cimientos de la lgica
tradicional en seis tratados que segn J. A. Arnaz
(1998, p. 166) la clasifica de la siguiente manera:
clasificacin de las nociones, juicios y proposiciones,
el silogismo, la demostracin, el silogismo problemtico y las falacias.
A mediado del siglo xix un gran matemtico
autodidacta, George Boole (1815-1864) hizo una
extraordinaria contribucin a la lgica formal relacionando las estructuras lgicas con los operadores
de la matemtica, transformndola en un lgebra
tradicional que hoy se conoce como lgebra de Boole
o lgebra de la conmutacin. Su otra importancia raenero-diciembre del

2010 Ingeniera Solidaria

109

Reflexin interdisciplinaria

dica en relacionar la teora de conjuntos con el clculo

proposicional; este proceso logr revitalizar la lgica.
Esta nueva estructura lgica conocida hoy como
lgebra de Boole ha tenido un gran desarrollo que
ha servido de apoyo para el avance de otras ramas
del conocimiento, como la computacin y la formalizacin y fundamentacin de la matemtica.
A travs de la sistematizacin del lenguaje formal
se ha logrado establecer uno tcnico que ayuda a
formular enunciados acerca del mundo. Se analizan tres caractersticas del lenguaje: la sintaxis, la
semntica y la pragmtica. Estas tres caractersticas
son utilizadas por los programadores de sistemas
generando sofisticados lenguaje de programacin
para la construccin de software; estas aplicaciones
dan origen a la lgica de programacin.

Siglo XX
Con esta nueva estructuracin del pensamiento,
matemticos posteriores a Boole como Gottlieb
Frege trataron de que la demostracin de todos los
fundamentos de la matemtica y de los axiomas de la
aritmtica se denotaran a travs de conceptos estrictamente lgicos. Frege dedic toda su vida al estudio
de los nmeros naturales, dado que su finalidad era
comprender los procesos de la aritmtica a travs de
la lgica; a l se le debe el smbolo de la equivalencia,
mientras que el de la implicacin y el usado para la
operacin nand lo introdujo C. S. Pierce (1987).
Tambin hay que resaltar los aportes que hicieron
en su momento De Morgan (1847) con el complemento de la suma y producto lgico. Boole propuso
en su trabajo The Mathematical Analysis of the Logic
(1847) la suma exclusiva, pero Jevons (1890) agreg
la inclusiva con su respectivo smbolo, suma que se
conoce como disyuncin. En 1928 H. M. Sheffer
introdujo un nuevo smbolo para la operacin lgica
ninguno de los dos.
La Escuela Polaca plante que en las funciones
proposicionales todos los predicados se notaran
delante de sus argumentos, con esto se anularan los
parntesis y se evitaran ambigedades. Esta notacin
prefija se denomina notacin polaca, la cual sirvi de
fundamento para el lenguaje de modelos de estados
finitos, como la mquina de Turing.

110

Ingeniera Solidaria volumen 6 /

nmeros

10 - 11 /

En el siglo xx se dan los verdaderos cambios a

partir de las orientaciones de Leibnitz; Russell, Ludwing, Wittgenstein, Whitehead, Frege, entre otros,
hicieron aportes valiosos que transformaron la lgica
matemtica en un alto nivel de abstraccin dndole
mayor grado de rigor al conocimiento cientfico.
A partir de esta rigurosidad se plantea la necesidad
de separar la lgica tanto de la metafsica como de
la matemtica, utilizando smbolos que convierten
de manera precisa a los enunciados de las ciencias
matemticas.
La lgica matemtica como la conocemos hoy no
es una nueva lgica diferente de la de Aristteles, sino
que es un desarrollo de la formal propuesta con altos
grados de abstraccin. Primero, debemos saber que
la idea de formalizar matemticamente la realidad
es antigua, ya que en el siglo v Pitgoras y su escuela
fundamentaron que los fenmenos naturales no eran
un principio natural, como lo haban concebido los
milesios, sino el nmero. En la bsqueda de esta
fundamentacin se hicieron grandes descubrimiento
en el campo de las matemticas. A partir de este
momento, la lgica matemtica empieza un gran
vuelo con pensadores como Cantor (1845-1918)
con el desarrollo de la teora de conjuntos, Frege
(1848-1925) con el clculo de conceptos y Russel y
Whitehead con su principal obra Principios matemticos, entre otros. Adems, todo pensamiento es un
proceso que se origina en la mente de los humanos,
por lo que no es objeto de anlisis por los lgicos.
Irvin Copi (2000, p. 36) afirma que todo razonamiento es pensamiento pero no todo pensamiento
es razonamiento.
Respecto a la matematizacin del lenguaje, Aristteles era consciente de la dificultad de la vaguedad
del lenguaje, por lo cual hizo uso de variables para
plantear formulas generales de inferencias lgicas.
Esta metodologa fue seguida por los filsofos estoicos que investigaron y reinventaron diversas formas
de inferencias lgicas que en la actualidad se conoce
como lgica de las proposiciones.
Transcurrieron cien aos para que la propuesta
de Boole fuera reconocida y tuviera aplicacin
en las tecnologas. Es as como Claude Shannon
(1938) utiliza de manera prctica, en procesos de
automatizacin lgicos, las herramientas del alge-

enero-diciembre del

2010

Evolucin

his t r i c a d e l c o n c e p t o d e l a l g i c a t r a d i c i o n a l

bra de Boole para desarrollar anlisis simblicos

de circuitos de conmutacin; la combinacin de
varios circuitos lgicos representa operaciones ms
complejas. La funcionalidad del algebra de Boole
se basa en que los circuitos lgicos programados
carecen de memoria, ya que las salidas de estos
estn reguladas por la entrada de informacin en
ese instante. Estos adelantos conceptuales y tecnolgicos que asombraron al mundo dieron origen a la
creacin de sistemas inteligentes y a la comprensin
de su desempeo, que actualmente se conoce como
Inteligencia Artificial.
Esta nueva interpretacin de la lgica booleana
contribuy a los diseos de los circuitos digitales, los
cuales son las bases de las computadoras digitales y
de los sistemas controlados por microprocesadores.
La unidad mnima de manejo de cualquier circuito
integrado se denomina compuerta lgica, la cual
tiene slo dos niveles de seales posibles: activar o
desactivar. De este desarrollo, nace la lgica combinatoria, la cual hace referencia a la mezcla de ms
de dos compuertas lgicas bsicas para la realizacin
de eventos programables.
Sin embargo, la lgica combinatoria no daba
respuesta satisfactoria a problemas que surgieron a
partir del diseo de circuitos combinatorios; para
solucionar este impase se cre la lgica secuencial.
Como a los sistemas combinatorios por naturaleza
se les dificulta tomar decisiones a posteriori por
carecer de memoria, los cientficos le pusieron un
retroalimentador cuya funcin es memorizar las
acciones que ha ejecutado; es decir, la salida de
informacin no depende de las entradas en un
momento dado sino del estado interno del sistema
y del valor anterior de la informacin. Este rediseo de los circuitos combinatorios se denomin
sistema de lgica secuencial cuyo propsito es la
construccin de los flip-flop, que son elementos
de memoria bsica que constan de un conjunto de
combinaciones lgicas.
Desarrollo de la lgica difusa
El avance de la lgica formal a finales del siglo xix
facilit contar con una notacin para representar
aseveraciones relacionadas con todo lo que existe
en el mundo. Ya en 1965 existan programas que
volumen

6 /

nmeros

10-11 /

lva r o M a r r i a g a C a r va j a l
G a b r i e l M r q u e z A n aya

podan describir un problema en notacin lgica y

encontrarle la solucin, que es en lo que se fundamenta la Inteligencia Artificial.
Otra lgica que hay que destacar es la modal,
cuyo origen no se precisa en un espacio temporal,
pero se tiene la certeza que alcanz un inusitado
auge en la Edad Media. La lgica modal moderna
fue reinterpretada a comienzos del siglo xx como
una contraposicin a la clsica. Los ms ilustres
representantes de esta corriente son Gottlob Frege,
Russell y Withehead. En un comienzo en la lgica
modal se establecieron dos operadores lingsticos:
la idea de necesidad y de probabilidad, acompaada
de una estructura semntica.
Esta fundamentacin terica de la lgica modal
sirvi de apoyo conceptual para la elaboracin de
una teora de conjuntos difusos que diera explicacin satisfactoria a problemas cuyos enunciados
estuvieran sujetos a procesos de incertidumbre. Un
sistema es considerado difuso en la medida en que
el grado de pertenencia de determinada clase est
definido en un rango explicito que va de cero a uno,
como en el caso x es inteligente, x es alto, x est
caliente. Estas proposiciones en lenguaje natural
nos permiten establecer la existencia de un infinito
grado de verdad; las propiedades alto, inteligente
y caliente tienen un valor de verdad difuso.
Debido a la similitud con que el valor de verdad
de una proposicin difusa vara entre el intervalo 0 y
1, es dado a confundir los trminos difusos con probable. Por eso algunos matemticos consideran que
sobra la teora de conjuntos difusos o lgica difusa,
ya que est inmersa en la teora de la probabilidad.
En 1965 Lofti Asker Zadeh propuso a la comunidad cientfica un trabajo matemtico describiendo
los conjuntos difusos y ocho aos ms tarde presenta
una teora completa y extraordinaria para una nueva
lgica que se denomin lgica difusa.
La lgica difusa se puede considerar como un
complemento de la simblica de Boole, ya que se
fundamenta en la variabilidad de cero a uno del
valor de verdad de un enunciado. Dicha lgica
es una herramienta conceptual que tiene diversas
aplicaciones en varios campos del conocimiento,
especficamente comerciales y en el desarrollo de la
electrnica, cuyas actividades estn relacionadas con
enero-diciembre del

2010 Ingeniera Solidaria

111

Reflexin interdisciplinaria

estimadores difusos cuantificables y cualificables,

como: muy cercano, rara vez, poco probable, muy
alto, medio alto y otros.

Conclusin
Hoy las interrelaciones de la lgica clsica con las
nuevas tecnologas no dejan de causar asombro y
admiracin por el gran nmero de personas que de
manera concatenada, desde la antigedad, fueron
aportando su granito de arena hasta llegar a lo que
se conoce hoy como lgica difusa. La gente vive el
presente y le brinda reconocimiento a los logros
alcanzados hoy, olvidando la gnesis de estos resultados.
Filsofos, lgicos y matemticos se trenzaron, a
travs de diferentes pocas, en batallas conceptuales
con el propsito de dilucidar si la lgica deba considerarse como una rama de la matemtica o como una
de la filosofa; gracias a estas divergencias ideolgicas
ambas ramas del conocimiento salieron fortalecidas.
As, la lgica tradicional se ha visto fragmentada pero
conserva su unidad terica y conceptual aunque ha
recibido distintas denominaciones que han contribuido en el avance de las ciencias y el desarrollo de
nuevas tecnologas. Existen muchas expectativas
por el prximo paso que se pueda dar dentro del
perfeccionamiento de la lgica.

112

Ingeniera Solidaria volumen 6 /

nmeros

10 - 11 /

Referencias
Aristteles (2008), Tratados de lgica: El Orgnon, Mxico, Editorial Porra.
Arnaz, J. A. (1998), Iniciacin a la lgica simblica, Mxico, Ed. Trillas.
Arrieche Alvarado, M. J. (2006), Papel de la teora de
conjuntos en la construccin de los nmeros naturales, en Paradigma vol. 27, nm. 1, p. 349-363.
Delgado, A. (1998), Inteligencia artificial y minirobots,
2.a ed., Bogot, Ecoe Ediciones.
Grahama, I. (1996), Mtodos orientados a objetos, 2.a ed.,
Mxico, Addison-Wesley/Daz de Santos.
Hortala, M. T., Leach, J. y Rodriguez Artalejo, M.
(2001), Matemtica discreta y lgica matemtica, 2.
ed., Madrid, Editorial Complutense.
Irvin M., Copi, Cohen, C. (2000), Introduccin a la
lgica, 4. ed., Mxico D.F., Limusa Noriega Editores.
Nilsson, N. J. (2000), Inteligencia artificial. Una nueva
sntesis, 1.a ed., Madrid, McGraw-Hill.
Russell, S. y Norvig, P. (1996), Inteligencia artificial. Un
enfoque moderno, 1.a ed., Madrid, Prentice Hall.
Vernaux, R (1989), Textos de los grandes filsofos: Edad
Antigua, Barcelona, Herder.
Thesaurus. Tomo iv. Nmero 3 (1999), Bernardo Morales Ascencio.Las lgicas no clsicas: estudio de la modalidad, Bogot, Universidad Nacional de Colombia.

enero-diciembre del

2010