Historia de la lgica

Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los
razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas
formales. Etimolgicamente la palabra lgica deriva del trmino griego logiks, que a su vez deriva
de logos 'razn, palabra, discurso'.17
En un principio la lgica no tuvo el sentido de estructura formal estricta.

La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la

historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el
pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los
mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones:
laAntigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica
emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica
proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por
los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india
entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna.

Edad antigua
Aristteles de Estagira (384 a.c. 322 a.c.) considerado como creador de la Lgica, sin embargo sus
predecesores desarrollaron y cultivaron la inferencia y la prueba en los diferentes debates que por aquel
tiempo realizaban los filsofos.
En el plano sintctico y semntico del lenguaje Protgoras fue el primero en estudiar las oraciones, Platn en
su obra Sofista trat tambin las afirmaciones y las negaciones, introduce la nocin del mtodo axiomtico
que ms tarde fue completado por Aristteles cuyo mrito radica el haber sistematizado la lgica formal
codificando las formas de argumentacin correcta que es donde radica la naturaleza de la lgica como
ciencia. Los escritos lgicos de Aristteles estn contenidos en su libro Organon que significa instrumento
para pensar correctamente (propedutica o metodologa), este libro contiene los cinco tratados siguientes:
las categoras, las proposiciones, los analticos, (primeros y segundos) los tpicos y las refutaciones sofsticas.
Los analticos es el tratado que contiene la naturaleza de la lgica y el Silogismo que trata del razonamiento
lgico aristotlico usando proposiciones categricas.
Aristteles aporta a la lgica la introduccin del uso de variables, las proposiciones por su cantidad y su
cualidad, el raciocinio deductivo, las formalizaciones de la Lgica y el desarrollo silogstico.
Ms adelante Teofrasto y Eudemo aportaron los silogismos hipotticos condicionales perteneciente a la
lgica de las proposiciones los Megariacos plantean el significado de las proposiciones Si - entonces los
Estoicos desarrolla la lgica Verdadero Falso de las proposiciones.

Mesopotamia
En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en
un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del
examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo,
su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.
Durante los siglos VII y VIII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas
de prediccin planetaria que fue una importante contribucin a la lgica y la filosofa de la ciencia. El
pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica.
La Antigua Grecia
En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada
en Euclides de Megara, pupilo de Scrates, y con su concentracin en la lgica proposicional es la que quizs
est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas
posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido
comoOrganon (instrumento), la primera obra griega sistemtica sobre lgica. El examen de Aristteles
del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida
discusin china.
A travs del latn en Europa occidental y de distintas lenguas orientales como el rabe, armenio y georgiano, la
tradicin aristotlica fue considerada de forma especial para la codificacin de las leyes del razonamiento.
Solo a partir del siglo XIX cambi este enfoque.
La Antigua India
Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyya y Vaisheshika.
Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis
escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de
cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin.
La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas. Ngrjuna, el fundador
del camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta
argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su
negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue
con Dignga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis,
centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como
concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o
diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las
dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de Navya-Nyya,
que introdujo un anlisis formal de la inferencia en el siglo XVI.
La Antigua China
En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la
escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las

condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo,
los lgicos, es considerada por varios expertos como la primera que investig la lgica formal.
Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin
desapareci de China hasta la introduccin de la filosofa india por parte del budismo.

Edad media
Los desarrollos filosficos del lenguaje en la edad media se encuentran directamente asociados a las
reflexiones e investigaciones de la lgica. La lgica medieval desarroll preferiblemente aquellos
elementos de la lgica aristotlica que trataban la sintaxis y la semntica del lenguaje. Este hecho
permiti algunos adelantos sobre la teora de la inferencia y la demostracin cientfica, pero sobre todo la
lgica tuvo gran incidencia en el campo educativo. Su enseanza estuvo asociada estrictamente a la
gramtica y la retrica, vista como un instrumento de gran utilidad para el estudio de los textos de la Biblia
y dems relacionados con la
doctrina catlica.
Los primeros trabajos significativos sobre el tema del lenguaje en la poca medieval, se encuentran en la
obra de Boecio, el autor de La consolacin de la filosofa. Sus traducciones e interpretaciones de la obra
de Aristteles, especialmente de los textos relacionados con la retrica y la metafsica, lo hacen el primero
de los filsofos medievales con mayores avances en su concepcin lgica del lenguaje.
Para Boecio al igual que para Aristteles, el lenguaje est en condicin de expresar la verdad a travs de
proposiciones que permiten la formulacin de juicios universales, los cuales se convierten, en este
sentido, en la base de la lgica. Su aporte, en este aspecto, est en haber planteado la posibilidad de
realizar inferencias inmediatas en el razonamiento lgico. El silogismo aristotlico planteaba inferencias o
deducciones mediatas, pues la conclusin era el resultado
lgico de las dos primeras premisas. La inferencia inmediata se logra de combinar
los cuatro tipos de proposiciones: universales, particulares, singulares e indefinidas. Por ejemplo, la
relacin establecida entre una proposicin de carcter universal como -todos los hombres son justos" y su
correspondiente inferencia indefinida, luego -algn hombre es justo".
Sin embargo al mantener, en esencia, la estructura silogstica como expresin fundamental del lenguaje,
Boecio privilegia su valor formal y no se interesa especficamente en la discusin epistemolgica -relacin
conocimiento, lenguaje,
realidad- que dara paso a una concepcin inaugural en los estudios sobre el lenguaje como muestra la
filosofa del lenguaje contempornea. No se podra obviar, en este sentido, el paso dado por Toms de
Aquino en su concepcin del conocimiento, quien no reduce la verdad al nivel lgico, ya que los
universales, si bien son una construccin de la razn, expresan el ser de las cosas y del mundo. As, el
pensamiento de Toms de Aquino se ha catalogado como una filosofa del ser, dado que para algunos
estudiosos de su obra, estuvo ms interesado por la relacin entre Dios y el mundo que especficamente
por determinar la relacin entre substancia y sus accidentes. Para aclarar el lugar del lenguaje en la
comprensin del ser en Toms, es indispensable hablar de la relacin que establece entre esencia y
existencia, ms que la relacin entre substancia y accidente, propia de una reflexin sobre entes y no
sobre el ser propiamente tal.
No deber haber preocupacin por estos temas, pues sern abordados en los diferentes cursos
acadmicos del plan de estudios de los programas de filosofa. De lo que se trata en este espacio es de
presentar ciertos elementos que sirven en la construccin de estas ideas que estn muy relacionadas con
en el tema de la lgica a lo largo de la historia de la filosofa desde una perspectiva interdisciplinar. Luego
de este pequeo parntesis, y continuando, con el tema, sealemos que Tomas de Aquino sostiene que
todos los seres poseen una esencia y una existencia, pero la esencia, aquello que hace que las cosas
sean lo que son, no se identifica con la existencia de las mismas. Un ente o una cosa cualquiera, pueden

