Historia de la lgica

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: la Antigua 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.
ndice
[ocultar]

1La Epoca griega

o

1.1Mesopotamia

1.2La Antigua Grecia

1.3La Antigua India

1.4La Antigua China

2La Edad Media

o

2.1El mundo islmico

2.2La Europa medieval

3La Edad Moderna

o

3.1La lgica de Port-Royal

4La Edad Contempornea 1860-1900

5Vase tambin

6Notas y referencias

7Bibliografa adicional

8Enlaces externos

La Epoca griega[editar]
Mesopotamia[editar]
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. 1
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.2 El pensamiento
babilnico tuvo una considerable influencia en el pensamiento de la Grecia
arcaica.3
La Antigua Grecia[editar]
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 lalgica 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 como Organon (instrumento), la
primera obra griega sistemtica sobre lgica. El examen de Aristteles
delsilogismo 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[editar]
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[editar]
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.
La Edad Media[editar]
El mundo islmico[editar]
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 al-Farabi, 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 epistemologay 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 Avicenafue 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[editar]
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,9 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.
Las ltimas grandes obras de esta tradicin son Logic de John Poinsot (1589
1644, conocido como John of St Thomas), y Disputas metafsicas de Francisco
Surez (15481617).

La Edad Moderna[editar]
La lgica de Port-Royal[editar]
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 Contempornea 1860-1900[editar]
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.
Vase tambin[editar]

Historia de la filosofa occidental

Lgica de primer orden

Notas y referencias[editar]
1. Volver arriba H. F. J. Horstmanshoff, Marten Stol, Cornelis Tilburg
(2004), Magic and Rationality in Ancient Near Eastern and GraecoRoman Medicine, p. 99, Brill Publishers, ISBN 90-04-13666-5.
2. Volver arriba D. Brown (2000), Mesopotamian Planetary
Astronomy-Astrology , Styx Publications, ISBN 90-5693-036-2.
3. Volver arriba Giorgio Buccellati (1981), "Wisdom and Not: The
Case of Mesopotamia", Journal of the American Oriental
Society 101 (1), p. 35-47 [43].
4. Volver arriba Lenn Evan Goodman (2003), Islamic Humanism, p.
155, Oxford University Press, ISBN 0-19-513580-6.
5. Volver arriba History of logic: Arabic logic, Encyclopdia
Britannica.
6. Volver arriba Dr. Lotfollah Nabavi, Sohrevardi's Theory of
Decisive Necessity and kripke's QSS System, Journal of Faculty of
Literature and Human Sciences.
7. Volver arriba Science and Muslim Scientists, Islam Herald.

8. Volver arriba Wael B. Hallaq (1993), Ibn Taymiyya Against the

Greek Logicians, p. 48. Oxford University Press, ISBN 0-19-8240430.
9. Volver arriba Richard F. Washell (1973), "Logic, Language, and
Albert the Great", Journal of the History of Ideas 34 (3), p. 445-450
[445].
10.Volver arriba Astro, Juan (2002). Nuestro sistema solar. Buenos
Aires: Emec.
Bibliografa adicional[editar]

Alonzo Church, 1936-8. "A bibliography of symbolic logic". Journal of

Symbolic Logic 1: 121-218; 3:178-212.

Dov Gabbay and John Woods, eds, 2004. Handbook of the History of
Logic. Vol. 1: Greek, Indian and Arabic logic; Vol. 2: Mediaeval and
Renaissance logic; Vol. 3: The Rise of Modern Logic: from Leibniz to
Frege; Vol. 4: British logic in the Nineteenth century. Elsevier, ISBN 0444-51611-5.

Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 18701940. Princeton University Press.

Kneale, William and Martha, 1962. The Development of Logic. Oxford

University Press, ISBN 0-19-824773-7.

Enlaces externos[editar]

Historia de la lgica y de sus relaciones con la ontologa: bibliografa

anotada

Overview of Indian and Greek Development of Logic and Language

Petrus Hispanus

Paul Spade's "Thoughts Words and Things"

John of St Thomas

Joyce's Principles of Logic (Traditional Logic Primer)

Article on Logic in Britannica 1911 - a good summary of developments in

logic before Frege-Russell

Traducciones de textos Lgica de la China Pre-Han a Lengua

Espaola Traduccin de XunZi, Gong Sun Long Zi y Hui Shi por Nuo
Valenzuela.

Categora:

Lgica

Historia de la Lgica

Carpeta Pedaggica

Historia de la Lgica
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.

Edad media

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.

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.

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.

Lgica

Carpeta Pedaggica

Lgica
La lgica es una ciencia formal que utiliza principios, leyes y procedimientos
para determinar la validez de una Inferencia. El problema central de la lgica
es establecer la distincin entre el razonamiento correcto y el incorrecto. El
trmino inferencia puede ser aceptado como argumentacin.

La palabra lgica pertenece desde la antigedad al lxico filosfico y

cientfico, y forma parte tambin del uso corriente del lenguaje.

Etimologa: El trmino lgica carece de un significado unvoco,

etimolgicamente proviene del trmino griego logos , que se traduce por:
palabra, razn, discurso o proposicin.

La Lgica es un conocimiento que aparece con Aristteles de manera

orgnica y sistemtica con un objetivo definido como es el anlisis formal de
los razonamientos.