Claudia Oliva Hernndez.

Historia de la lgica formal

El concepto de la lgica formal
Al querer conocer la historia de la lgica en su totalidad, puede llegar a generar un
problema, ya que, con el paso del tiempo incluso se ha denominado lgica a
cuestiones que no lo suelen ser por completo o que en realidad no entran en lo
que es la lgica. Por la cuestin mencionada anteriormente es necesario realizar
estudios muy cuidadosamente, tomando cuenta hasta los mnimos detalles, ya
que muchas ciencias llegan a ser consideradas como lgica, una clara cuestin se
encuentra en que la totalidad de la filosofa y hasta la ciencia en general, ha sido
determinada como lgica.
Todos los investigadores que se han enfrentado a la problemtica menciona
anteriormente, que se han ocupado de este mbito cientfico han vuelto a
remontarse en los estudios de Aristteles. Desde luego que en muchas ocasiones
investigadores no han estado de acuerdo con las tesis aristotlicas e incluso han
llegado a sustituirlas por otras, a pesar de que su problemtica se encuentra
relacionada con el Organon de Aristteles. De este modo se consideraran lgicos
aquellos problemas que han surgido por esta problemtica, ya que, en sentido
estricto se considera lgica lo que se encuentra dentro del tipo de problemtica de
los analticos primeros.
Los analticos primeros tratan del silogismo, en el cual dada una cosa, se sigue
necesariamente otra. En esta cuestin se tratan de frmulas en las que emplean
variables y no palabras con significacin constante, a estas frmulas se les conoce
como proposiciones lgicas, las cuales se consideraran como el objeto principal
de la lgica.
Hay problemas que se plantean generalmente en relacin con las proposiciones
estos son: el problema de su esencia, ya que surge la cuestin de que si son las
proposiciones formulas idiomticas, estructuras verbales; tambin que si estas con
psquicas o funciones, que si son contenidos objetivos y por ltimo que significa

una ley lgica. Estos problemas que fueron tratados por Aristteles, son hoy en da
de la competencia metodolgica general. Las cuestiones de la semitica y la
metodologa, se halla, relacionadas con la lgica, ya que, la semitica debe a la
lgica su fundamentacin y la metodologa de esta manera recibe su
perfeccionamiento. Vamos a denominar lgica formal a lo resta, excluidas estas
dos disciplinas.
Para que la historia de los problemas de la lgica, se encuentre completa, debe
tener como centro o como nucle la historia de los problemas de la lgica formal,
para despus poderse ocupar de los problemas de la evolucin de la semitica y
metodologa.
En las proposiciones lgico-formal se sealan problemas similares a los que
surgieron en los silogismos aristotlicos, ya que, surgen cuestiones como la que si
se sigue o no se sigue, que si se puede probar la validez.
Resea histrica sobre la historia de la lgica
A. Los comienzos
Los primeros ensayos de una historia de la lgica los encontramos en los
humanistas, sealando a Petrus Ramus como el primer historiador de la misma,
ya que, as como es historiador de la lgica, tambin es un fantaseador tan grande
como en cuanto lgico, porque nos habla de una lgica patrum, en la que aparece
No y Prometeo como los primeros lgicos, de una logica mathematicorum luego,
en la que hace referencia a los pitagricos.
La obra de B. Keckermann, sigue siendo de valor hasta hoy, porque constituye
una parte importante para el estudio de la lgica del siglo XVI, pero sin embargo
no son ms valiosos que los de Ramus.
B. Prejuicios
La mayora de los historiadores de la logica de los siglos XVII, XVII y XIX, tratan
ms de los problemas ontolgicos, epistemolgicos y psicolgicos que lgicos
Los prejuicios son tres:

El primero es que domina generalmente la evidencia de que el formalismo tiene

