Академический Документы
Профессиональный Документы
Культура Документы
de la lgica tradicional
Historical evolution of the
traditional logic concept
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
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.
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
nmeros
10 - 11 /
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
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
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
109
Reflexin interdisciplinaria
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
nmeros
10 - 11 /
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
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
111
Reflexin interdisciplinaria
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
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