existir, por ejemplo en el pensamiento, pero no ser. Esta tesis conlleva una concepcin del mundo, segn
la cual, la existencia de las cosas no se da por necesidad, ya que estas pueden existir, pero no ser. Las
cosas, retomando la terminologa de Aristteles, pueden estar en condiciones de ser, en potencia, pero no
serlo, ser acto, al igual que un hombre puede estar en potencia de ser esto o aquello y no llegar a serlo.
Toms introduce as la discusin epistemolgica del lenguaje al sostener que no todo lo que se afirma o
se piensa existe en la realidad. Pero, interesado por explicar la naturaleza de Dios, el nico ser donde
esencia y existencia coinciden, termina por asignarle nuevamente una funcin lgica del lenguaje, al
encargarle la
explicacin de las cosas del mundo y no aquellas de naturaleza divina. Dios es el
nico ser donde la esencia y la existencia se identifican plenamente y por ello se puede decir que Dios, en
rigor, es el nico que es acto. Los dems seres, en la medida en que fueron creados, participan de la
esencia divina, del ser, pero su existencia, no es la del ser. Las cosas y los seres humanos, debido a que
no son el ser, es decir, no son acto ni perfeccin, siempre estarn en camino a serlo. Dios
es el nico que es ser y por ello es el fundamento del mundo, de cuya esencia todos participan, pero
justamente como posibilidad de ser.
As el lenguaje viene a poseer, en ltimas, una funcin lgica, pues permanece restringido para nombrar
las verdades del mundo, de los seres que permanecen en el trnsito de la esencia a la existencia. Los
conceptos, expresados a travs del
lenguaje, harn referencia a la esencia de las cosas, pero no a su ser. En este sentido Toms de Aquino
distingue una verdad lgica, la que viene a cumplir el lenguaje y, una verdad ontolgica, dada a travs de
la participacin de los seres de la naturaleza divina, del ser de Dios. Por ello las famosas vas de
demostracin
de la existencia de Dios son del orden de la naturaleza y no de la estructura lgica
del lenguaje.

Pero entrando en tema: El desarrollo de la lgica medieval tuvo su auge en el siglo XIV, pero podemos
remontar los inicios en el XII en el occidente cristiano y seguramente mucho antes en el mundo islmico y
judo. Las doctrinas lgicas en la Edad Media son el resultado de una mezcla de sistemas peripatticos y
estoicos. Sobretodo los estoicos se encuentran profusamente en Galeno, Boecio y en numerosos
musulmanes, como Avicena. La lgica estoica se desarroll como reaccin ms o menos consciente a
Aristteles, pero sus tendencias nominalistas les llevaron a rechazar el estudio de las formas y sus
relaciones internas (algo importante en la silogstica de Aristteles). Adems, como consideraban que la
demostracin es un argumento que infiere lo menos conocido de lo mejor conocido, y que la dialctica es
el estudio de las relaciones entre los signos y las cosas significadas, se vieron obligados a desarrollar esa
rama del estudio de la inferencia que se ocupa especialmente de las formas proposicionales hopottica y
disyuntiva. El inters medieval en la naturaleza de la implicacin (consequentia) tiene su origen en estos
planteamientos estoicos.
Por ejemplo, Crisipo defini la relacin entre el antecedente y el cnsecuente de las proposiciones
condicionales: "Si p entonces q" es verdadero a condicin de que p sea incompatible con la negacin de
q.
Esta definicin es la que adoptaron la mayora de autores medievales. Tambin los estoicos formularon
casi todas las reglas bsicas de la inferencia proposicional: Modi ponendo ponens, tollendo tollens,
ponendo tollens y tollendo ponens. Tambin aportaron la lecta de las proposiciones, que atae a aquello
de lo que tratan los enunciados.
Boecio fue quien transmiti al mundo medieval gran parte de la lgica antigua (Comentarios a la Isagoge
de Porfirio, De interpretatione de aristteles, y en sus tratados sobre el silogismo categrico e hipottico).
A l se debe la doctrina, tan importante en la concepcin medieval de la semntica, de que algunas
palabras significan cosas (o ms bien pensamientos de cosas) mientras que otras significan palabras.
Hoy da lo llamamos trminos de primera imposicin y de segunda imposicin. Asmismo, el problema
introducido por Aristteles de la verdad de las proposiciones relativasa acontecimientos futuros