muy poco que ver con la verdadera lgica, por esta situacin las investigaciones
lgico-formales, se hallan completamente desatendidas.
El segundo prejuicio como consecuencia del primero, se considera a la escolstica
como una media tempestas, una tenebrosa edad, carente de ciencia. La
escolstica posea una lgica formal muy desarrollada, se intenta con otras lgicas
completamente diversas llegar a poder entender mejor la historia o al menos dar
con una interpretacin acertada de Aristteles, lo cual ogra que las investigaciones
tomen caminos diferentes.
El ltimo prejuicio es que domina con totalidad una curiosa creencia en el
progresivo desarrollo rectilneo de toda ciencia y, por tanto tambin de la lgica
formal.
Thomas Reid
Reid da cuenta de la doctrina de un lgico que no ha ledo con precisin, sino
tambin, y esto es mucho ms importante, que para el filsofo escoces la logica
formal era intil y pesada. Reid consideraba como los textos ms intiles lo que
los lgicos consideraban como ms bellos y provechosos para la historia.
Kant
Kant a seguro que la lgica de su tiempo no era mejor que la aristotlica, y por
esta razn llego a la conclusin de que la lgica no haba tenido ningn tipo de
avance desde la de Aristteles.
Prantl
Carl Prantl fue el primero que escribo una historia completa de la lgica formal,
con el objetivo de llegar a comprobar de que Kant, tena razn en decir que la
lgica formal no tena historia alguna en absoluto.
Prantl parte de la tesis de Kant, ya que el tambin cree que todo lo que ha venido
despus de Aristteles no ha hecho ms que alterar este pensamiento aristotlico.

La lgica estoica es, en general una degradacin de lo que ya haba sido

mencionada anteriormente, ya que muchos nicamente lo que hacen es transcribir
productos que ya tenan creador, y hacerlos como si ellos fueran los que lo han
descubierto, incluso en unas ocasiones ni siquiera se sabe en realidad quien fue el
creador de alguna tesis y los que no cuentan con los conocimientos necesarios
pueden llegar a ser engaados.
Despus de Prantl
Las interpretaciones y juicios de Prantl fueron aceptadas sin crticas, hasta la
aparicin de la nueva investigacin que se gener de los crculos lgico
matemticos.
Los historiadores posteriores de la lgica han logrado llevar una confusin entre
las cuestiones no lgicas y las lgicas ms lejos todava que Prantl, esto fue por el
hecho de que gran parte de su historia de la lgica, la dedico a pensadores que no
fueron lgicos, de esta manera descuido a los lgicos.
La lgica modal aristotlica era tan poco comprendida, que cuando A. Becker dio
en 1934 la interpretacin correcta de esta doctrina se crey que se trataba de algo
revolucionario.
Al surgir la lgica matemtica, teoremas que pertenecan al acervo ms importante
de las pocas pasadas, se designaran con los nombres de De Morgan, Peirce y
otros. Por aquel tiempo todava no exista una historia de la lgica formal cientfica.
La investigacin en el siglo XX
La aparicin de la moderna historia de la lgica se ha logrado para todos los
periodos, menos para el de la lgica matemtica, gracias a la labor de los
historiadores de la filosofa y fillogos del siglo XIX. Ellos editaron por primera vez
con toda correccin, una serie de textos. Pero la mayora de los fillogos antiguos,
medievalistas e indlogos tenan escasos conocimientos y tambin poco inters
por la lgica formal.

La mayora de las investigaciones recientes se han realizado por lgicos

