Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Qu significa lgica?
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 rganon 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.
La historia de la lgica es producto de la confluencia de cuatro lneas de pensamiento, que
aparecen en momentos histricos diferentes:
Edad Antigua
La lgica, como un anlisis explcito de los mtodos de razonamiento, se desarroll
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el
siglo V y el siglo I a. C.
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.
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
como Organon (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.
Se considera a Aristteles el fundador de la lgica como propedutica o herramienta
bsica para todas las ciencias. Aristteles fue el primero en formalizar los razonamientos,
utilizando letras para representar trminos. Tambin fue el primero en emplear el trmino
lgica para referirse al estudio de los argumentos dentro del lenguaje apofntico
como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en
el juicio verdadero y el argumento vlido en el silogismo: Silogismo es un argumento en el
cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra
cosa diferente. Se refiri en varios escritos de su rganon a cuestiones tales
como concepto, proposicin, definicin, prueba y falacia. En su principal obra lgica,
los Primeros analticos, desarroll el silogismo, un sistema lgico de estructura
rgida. Aristteles tambin formaliz el cuadro de oposicin de los juicios y categoriz las
formas vlidas del silogismo. Adems, Aristteles reconoci y estudi los argumentos
inductivos, base de lo que constituye la ciencia experimental, cuya lgica est
estrechamente ligada al mtodo cientfico. La influencia de los logros de Aristteles fue tan
grande que en el siglo XVIII Immanuel Kant lleg a decir que Aristteles haba
prcticamente completado la ciencia de la lgica.
En Europa, Aristteles fue el primero en desarrollar la lgica. La lgica aristotlica fue
ampliamente aceptada en ciencias y matemticas y permaneci en uso amplio en
Occidente hasta principios del siglo XIX. El sistema de lgica de Aristteles fue
responsable de la introduccin del silogismo hipottico, de la lgica modal temporal, de la
lgica inductiva, as como de trminos influyentes tales como trminos, predicables,
silogismos y proposiciones. En Europa durante el ltimo perodo de la poca medieval, se
hicieron grandes esfuerzos para demostrar que las ideas de Aristteles eran compatibles
con la fe cristiana. Durante la Alta Edad Media, la lgica se convirti en el foco principal de
los filsofos, que participaran en anlisis lgicos crticos de los argumentos filosficos, a
menudo utilizando variaciones de la metodologa del escolasticismo. En 1323, William de
Ockham influyente Summa Logicae fue publicado. En el siglo XVIII, el enfoque
estructurado de los argumentos haba degenerado y haba cado en desgracia, como se
muestra en el juego satrico de Holberg Erasmus Montanus.
Los filsofos estoicos introdujeron el silogismo hipottico y anunciaron la lgica
proposicional, pero no tuvo mucho desarrollo. Los filsofos estoicos introdujeron
el silogismo hipottico y anunciaron la lgica proposicional, pero no tuvo mucho desarrollo.
Por otro lado, la lgica informal fue cultivada por la retrica, la oratoria y la filosofa, entre
otras ramas del conocimiento. Estos estudios se centraron principalmente en la
identificacin de falacias y paradojas, as como en la construccin correcta de
los discursos.
En el periodo romano la lgica tuvo poco desarrollo, ms bien se hicieron sumarios y
comentarios a las obras recibidas, siendo los ms notables: Cicern, Porfirio y Boecio. En
el perodo bizantino, Filopn.
Hasta el siglo XIX, la lgica aristotlica y estica mantuvo siempre una relacin con los
argumentos formulados en lenguaje natural. Por eso aunque eran formales, no
eran formalistas. Hoy esa relacin se trata bajo un punto de vista completamente diferente.
La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional o aristotlica,
que hoy se interpreta como una parte pequea de la lgica de clases.
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.
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.
En la India, las innovaciones en la escuela escolstica, llamado Nyaya, continuaron desde
la antigedad hasta principios del siglo XVIII con la escuela Navya-Nyaya. Hacia el siglo
XVI se desarrollaron teoras semejantes a la lgica moderna, como "la distincin entre
sentido y referencia de nombres propios" de Gottlob Frege y su "definicin de nmero", as
como la teora de "condiciones restrictivas para universales" anticipando algunas de las
Desarrollos en la teora de conjuntos modernos. Desde 1824, la lgica india atrajo la
atencin de muchos estudiantes occidentales y ha influido en importantes lgicos del siglo
XIX como Charles Babbage, Augustus De Morgan y George Boole. En el siglo XX,
filsofos occidentales como Stanislaw Schayer y Klaus Glashoff han investigado la lgica
india ms ampliamente.
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. La traduccin y la
investigacin escolar en lgica fue reprimida por la dinasta Qin, acorde con la
filosofa legistaDesam. En India, la lgica dur bastante ms: se desarroll (por ejemplo con
la nyya) hasta que en el mundo islmico apareci la escuela de Asharite, la cual suprimi
parte del trabajo original en lgica. A pesar de lo anterior, hubo innovaciones escolsticas
indias hasta principios del siglo XIX, pero no sobrevivi mucho dentro de la India colonial.
El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la
tradicin griega.
El filsofo lgico chino Gong Sunlong (325-250 AEC) propuso la paradoja "Uno y uno no
pueden ser dos, ya que ninguno se convierte en dos." [24] En China, la tradicin de la
investigacin acadmica en la lgica, sin embargo, fue reprimida por La dinasta Qin
siguiendo la filosofa legalista de Han Feizi.
Edad Media
Averroes, uno de los principales pensadores rabes en rescatar la lgica aristotlica y reintroducirla
en el mundo Occidental.
Edad Moderna
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
universalis11 y de Leibniz en la bsqueda de un lenguaje universal, especificado con
precisin matemtica sobre la base de que la sintaxis de las palabras 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.12
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.
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.13
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.
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
Hegel considera la lgica dentro del Absoluto como un proceso dialctico del Espritu
Absoluto14 que produce sus determinaciones como concepto y
su realidad como resultado en el devenir de la Idea del Absoluto como Sujeto15 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 la Filosofa entendida sta como Sistema Absoluto.
CARACTERISTICAS
Como toda disciplina cientfica, la Lgica formal tiene un objeto de estudio material (lo que
estudia) y un objeto de estudio formal (la manera en que lo estudia). La lgica formal tiene por
objeto MATERIAL de estudio el PENSAR, y la manera en que estudia el pensar es explicando la
ESTRUCTURA o las condiciones para que ese pensar sea correcto, objeto de estudio formal.
Una de las disciplinas filosficas que llega a confundirse con la Lgica formal es la Teora del
Conocimiento, que como su nombre lo indica estudia el CONOCIMIENTO, sentido, significado,
alcances y lmites del conocer.
La lgica Formal se relaciona con disciplinas como la Matemtica, La Psicologa y la Gramtica.
Con la Matemtica tiene relacin porque ambas estudian ESTRUCTURAS, pero se distingue de
ella porque la Matemtica se centra en los NMEROS y la Lgica estudia el PENSAR.
Con respecto a la Psicologa, podemos sealar que a ambas les interesa estudiar el
PENSAMIENTO, pero a la Psicologa le importa este pensar en cuanto explica su relacin con
LAS ACCIONES y a la Lgica slo le importa explicar la ESTRUCTURA del pensar.
Por ltimo, la Lgica se relaciona con la Gramtica en tanto que ambas trabajan con el
producto del pensar que es el LENGUAJE, pero a la Gramtica le interesa el lenguaje para
explicar aspectos SEMNTICOS Y FONTICOS de las palabras, en cambio a la Lgica le interesa
el Lenguaje como ESTRUCTURA del Pensar.
CLASIFICACIN
-Lgica natural: Es aquella que toda persona asimila por la experiencia sensible. Es el
empirismo ms primitivo, nace de la razn innata del ser humano y se ejecuta a modo de
prevencin. De all el dicho el hombre es el nico animal que tropieza dos veces con la misma
piedra. Se presume que si bien las personas son permeables de reincidir en sus errores, se
considera que aprenden de sus actos y de las consecuencias de los mismos. Luego por lgica
natural efectan las prevenciones necesarias.
-Lgica material: Su estudio es abordado desde la epistemologa, una de las ramas modernas
de la filosofa. El objeto de la lgica material es basarse en la validez de un pensamiento
determinado siguiendo la realidad. Es una lgica activa, ya que se cuestiona y va ms all,
dejando lugar a la incertidumbre al no concluir sin dudar. En un ejemplo de lgica material, si
el cielo est nublado puede ser que llueva, como puede que no. Por lo que el pensamiento de
que tal vez llovizne es correcto, pero no tiene validez (si tendra para la lgica formal), ya que
no es seguro que suceda.
CARCTER CIENTIFICO
Ciencia de las leyes y de las formas del pensamiento, cuyos orgenes se remontan
a Aristteles (ver). La lgica formal ensea a pensar acertadamente observando las
reglas de identidad, de no contradiccin, de determinacin, de demostracin, de
consecuencia. Si el pensamiento es contradictorio, incoherente, inconsecuente, no es
posible ningn conocimiento cientfico, ningn razonamiento bien fundado, ninguna
solucin valedera. No debe haber ninguna contradiccin lgica a condicin, desde
luego, de que el pensamiento lgico sea justo, ni en el anlisis econmico ni en el
anlisis poltico
La lgica formal establece cuatro leyes fundamentales del pensamiento: 1) El
pensamiento debe respetar el principio de identidad. La ley de la identidad ensea a
identificar y a distinguir acertadamente las cosas, a no substituir una nocin por otra. En
todo razonamiento, discusin o debate, toda nocin debe ser empleada en una sola y
misma significacin. 2) El pensamiento no debe ser contradictorio. La ley lgica de no-
contradiccin impide contradecirse en el curso de los razonamientos, en el anlisis de
los problemas. Es preciso distinguir las contradicciones inadmisibles de un falso
razonamiento y las de la vida real que son dialcticas. Por ejemplo, si se reconoce una
proposicin como verdadera, no se permite afirmar al mismo tiempo que no lo es. 3) Si
se trata de una cuestin planteada y comprendida convenientemente, es inadmisible
responder a ella de una manera indeterminada, ni por s ni por no. Esto es lo que se
llama la ley del tercero excluido. Despus de las precisiones necesarias, hay que
responder siempre de una manera determinada. De dos juicios contradictorios, uno es
necesariamente justo y el otro falso, y no hay un tercero. Dicho de otro modo A es B o
no-B. 4) Todo pensamiento es justo a condicin de que est bien fundado, de que derive
de otro pensamiento justo que, en ese caso, le sirve de premisa (ley de la razn
suficiente). Por eso el pensamiento debe ser consecuente. Hay A porque hay B, ensea
la ley de la razn suficiente. As, en su entrevista con la primera delegacin de obreros
norteamericanos, Stalin respondi a la cuestin de la supresin posible del monopolio
del comercio exterior que involucraba a su vez el problema de la falta de derechos
polticos en los elementos burgueses de la U.R.S.S. en los trminos siguientes: La
delegacin, por lo visto, no tiene nada en contra de que el proletariado de la U.R.S.S.
haya desposedo a la burguesa y a los terratenientes de las fbricas, la tierra y los
ferrocarriles, los bancos y las minas. Pero se me figura que la delegacin siente cierta
perplejidad al ver que el proletariado no se ha limitado a esto y ha ido ms lejos,
desposeyendo a la burguesa de derechos polticos. Esto, a mi modo de ver, no es muy
lgico, o, mejor dicho, no es nada lgico. ...Creo que la lgica obliga. El que piensa en
la posibilidad de devolver a la burguesa sus derechos polticos, debe, si quiere ser
lgico, ir ms lejos y plantear tambin la devolucin de las fbricas, los ferrocarriles y
los bancos a la burguesa (Stalin, Obras, t. X, pp. 118 y 119, Ed. esp., Mosc, 1954).
Este ejemplo muestra claramente lo que significa la consecuencia, el curso lgico. Las
cuatro leyes lgicas del pensamiento indican que la lgica formal plantea como
obligatorias las leyes ms generales y ms elementales del pensamiento, las reglas ms
generales de coherencia y de consecuencia.
La lgica formal estudia de igual modo las diferentes formas del proceso del
pensamiento. Concepto (ver), juicio (ver), y razonamiento (ver), son las formas que
constituyen las tres partes esenciales de la lgica formal. En la primera, la lgica formal
examina las especies de conceptos, sus relaciones, los procedimientos lgicos de su
formacin, la relacin entre su extensin y su comprensin, los procedimientos y las
reglas de determinacin y de distincin de los conceptos. En la segunda parte, la lgica
formal estudia la composicin, los modos del juicio, &c. En la tercera, la ms extensa,
analiza el razonamiento, clasifica las especies y los procedimientos del razonamiento,
expone su teora, las reglas y las figuras del silogismo, muestra la importancia y el papel
de la deduccin y de la induccin en el proceso del conocimiento, &c. En fin, la lgica
formal explica el papel, los procedimientos y los principios de la demostracin en el
pensamiento lgico. La lgica formal es como la gramtica del pensamiento lgico. De
igual modo que la gramtica establece las reglas de modificacin de las palabras, las
reglas de su combinacin en la proposicin y confiere as al lenguaje un carcter
coherente, as la lgica permite ordenar las ideas y conferir al pensamiento un carcter
coherente. El punto comn entre la gramtica y la lgica es que tanto una como la otra
hacen abstraccin de lo particular y de lo concreto, definen las reglas y las leyes
generales que, como lo ensea la gramtica, permiten combinar juiciosamente las
palabras en las proposiciones, modificar acertadamente las palabras y que, como lo
ensea la lgica, permiten pensar acertadamente, encadenar convenientemente los
conceptos en el juicio, los juicios en los razonamientos, &c.
Las leyes y las reglas de la lgica formal, sin las cuales no es posible ningn
conocimiento, son universales, comunes a toda la humanidad. Las leyes lgicas son
leyes objetivas que reflejan los fenmenos del mundo objetivo. De igual modo que el
lenguaje, estn al servicio de todos los hombres sin distincin de clases. Ni ms ni
menos que las reglas gramaticales, no tienen, ni pueden tener, carcter de clase. Si
fuera de otro modo, los hombres pertenecientes a diferentes clases no podran
entenderse. Las leyes y las reglas de la lgica formal son las del proceso natural del
pensamiento. Sin embargo, ciertas teoras falsean la interpretacin de estas leyes. As,
para los idealistas, la lgica formal es una ciencia puramente abstracta, separada de la
realidad objetiva. Por eso Lenin, al hablar de la necesidad de estudiar la lgica formal,
exige que se apliquen correcciones a esta lgica tradicional, vale decir, que se despoje
de toda clase de alteraciones y deformaciones idealistas. Pero la lgica formal no
representa sino las matemticas elementales del pensamiento; ella estudia los
vnculos y relaciones ms simples entre las cosas. El nico instrumento de investigacin
cientfica, es el mtodo dialctico marxista (ver), que pone en claro las leyes ms
generales del desarrollo de la naturaleza, de la sociedad y del pensamiento humano.
(Sobre las relaciones entre la dialctica y la lgica formal, ver Lgica).
FINALIDAD
La finalidad de la lgica es proporcionar las nociones fundamentales de esta ciencia
para que puedan ser aplicadas, esta materia busca darle a sus alumnos un instrumento
que facilite la comprensin de distintos aspectos, sobre todo que el estudiante
encuentre un medio que le ayude a mejorar su capacidad de razonar y con ello
entienda y transforme su mundo.
Posee el rigor, la exactitud, la necesidad y universalidad caractersticos del
conocimiento cientfico.
Las formas mentales son el objeto formal de la lgica y se refiere a los tres modos
como se estructura los pensamientos en el entendimiento: idea, juicio y raciocinio
Se interesa por lograr los pensamientos correctos y verdaderos.
Mediante la inteligencia podemos captar e interpretar los datos que provienen de la
realidad e identificar lo que es coherente y racional, diferencindolo de lo absurdo y
contradictorio, esta capacidad de razonar es desarrollada y perfeccionada por la lgica.
la lgica es una teora dirigida a la accin es una ciencia practica por ejemplo nos
facilita el anlisis de los argumentos a los que recurren las autoridades para exigir un
comportamiento o prohibir una conducta; tambin proporciona las herramientas para
desentraar las ideas transmitidas por la publicidad y as lograr una eleccin adecuada
y no caer en engaos.
Podemos darnos cuenta que el ser humano tiene la aptitud de pensar en forma
espontnea o natural por lo cual puede desempear sus actividades en forma
ordenada, coherente, "lgica", sin embargo como todas las facultades humanas, la
razn puede ser desarrollada a travs del estudio o aplicacin de las tcnicas.