contingentes fue comentado extensmente por Boecio. Todas las discusiones medievales sobre ello se
deben a mi tocayo.
Despus de Boecio, un erial. Hasta Abelardo. Este estaba muy interesado en la naturaleza de la
implicacin (consequentia) y distingua entre implicaciones puramente formales e implicaciones cuya
validez depende tambin de la naturaleza de las cosas. esta distincin es el prototipo de la que hicienron
despus entre consecuencia formal y consecuencia material. Tambin desarroll lo que posteriormente
sera el problema de las paradojas de implicacin.
Hasta el siglo XII los escolsticos no dispusieron del Organon cmpleto de Aristteles. Y fue entonces que
pudieron desarrollar un poco la lgica, y ms cuando conocieron a Avicena (ms bien cunado lo
tradujeron). Avicena tambin tena teoras de primeras y segundas intenciones, similar a los boecianos
primera y segunda imposicin. Las primeras intenciones son pensamientos sobre cosas exteriores al
alma, mienras que las segundas son pensamientos sobre pensamientos.
Los principales temas de los lgicos medievales (dejando de banda los del Organon, claro) son:

1.

Los trminos sincategoremticos.

2.

Las doctrinas sobre la suposicin de los trminos.

3.

la teora de la implicacin (consecuencia).

4.

el debate sobre los insolubles (problemas de difcil solucin, como la paradoja del mentiroso).

La Lgica Medieval se basa en el trabajo de Aristteles, es recogida por los sacerdotes y cultivado
mayormente en los conventos, escuelas y universidades de Europa Occidental.
Los estudios de los lgicos profesionales estuvo dirigido al comentario del Organon destacando Pedro
Hispano y Juan Buridan estableciendo que de Dos premisas contradictorias, se puede deducir cualquier
conclusin.
El mundo islmico
Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para
los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue
ms tarde desplazada por ideas tomadas de la filosofa griega y helenstica con el auge de los filsofos de la
escuela Mu'tazili, que valoraron extraordinariamente el Organon de Aristteles. Las obras de los filsofos
islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristtelica en la Europa
medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de alFarabi, Avicena, al-Ghazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica
aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el
subsecuente desarrollo de la lgica europea medieval.
La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin
elementos de la filosofa del lenguaje y elementos de epistemologa y metafsica. Debido a disputas con
gramticos rabes, los filsofos islmicos estuvieron muy interesados en trabajar en el estudio de las
relaciones entre lgica y lenguaje, y dedicaron muchas discusiones a la cuestin del objeto de inters y

objetivos de la lgica en relacin con el razonamiento y el habla. En el rea del anlisis lgico-formal,
elaboraron la teora de los trminos, proposiciones y silogismos. Consideraron el silogismo como la forma a la
que toda argumentacin racional poda reducirse, y consideraron la teora silogstica como el punto central
de la lgica. Incluso, la potica fue considerada, en ciertos aspectos, como un arte silogstico por muchos de
los ms importantes lgicos islmicos.
Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena
como sustituta de la lgica aristotlica. El sistema lgico de Avicena fue responsable de la introduccin del
silogismo hipottico,4 de la lgica modo-temporal,5 6 y de la lgica inductiva.7 8 Otro importante desarrollo en
la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo
cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda
aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica
de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limit poco a poco la obra original sobre
lgica en el mundo islmico, aunque continu posteriormente en el siglo XV.
La Europa medieval
Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de
la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 12001600. Esta tarea comenz
tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena
fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos
medievales europeos tales como Alberto Magno, la tradicin aristotlica se convirti en la dominante debido
a la importante influencia del averrosmo.
Tras la fase inicial de traducciones, la tradicin de la lgica medieval fue desarrollada en manuales como el
de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estndar sobre
lgica, el Tractatus, que fue bien conocido en Europa durante varios siglos.
La tradicin alcanz su punto ms alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 12871347)
y Jean Buridan.
Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un
estudio de la semntica de los trminos de la proposicin.
La ltimas grandes obras de esta tradicin son Logic de John Poinsot (15891644, conocido como John of St
Thomas), y Disputas metafsicas de Francisco Surez (15481617).