matemticos, o por historiadores formados en la lgica matemtica, algunos de
ellos son Charles Sanders Peirce, Heinrich Sholz y Jan Lukasiewicz. Ambos han
ejercido un influjo decisivo en muchos dominios de la historia de la logica, ellos
lograron estudios serios sobre la lgica clsica antigua, medieval e india.
El desarrollo de la lgica formal
Como introduccin al estado actual de la investigacin y justificacin de la divisin
de la presente obra, es necesario resumir aqu la situacin general. Esta es una
nueva forma de comprensin para el devenir de la lgica formal. Su importancia
parece rebasar las fronteras de la historia de la lgica, esta concepcin puede
llegar a considerarse como una contribucin a la historia general del espritu de la
humanidad, y tambin de esta manera a la sociologa de la ciencia.
Elementos para la geografa y la cronologa de la lgica
La lgica formal ha surgido en dos mbitos culturales, estos son el occidente y el
indio. Las dos lgicas con el paso del tiempo traspasaron las fronteras de sus
pases de origen. La lgica occidental domino en la alta edad media el mundo
rabe y penetr por medio de los misioneros en la cultura armenia, la lgica india
penetr en el Tibet, China, Japn y otros pases.
Sobre la cronologa y periodos de la historia de la lgica digamos que esta
comienza en Europa en el siglo IV antes de Cristo y en la india alrededor del siglo I
de nuestra era.
La historia de la lgica occidental puede dividirse en cinco periodos: el periodo
clsico antiguo, la alta edad media, la Escolstica, la poca de la moderna lgica y
la lgica matemtica.
La divisin en periodos de la lgica india no puede proponerse todava con la
misma exactitud. Slo una cosa parece segura, que existieron dos grandes
periodos al menos, el antiguo y el Budismo.
El tipo de desarrollo de la lgica

La lgica no presenta un desarrollo lineal continuo, ya que, la imagen que

presenta de su trayectoria histrica es la de una lnea interrumpida, porque puede
empezar de una manera lenta pero elevarse por lo regular con gran rapidez, con el
espacio aproximado de un siglo. Se puede admitir que el desarrollo de la lgica se
presenta a periodos cortos de elevacin, siguiendo despus una llanura larga.
La lgica occidental y la india, tenemos en ellas formas distintas de lgica, ya que,
a duras penas se podra pensar en la colocacin de los resultados de la lgica
india en un esquema de la lgica occidental.
Lo esencial para el conjunto de la historia de la lgica, es la aparicin de diversas
formas de ciencia separadas en el espacio y en el tiempo.
Las formas de la lgica
1. La forma clsica antigua de la lgica: las proposiciones lgicas se formulan
aqu en su mayora con un lenguaje objeto; la semntica a pesar de que no est
ausente, sin embardo se queda sin desarrollar. Las formulas lgicas de
encuentran formadas de palabras del leguaje corriente con la adicin de variables.
La base de esta lgica es el pensamiento tal como viene expresado en el lenguaje
natural, representando las leyes sintcticas de este lenguaje. De l es de donde
las lgicas antiguas abstraen sus leyes y reglas formales
2. La forma escolstica de la lgica: En esta lgica las formulas constan de
palabras del lenguaje corriente, con muy pocas variables, pero sin llegar a la
restriccin de las funciones semnticas como en la lgica antigua. Tanto en la
lgica escolstica como en la antigua, se trata de una abstraccin del lenguaje
natural.
3. La forma matemtica de la lgica: la lgica matemtica se encuentra formulada
con lenguaje objeto empleando en abundancia las variables.
La lgica matemtica presenta dos novedades importantes: primero, el empleo de
un lenguaje artificial y lo ms importante que logra una organizacin constructiva
de la lgica.

Es comn que en las tres formas de la lgica occidental exista un amplio