Edad Moderna
La poca moderna marca el inicio de la Lgica Matemtica. El precursor de esta lgica es Guillermo G.
Leibniz quien introdujo el clculo lgico llamado Mathesis Universalis que fuese operacionalmente
mecnico, inequvoco y no cuantitativo que permitiera acabar con todas las disputas y controversias.

tambin desarroll el clculo de la Lgica Proposicional. Euler es otro de los precursores de la Lgica
Matemtica, introdujo los diagramas que llevan su nombre para ilustrar geomtricamente los silogismos
Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas de Port Royal, en el siglo
XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la
Lgica como ciencia.
Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo del anlisis y su desarrollo en
las matemticas (Descartes, Pascal y Leibniz) los temas que van a marcar el desarrollo posterior. Son de
especial importancia la idea de Descartes de una Mathesis universalis22 y de Leibniz en la bsqueda de
un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de
laspalabras debera estar en correspondencia con las entidades designadas como individuos o
elementos metafsicos, lo que hara posible un clculo o computacin mediante algoritmo en el
descubrimiento de la verdad.23
Aparecen los primeros intentos y realizaciones de mquinas de clculo, (Pascal, Leibniz) y, aunque su
desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o Caracterstica Universal, es
el antecedente inmediato del desarrollo de la lgica a partir del siglo XX.
Artculo principal: Kant
Kant consideraba que la lgica por ser una ciencia a priori haba encontrado su pleno desarrollo
prcticamente con la lgica aristotlica, por lo que apenas haba sido modificada desde entonces.24
Pero hace un uso nuevo de la palabra lgica como lgica trascendental, en el sentido de investigar
los conceptos puros del entendimiento o categoras trascendentales.
Artculo principal: Idealismo
La lgica del pensar trascendental acaba situndose en un proceso dialctico como idealismo
subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en
Artculo principal: Hegel
Hegel considera la lgica dentro del Absoluto como un proceso dialctico del Espritu Absoluto25 que
produce sus determinaciones como concepto y su realidad como resultado en el devenir de la Idea del
Absoluto como Sujeto26 cuya verdad se manifiesta en el resultado del movimiento mediante
la contradiccin en tres momentos sucesivos, tesis-anttesis-sntesis. La epistemologa y la ontologa van
unidas y expuestas en laFilosofa entendida sta como Sistema Absoluto.
APORTES DE LOS MS IMPORTANTES REPRESENTANTES DE LA LGICA MODERNA
Bacon, Francis: En su Novum Organum, hace la primera formulacin moderna del mtodo cientfico,
establece de manera explcita y sistemtica la induccin experimental, expone mtodos para determinar las

relaciones de causalidad, enuncia las bases empricas del descubrimiento y la invencin, y desarrolla una
teora de la experiencia. Se le conoce como el Padre de la Lgica Inductiva
LEIBNIZ, GOTTFRIED WILHELM (1646-1716), tambin conocido como barn Gottfried Wilhelm von
Leibniz. Filsofo, matemtico y estadista alemn, considerado como uno de los mayores intelectuales del
siglo XVII. LEIBNIZ, quien introdujo el clculo lgico llamado MATHESIS UNIVERSALIS que fuese
operacionalmente mecnico, inequvoco y no cuantitativo que permitiera acabar con todas las disputas y
controversias. Tambin desarrollo el clculo de la lgica proposicional. Consider tambin que para
comprobar la verdad del entendimiento bastan los principios de identidad, contradiccin y tercio excluido;
para comprender la verdad de hecho es indispensable la razn. Estableci la ley de la tautologa.
Extrae de su experiencia como matemtico genial las ideas que habran de sacar a la lgica formal del
estancamiento a que la haba llevado la escolstica. Leibniz intenta formular unacharacteristica universalis, es
decir, un lenguaje simblico para expresar sin ambigedad todos los elementos del pensamiento y luego
combinarlos rigurosamente, formando as conceptos, juicios y razonamientos. Paralelamente, Leibniz formula
una teora general de la ordenacin, establece una teora lgica de las estructuras, planea la teora de la lgica
matemtica, constituye una teora de la definicin, por analoga con la descomposicin de los nmeros
enteros en sus factores primos, intenta establecer una lgica del descubrimiento y enuncia una teora de las
permutaciones. Frmula LA LEY DE LA Razn Suficiente
LEONHARD EULER (1707-1783), En su Introduccin al anlisis de los infinitos (1748), Euler realiz el
primer tratamiento analtico completo del lgebra, la teora de ecuaciones, la trigonometra y la geometra
analtica. En esta obra trat el desarrollo de series de funciones y formul la regla por la que slo las series
convergentes infinitas pueden ser evaluadas adecuadamente. Tambin abord las superficies
tridimensionales y demostr que las secciones cnicas se representan mediante la ecuacin general de
segundo grado en dos dimensiones. Otras obras trataban del clculo (incluido el clculo de variaciones), la
teora de nmeros, nmeros imaginarios y lgebra determinada e indeterminada. Euler, aunque
principalmente era matemtico, realiz tambin aportaciones a la astronoma, la mecnica, la ptica y la
acstica. Entre sus obras se encuentran Instituciones del clculo diferencial(1755), Instituciones del clculo
integral (1768-1770) e Introduccin al lgebra (1770) Es otro de los de la lgica matemtica introdujo los
diagramas que llevan su nombre para ilustrar geomtricamente los silogismos.
de MORGAN (1806-1871) considera que base comn de la lgica en las relaciones de inclusin o exclusin,
parcial o total, entre clases; y su objetivo fue mostrar que el silogismo no es mas que una serie de
combinaciones de relaciones desarrolla el clculo de relaciones, establece varios razonamientos nosilogsticos, enuncia las leyes de transitividad y expresa rigurosamente las leyes distributivas de la negacin,
que llevan ahora su nombre. (Ley de Morgan)
BOOLE, GEORGE (1815-1864), lgico y matemtico britnico, elabor el lgebra de Boole.La primera
formulacin propiamente algebraica de la lgica, estableciendo definidamente las leyes para la ejecucin de
las operaciones y dando una interpretacin coherente de los resultados, se debe a George Boole, quien es as
el creador de la lgica simblica moderna. Boole funda el clculo proposicional, enuncia las leyes del clculo
de clases, hace una sistematizacin de la lgica de la probabilidad y formula explcitamente la dualidad de las
operaciones algebraicas. El lgebra de Boole sirve de base a los trabajos de una activa escuela de lgica. En
gran medida autodidacta, Boole fue nombrado profesor de matemticas en el Queens College de Cork en
Irlanda (hoy el University College) en 1849. En 1854, escribi Investigacin sobre las leyes del
pensamiento, en donde describe un sistema algebraico que ms tarde se conoci como el lgebra de Boole.
En l, las proposiciones lgicas se indican por smbolos y pueden relacionarse mediante operadores
matemticos abstractos que corresponden a las leyes de la lgica. El lgebra de Boole es fundamental en el
estudio de las matemticas puras y en el diseo de los ordenadores o computadoras.
VENN, John. (1834-1923) Fue el que trato de encontrar la significacin lgica de operaciones como la
sustraccin y la divisin. El mrito de Venn es bsicamente el haber aclarado los procedimientos de Boole
representando los procesos algebraicos en los diagramas de Venn.
FREGE, GOTTLOB (1848-1925), matemtico y filsofo alemn, fue el fundador de la lgica matemtica
moderna. Naci en Wismar y estudi en las universidades de Jena y Gotinga; posteriormente se incorpor a la
facultad de matemticas de Jena. Frege intent deducir los principios de la aritmtica de los principios de la
lgica. Enfrentndose a la ambigedad del lenguaje normal y a la insuficiencia de los sistemas lgicos
disponibles, invent muchas notaciones simblicas, como cuantificadores y variables, estableciendo as las
bases de la lgica matemtica moderna. Su trabajo influy especialmente en el filsofo britnico Bertrand