formalismo y el tratamiento de las leyes lgicas.
4. La forma india de la lgica: Se diferencia de la occidental en los dos aspectos
recin expuestos. Tambin la lgica india llega a establecer ciertas leyes formales;
sin embargo, el formalismo no se encuentra bien desarrollado, ya que, surge en si
de una manera accidental.
Las diferencias entre Aristteles y la escuela megrico- estoica no parecen no
parecen lo bastante importantes para para que se pueda hablar de dos formas
distintas de la lgica. De la lgica india se encuentran muy incompletos los
conocimientos y por tal motivo resultara difcil conocer, su caracterizacin de sus
diversas formas.
Unidad de la problemtica de la lgica
Cada formula de la lgica trae con ella el planteamiento de nuevos problemas
lgicos.
Podra darse la impresin de que la historia de la lgica pone de manifiesto un
relativismo de las doctrinas lgicas, ya que, en esta historia se ven surgir lgicas
distintas. Ms no es de lgicas distintas, sino de formas distintas de una lgica de
lo que se ha mencionado. La multiplicidad de los sistemas lgicos no involucra
todava una prueba de la relatividad de la lgica.
La historia no slo manifiesta el surgimiento de nuevos problemas y leyes, sino
tambin, y esto es lo que ms sobresale en ella, es la constante repeticin de la
misma problemtica lgica fundamental. Esta cuestin se muestra claramente en
este ejemplo que mencionare a continuacin: un grupo de problemas comunes a
la lgica occidental es el de las cuestiones sobre la lgica modal, la cual es
planteada por Aristteles, fueron analizadas por los escolsticos y se vieron
nuevamente entre los lgicos matemticos de la ltima fase.
El problema del progreso

La cuestin de la unidad de la lgica se halla estrechamente relacionado con el

difcil problema de su progreso, este problema nicamente se puede resolver
teniendo como base una minuciosa investigacin particular de tipo emprico. Slo
desde la historia podemos averiguar si existe un progreso en la lgica, no
mediante un fundamento filosfico.
El problema no es fcil de resolver, ya que no se cuentan con los conocimientos
necesarios para llegar a fondo con este problema y encontrarle la solucin, para
que termine.
Donde se puede notar un mayor progreso es en la lgica india, pero tambin es
posible en la escolstica y la matemtica. Cada periodo particular nos proporciona
un criterio seguro para el progreso, ya que, cada uno de ellos tienen sus
problemas fundamentales, y comparando la formulacin y solucin de los mismos
en los diversos lgicos de cada periodo.
No se puede establecer una igualdad, en modo alguno, entre la lgica clsica y la
totalidad de la lgica antigua, porque aquella es ms bien una forma decadente de
nuestra ciencia, e incluso se considera como un periodo muerto de su desarrollo.
A travs de toda su historia, la circunstancia de existir diversas formas de la lgica,
no siendo las primitivas simples precursoras de las actuales, sino que en buena
parte tienen los mismos o parecidos problemas, si bien tratados desde otros
puntos de vista y con otros mtodos.
El historiador nicamente puede decir que no se sabe si se da un progreso en la
historia de la lgica en su conjunto.
Mtodo y plan
A. Historia de los problemas y documentacin
En relacin con las lneas de la serie Orbis Academicus, la presente obra ha de
ser una exposicin de la historia de los problemas, y necesariamente en sus
documentos.

No se trata, por tanto de una historia material de la lgica que trate todo lo que ha
tenido algn realce histrico, ya que, esta trata una exhibicin de la historia de la
problemtica, junto con la intimidante relacin con ella, de los conceptos y
mtodos fundamentales, por tal motivo se ha tomado en cuenta nicamente
aquellos periodos en los cuales se halla aportado algo fundamental para la
problemtica.
B. Plan de la obra
Una historia de los problemas debera contar con el orden los problemas mismos,
es decir, primero tratar de las cuestiones referente a la semitica, despus las
referentes a la lgica sentencial luego, las referentes a la lgica de los predicados
y as sucesivamente, de esta manera siguiendo cada uno de estos problemas a lo
largo de toda la historia.
Semejante situacin ha impedido que la lgica tenga un proceso de desarrollo
lineal, y sobre todo el hecho de que sta adopta cada poca una forma distinta, ya
que, cada grupo particular de problemas dentro de una forma se encuentra
estrechamente ligado con otros conjuntos de problemas de la misma. Cualquier
problema planteado en el centro de una forma de la lgica ha de ser comprendido
desde la totalidad de la problemtica de la misma.
C. Carcter del contenido
Lo que se ha reproducido de la Escolstica no son, a ciencia cierta, ms que
fragmentos. Tampoco los conocimientos con los que se cuenta sobre la lgica
griega y matemtica, son suficientes para llegar a comprenderlos por completo.
Con todo lo cual se ofrece ms bien una visin de conjunto sobre algunos
aspectos de la historia de los problemas de la lgica.
Lo que se ha pretendido es ofrecer una orientacin general sobre todo tipo de
problemas, mtodos y conceptos, propios de las diversas formas particulares de la
lgica y, juntamente con ello una cierta exposicin de la historia general de la
lgica y de sus leyes.