Russell. Su obra Notacin conceptual (1879) est considerada como la ms importante de sus publicaciones,
entre las que tambin destacan Fundaciones de la aritmtica (1884) yLeyes bsicas de la aritmtica (2
volmenes, 1893-1903)
Es el personaje ms resaltante de esta poca, su obra Begriffsschrift: CONCEPTOGRAFIA, marca el comienzo
de la lgica moderna y; solo es comparable con los Primeros Analticos de Aristteles, dado que ambas obras
hay una serie de perspectivas totalmente nuevas, de ah que a Frege se le puede considerar el PADRE DE LA
LGICA MODERNA. Frege es el primero en formular de manera clara y concisa la distincin entre variable y
constante, el concepto de funcin lgica, la idea de varios argumentos y el concepto de cuantificador, da una
formulacin notablemente mas rigurosa a la teora aristotlica de sistema axiomtico, distingue
cuidadosamente entre ley y regla, introduce la diferenciacin igualmente precisa entre lenguaje y
metalenguaje.
PEANO, GIUSEPPE (1858-1932), matemtico italiano, autor del primer ejemplo de fractal. Naci en Cuneo
en 1858 y fue profesor en la Academia Militar de Turn. Cre un sistema descriptivo que permita enunciar
cualquier proposicin de lgica o de matemticas sin recurrir al lenguaje. Fundador de dos publicaciones de
matemticas, propuso en sus escritos la aritmtica de Peano, una exposicin axiomtica y deductiva de la
aritmtica de los enteros naturales. En 1890 cre la curva de Peano, el primer ejemplo de fractal. En 1903
sus trabajos de bsqueda de una lengua internacional llevaron al latn sin flexiones, cuyo vocabulario
comprende las palabras latinas comunes al francs, al ingls y al alemn. Fue el primero en dar a la lgica el
nombre de Lgica Matemtica. Considero que la lgica es el instrumento de la matemtica. Creo un lenguaje
simblico para las demostraciones matemticas, elaborando de esta manera un sistema axiomtico de la
matemtica con la aplicacin instrumental de la nueva lgica. Propuso uso de puntos auxiliares en reemplazo
de los signos de agrupacin y un modo de simbolizar los cuantificadores.
RUSSELL, BERTRAND, tercer conde de Russell (1872-1970), filsofo y matemtico britnico, galardonado
con el Premio Nbel, cuyo nfasis en el anlisis lgico repercuti sobre el curso de la filosofa del siglo XX.
Nacido en Trelleck (Gales), el 18 de mayo de 1872, Russell estudi en el Trinity College de la Universidad de
Cambridge. Tras graduarse en 1894, viaj a Francia, Alemania y Estados Unidos, y luego fue nombrado
miembro del consejo de gobierno del Trinity College. Desde muy joven mostr un acusado sentido de
conciencia social; al mismo tiempo se especializ en cuestiones de lgica y matemticas, reas de las que dio
conferencias en muchas instituciones de todo el mundo.
Russell alcanz el xito con su primera gran obra Principios de matemticas (1902), en la que intent
trasladar las matemticas al rea de la filosofa lgica y dotarlas de un marco cientfico preciso. Colabor
durante ocho aos con el filsofo y matemtico britnico Alfred North Whitehead para elaborar la
monumental obra Principia Mathematica (Principios Matemticos; 3 volmenes, 1910-1913), donde se
mostraba que esta materia puede ser planteada en los trminos conceptuales de la lgica general, como clase
y pertenencia a una clase. Este libro se convirti en una obra maestra del pensamiento racional. Russell y
Whitehead demostraron que los nmeros pueden ser definidos como clases de un tipo determinado, y en
este proceso desarrollaron conceptos racionales y una anotacin que hizo de la lgica simblica una
especializacin importante dentro del campo de la filosofa occidental. En su obra PRINCIPIA
MATHEMATICA, propone que las matemticas pueden reducirse a una rama de la lgica. Este proyecto fue
escrito en la obra antes mencionada, escrita en colaboracin con Whitehead, obra aparecida en tres
volmenes. Formulan rigurosamente la lgica matemtica dentro del sistema ms completo que se ha
establecido, realizan un tratamiento detallado del clculo preposicional, el clculo de clases y el clculo de
relaciones, establecen la teora de los tipos, analizan las paradojas, hacen una crtica refinada y profunda de la
lgica simblica, y crean el lenguaje formalizado que ms se utiliza en la actualidad.
WITTGENSTEIN En la evolucin filosfica de Wittgenstein pueden distinguirse dos pocas distintas: un
primer periodo, representado por el Tractatus, y otro posterior, representado por las Investigaciones
filosficas. A lo largo de la mayor parte de su vida, sin embargo, Wittgenstein, de modo coherente, concibi la
filosofa como un anlisis conceptual o lingstico. En el Tractatus defendi que la filosofa pretende la
clarificacin lgica de las ideas. En las Investigaciones filosficas, sin embargo, mantena que la filosofa es
un combate contra el hechizamiento de nuestra inteligencia por medio del lenguaje.