La lgica india, es la nica que se ha desarrollado con absoluta independencia de

las dems.
Terminologa
Para poder exponer comparativamente los problemas y proposiciones expresados
en las diferentes pocas y lenguas era justo usar nuestro comentario de una
terminologa unitaria.
Expresiones tcnicas
Por expresin, formula, palabra, signo, se entiende aqu el sign-vehicle de Morris,
el elemento material, por tanto, del signo, es decir, una cierta cantidad de tinta
seca. Una clase de expresiones de gran importancia son las llamadas sentencias,
las cuales son aquellas expresiones cuyo sentido es verdadero o falso.
Las expresiones en el pensamiento aristotlico se dividirn de la siguiente manera
en atmicas y moleculares, las atmicas son las que carecen de partes que sean,
al mismo tiempo, expresiones del lenguaje y las moleculares constan de ellas. Las
expresiones moleculares se descomponen de acuerdo a la tradicin aristotlicoescolstica, por una parte, en sujeto y predicado, y por la otra en functor y
argumento. De estos el functor es el elemento determinante, y el argumento el
determinado.
Aristteles utiliza dos tipos de expresiones que son: constantes y variables. Las
constantes cuentan con un sentido determinado, mientras que las variables sirven
nicamente para indicar lugares vacos en los que pueden colocarse constantes.
Se conocen como variables sentenciales a aquellas variables que nicamente
pueden ser cambiadas con sentido por sentencias, en cambio las que se pueden
sustituir nicamente por trminos se conocen como variables de trminos. Por tal
motivo la lgica formal se divide en lgica sentencial y lgica de los trminos.
Distinguimos entre leyes y reglas lgicas, la distincin es estoica y escolastica; las
primeras sealan que es, y son, por tanto, sentencias; las segundas son
indicaciones de cmo se debe proceder, no constituyendo, por tanto, sentencias.

Los smbolos lgico-matemticos

El simbolismo puede emplearse en muchas situaciones, como una cmoda
simplificacin, adems las leyes formuladas de esta manera, resultan para el
especialista ms fcil entenderlas, que las funciones sentenciales o las sentencias
verbales.
Es importante que al momento de emplear este simbolismo, se tenga cierto
cuidado, ya que muchos no estuvieron mucho de acuerdo en este mtodo, porque
decan que se les poda llegar a dar interpretaciones errneas, esta situacin se
presenta de una manera clara en el siguiente ejemplo: la transcripcin de la
silogstica aristotlica que realiza Peano-Russell, tal como aparece en los
Principia, la cual es, sin duda, una interpretacin equivocada del pensamiento
aristotlico, ya que, si en realidad fuera de esta manera resultan falsas numerosas
leyes de la silogstica.
Con esto no se ha dicho que no se pueda crear un simbolismo lgico- matemtico
para cualquier forma de la lgica. Ms bien el empleo de un simbolismo artificial,
cuando se trata de un lgico en particular o de una forma de la lgica concreta, no
solo es posible, sino incluso puede llegar a recomendarse, pero en tal caso se
hablara de un simbolismo especial, lo que puede llegar a ser imposible crear por
el motivo de que sera un nico simbolismo que pudiera lograr que todos los
conceptos desarrollados en las distintas formas de la lgica.