El Tractatus
En el Tractatus, Wittgenstein sostena que el lenguaje se compone de proposiciones complejas que pueden
ser analizadas en proposiciones ms sencillas hasta llegar a una formulacin simple o elemental. De modo
similar, el mundo se compone de hechos complejos que pueden ser analizados en hechos menos complejos
hasta llegar a los hechos simples, o atmicos. El mundo es la totalidad de esos hechos. Segn la imagen de la
teora del significado de Wittgenstein, es la naturaleza lgica de las proposiciones elementales la que
representa hechos atmicos o situaciones. Afirmaba que la naturaleza del lenguaje requiere proposiciones
elementales, y su teora del significado exige que haya hechos atmicos representados por proposiciones
elementales. Sobre este anlisis, slo las proposiciones que representan hechos las proposiciones de
ciencia son consideradas cognitivamente significativas. Las declaraciones ticas y metafsicas no son
afirmaciones significativas ni relevantes. Esta teora produjo un gran efecto sobre las teoras del positivismo, y
los positivistas lgicos adscritos al Crculo de Viena reconocieron la trascendencia de esta conclusin
Ide el mtodo de la tabla o matriz para determinar la significacin de autenticidad de los ciertos de
probabilidad.
JAN LUKASIEWICZ (1878-1950). Se ocup de la lgica de sentencias, de la lgica pluriva lente, de la lgica
modal, del silogismo aristotlico y de la historia de la lgica, Lukasiewicz invent un simbolismo que evita los
parntesis y puntos. Se preocup de la axiomtica de la lgica de sentencias formulando un interesante
sistema de tres axiomas; por otra parte, logr formular un sistema con un solo

axioma.

En 1917 construy el primer sistema de lgica plurivalente. Expone as la idea que dio origen a la lgica
trivalente: Puedo suponer sin contradiccin que mi presencia en Varsovia en un momento dado del ao
prximo, por ejemplo a medioda del 21 de diciembre, no est determinada en este momento, ni positiva ni
negativamente. Es entonces posible pero no necesario que estar presente en Varsovia en el tiempo mencionado. Basado en este presupuesto, el enunciado estar presente a medioda del 21 de diciembre del ao
prximo, en este momento, no es ni verdadero ni falso. Pues si en este momento fuera verdadero, mi
presencia futura en Varsovia sera necesaria, lo cual contradice el presupuesto; si, en este momento, fuera
falso, mi presencia futura en Varsovia sera imposible, lo cual, una vez ms, contradice el presupuesto. El
enunciado citado no es en este momento ni verdadero ni falso; debe tener, entonces, un valor diferente de O,
o lo falso, y de 1, o lo verdadero. Lo podemos indicar por 1/2 : es lo posible, que se agrega como tercer valor
a lo falso y a lo verdadero. ste es el curso de pensamiento que dio origen al sistema trivalente de lgica
preposicional". Este texto se conecta con sus reflexiones sobre la cuestin de los futuros contingentes de
Aristteles.
En el estudio de la silogstica de Aristteles y de la historia de la lgica en general es tan importante la
contribucin de Lukasiewicz que quien se proponga realizar estudios en esos campos de investigacin se
enfrentar constante e inevitablemente con el nombre de este gran lgico polaco.
KURT GDEL
Lgico estadounidense de origen austriaco, conocido sobre todo por sus investigaciones en filosofa y en
matemticas. Naci en Brnn (hoy Brno, Repblica Checa). Estudi en la Universidad de Viena y dio clases
en esta institucin desde 1933 a 1938. Emigr a los Estados Unidos en 1940 y se nacionaliz estadounidense
en 1948. Fue miembro del Instituto para Estudios Avanzados de Princeton, Nueva Jersey, hasta 1953, fecha en
la que empez a ensear matemticas en la Universidad de Princeton
Gdel se dio a conocer con una obra, publicada en 1931, en la que enunci lo que se conoce como teorema
de Gdel. Este principio establece que en cualquier sistema simblico formal es posible construir una
proposicin que no se puede probar ni refutar en el mismo sistema. Gdel tambin escribi The Consistency
of the Continuum Hypothesis (La consistencia de la hiptesis del continuo , 1940) y Rotating Universes in
General relativity Theory (Los universos giratorios en la teora de la relatividad general, 1950

Edad Contempornea

El siglo XIX se caracteriza por el nivel de abstraccin que alcanza la lgica matemtica destacando Hamilton
sobre la cuantificacin de todo o alguno. Augusto de Morgan considera que la base, comn de la lgica radica
en las relaciones de inclusin o exclusin parcial o total entre clases; George Boole construye la Teora de
Clases. Venn aclara los procedimiento de Boole representando los procesos algebraicas en los diagramas de
Venn. Giussepe Peano da a la lgica el nombre de lgica matemtica creando un lenguaje simblico para las
demostraciones matemticas propuso el uso de los puntos auxiliares y un modo de simbolizar los
cuantificadores. Bertrand Russell en su obra Los Principios de la matemtica propone que las matemticas
puedan reducirse a una rama de la lgica generando en su obra investigaciones sobre la inferencia y sus
respectivas aplicaciones.
En el siglo XX la lgica simblica, que tanto deba a la matemtica haba desembocado, desde principio del
siglo, en cuestiones irresolubles. Esto produjo un paulatino alejamiento de la lgica con respecto a la
matemtica, as como un deslindamiento de las competencias respectivas. Por un lado, la lgica, alejndose
del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de problemas semnticos, es decir
de las relaciones entre los smbolos y lo que expresan. Se producen as un acercamiento de la lgica a la
lingstica y a la epistemologa. Filsofos como L. Wittgenstein, R. Carnap inicialmente bajo la influencia
formalista y logicista, dan un viraje en su filosofar orientndose hacia preocupaciones lgico - semntica.
La lgica de Port-Royal
La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza
con La logique ou l'art de penser de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-

Royal. Publicada en 1662, fue la ms influyente obra sobre lgica en Inglaterra hasta el Sistema Lgico de Mill
de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de
ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de
trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable
influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX.
El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de Port-Royal: "Las
proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en
oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de
acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." (Locke, An Essay Concerning Human

Understanding, IV. 5. 6)
Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of

Reason (1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic (1843), que fue una de las
ltimas grandes obras de la tradicin.
LA EDAD CONTEMPORANEA 1869- 1900
Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra,
especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la
exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm
Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma
generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos

de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no
empez a desarrollarse hasta los aos ochenta.
Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para
incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para
revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por
ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser
humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese
ignorada durante muchos aos.
En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino
"Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los
smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de
comienzos del XX estuvieron ms familiarizados con el sistema lgico de Peirce-Schrder, aunque
generalmente se reconoce que Frege es el Padre de la lgica moderna.
En 1889, Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los
nueve axiomas10 son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del
principio de la induccin matemtica.
Siglo XX
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a estudiarse por su
inters intrnseco, y no slo por sus virtudes como propedutica, por lo que estudi a niveles mucho ms
abstractos.
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental
en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las paradojas en las que
cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En contraste con el trabajo de
Frege, Principia mathematica tuvo un xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin
ms importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notacin inspirada en la
de Giuseppe Peano, parte de la cual todava es muy utilizada hoy en da.
Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e
incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era
consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea modificacin. Por
ello la silogstica prcticamente no tiene uso actualmente.
Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos otros
sistemas lgicos; entre los que destacan las muchas lgicas modales.

LOGICA EN EL PERU

FRANCISCO MIR QUESADA

Filsofo peruano. Nacido en Lima, fue profesor en dos universidades de su ciudad natal, la Peruana
Cayetano Heredia y la Nacional Mayor de San Marcos. Algunas de las principales aportaciones de su
pensamiento se centraron en la reivindicacin de la exactitud en el planteamiento de los problemas
filosficos. Para ello, Mir Quesada aplic los logros de la lgica y de las matemticas, as como la defensa de
una filosofa racionalista que subraya la importancia del mtodo y de la exactitud. Para l, la filosofa se sita
en el mbito de las ciencias, por lo que prest una atencin especial al desarrollo de las llamadas lgicas no
ortodoxas. La razn posee un dinamismo propio y sus contradicciones pueden refinar su empleo, pero
nunca detener su fuerza. Realiz, adems, interesantes anlisis sobre la unidad posible entre la lgica terica
y la lgica de las acciones, en la bsqueda de la estructura de la logicidad pura.
Introdujo la lgica en el Per creador de la lgica paraconsistente.
En el conjunto de su vasta produccin escrita, deben ser citados los siguientes trabajos:Sentido del
movimiento fenomenolgico (1940), El problema de la libertad y la ciencia (1943),Lgica (1946), Iniciacin
lgica (1958), La otra mitad del mundo (2 vols., 1959), Apuntes para una teora de la
razn (1963), Humanismo y revolucin (1969), Filosofa de las matemticas(2 vols., 1976), Ensayos de
filosofa del derecho (1986), Las Supercuerdas (1993), Hombre, sociedad y poltica (1993) y Razn e historia
en Ortega y Gasset (1993)

Lgica paraconsistente
Una lgica paraconsistente es un sistema lgico que intenta tratar las contradicciones en forma
atenuada. Alternativamente, la lgica paraconsistente es un campo de la lgica que se ocupa del
estudio y desarrollo de sistemas lgicos paraconsistentes (o "tolerantes a la inconsistencia"). (En este
artculo el trmino es utilizado en ambas acepciones.)
Las lgicas tolerantes a la inconsistencia existen por lo menos desde 1910 (y es posible argumentar que
muchsimo antes, por ejemplo en los escritos de Aristteles); sin embargo, la
palabra paraconsistente ("ms all de la consistencia") recin fue acuada en 1976, por el filsofo
peruano Francisco Mir Quesada.
Necesidad de su aparicin
En el ao 1874 Georg Cantor cre la teora de conjuntos. En poco tiempo se not que todos los patrones
matemticos podran construirse con base a la teora de los conjuntos, y as esta teora se convirti
esencialmente en la base de la matemtica. Alrededor de treinta aos despus comenzaron a surgir
paradojas en esa teora, la paradoja de Russell, la paradoja de Burali-Forti y varias otras. Esas cuestiones
se tornaron un problema filosficamente increble, considerndose una gran crisis de la historia de las
matemticas. Se descubri que la teora de los conjuntos resultaba inconsistente y contradictoria, no se
sustentaba. Se intent resolver la cuestin manteniendo la lgica clsica e imaginando cules eran las
modificaciones que se podran realizar en la teora de los conjuntos para superar las paradojas.
Qued claro que existan caminos alternativos para superar esas dificultades, que no eran equivalentes
entre s. O sea, haba varias teoras de conjuntos posibles basadas en la lgica clsica. Las idea bsica
cuando se comenz a estudiar esas cuestiones era la de mantener la lgica clsica en las soluciones
usuales de esas paradojas y cambiar los principios de la teora ingenua de los conjuntos. Pero en la
naturaleza y la sociedad se operan cambios, los objetos y sus propiedades pasan a su contrario, por lo
cual no son raros estados transitorios o situaciones intermedias. En tales situaciones, la accin de dos
leyes de la lgica bivalente (del tercero excluido y de no contradiccin) es restringida o inaplicable del
todo. Adems de intervalos temporales y estados transitorios, nuestro pensamiento trata los llamados
conceptos imprecisos (no rgidos, vagos, confusos) que reflejan los conjuntos no rgidos. Todo ello
condicion la necesidad de aparicin de lgicas paraconsistentes.

Datos contradictorios surgen en audiencias judiciales, discusiones, diagnsticos de enfermedades, teoras

cientficas, en las situaciones ligadas con la solucin de problemas morales y otras esferas de la actividad
intelectual. De ah que se planteara el problema de la creacin de un sistema informativo que procesara
datos contradictorios.
Primeros estudios
Las lgicas paraconsistentes tuvieron sus precursores en N. Vasliev y J. lukasiewicz. Como nuevo tipo de
lgica matemtica fueron elaboradas en trabajos del lgico polaco Stanislaw Jaskowski (1948) y del
matemtico brasileo Newton Da Costa desde 1958. En los sistemas de lgica paraconsistente el principio
de no contradiccin carece de valor universal. No son propios de la lgica la unidad ni el carcter absoluto.
Aplicaciones de la lgica paraconsistente
La lgica paraconsistente se puede aplicar a la economa, computacin, robtica, en sistemas
especializados, para el control del trfico de trenes. Tambin en el control del trfico areo. Cuando se
presenta una situacin en que varios aviones no pueden aterrizar, por ejemplo, por mal tiempo, el
controlador de vuelo recibe y enva informaciones. Ellas nunca son exactas porque no se sabe
exactamente a qu altura vuela el avin. La altura siempre tiene un pequeo error. Luego, debe
interpretarse correctamente en la computadora del controlador para evitar accidentes. La lgica
paraconsistente es una de las maneras pensadas para resolver el problema.