LOGICA FORMAL:

La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se dedica

al estudio de la inferencia mediante la construccin de lenguajes formales, sistemas
deductivos y semnticas formales. La idea es que estas construcciones capturen las
caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al
ser estructuras formales y susceptibles de anlisis matemtico, permiten
realizar demostraciones rigurosas sobre ellas.

Qu significa lgica?

La lgica es una ciencia formal destinada a estudiar los principios capaces de

demostrar un punto determinado desde una perspectiva vlida, cimentada en
la razn, el intelectualismo, la dialctica y la capacidad de argumentacin.
Lgica viene de logos, que en griego remite a la palabra, al pensamiento, a la
idea y principalmente al racionalismo. Para efectuar una estructura lgica se
considera excluyente remitirse al empirismo, aunque esto no quiere decir que la
lgica sea una ciencia emprica, sino una ciencia formal, como la matemtica.

OBJETO DE ESTUDIO DE LA LGICA FORMAL

A lo largo de la historia se han dado varias definiciones de lgica.
Segn Sergio Custodio en su libro Introduccin a la lgica, la
lgica puede ser vista de tres maneras: segn su objeto de
estudio, segn su mtodo y como ciencia.
Segn su objeto de estudio
Como toda ciencia, la lgica tiene su propio objeto de estudio.
Aunque no posee un slo objeto de estudio, si tiene una jerarqua
de objetos. El ms primitivo -por ser el origen del pensar
lgico- es el concepto. Y a partir de l podemos aplicar el pensar
lgico. Es necesario relacionar conceptos, y con estas relaciones
formulamos juicios y la relacin de juicios nos lleva a los
razonamientos. Siendo ste ltimo, el objeto propio de la lgica,
ya que en "l se renen todas las condiciones necesarias para
establecer todas las relaciones lgicas posibles entre conceptos
y juicios" (Sergio Custodio. Introduccin a la lgica, p. 18).
De esta forma, se suele definir a la lgica en relacin a su objeto
de estudio como la "ciencia que se ocupa de las relaciones entre
premisas y conclusiones", as. como las condiciones o reglas que
permiten pasar de un grupo o conjunto de premisas a obtener
acertadamente una conclusin.
Para la lgica, pensar es derivar conclusiones a partir de
premisas, de tal manera que a la lgica se le ha dado en
llamar ciencia de la evidencia, dado que slo le interesa el
razonamiento o argumento correcto.
 Segn su mtodo
Toda actividad humana posee un mtodo, es decir, una manera
propia de estudiar su objeto de estudio. Ya indicamos que el
objeto de estudio de la lgica es el razonamiento, mientras que
su mtodo es por una parte formal y por otra, orientada al
razonamiento. Por ello, decimos que la lgica es la ciencia de las
formas de pensar, razonar o argumentar. Esto es adecuado, ya
que la lgica se interesa por las formas que se originan en el
pensamiento. La lgica se define como ciencia formal, ya que
estudia las formas y no los contenidos, formas que se dirigen al
razonamiento o a la argumentacin.
ANTECEDENTES DE LA LOGICA FORMAL:

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:

La lgica antigua, obra de Aristteles, los megricos y los estoicos.

La idea de un lenguaje nico, completo y exacto para razonar, sueo al que
aspiraban Ramn Llull y Leibniz.
Los progresos en lgebra y geometra al comienzo del siglo XIX, y el desarrollo de
un clculo completo, obra de Frege.
Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creacin de
la lgica. A partir de este momento no cesarn de producirse nuevos desarrollos y de
nacer escuelas y tendencias.

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.

Con el nombre de dialctica en la Edad Media la lgica mantiene la condicin de

ciencia propedutica. As se estudia en la estructura de las enseanzas del Trivium como
una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media.
En su evolucin hacia la Baja Edad Media son importantes los aportes rabes de Al-
Farabi, Avicena y Averroes, pues fueron los rabes quienes reintrodujeron los escritos de
Aristteles en Europa. En la Baja Edad Media su estudio era requisito para entrar en
cualquier universidad. Desde mediados del siglo XIII se incluyen en la lgica tres cuerpos
separados del texto. En la logica vetus y logica nova es tradicional escritos lgicos,
especialmente el rganon de Aristteles y los comentarios de Boecio y Porfirio. La parva
logicalia puede ser considerada como representativa de la lgica medieval.
La evolucin crtica que se va desarrollando a partir de las aportaciones
de Abelardo dinamizaron la problemtica lgica y epistemolgica a partir del siglo XIII
(Pedro Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood) que
culminaron en toda la problemtica del siglo XIV: Guillermo de Ockham, Jean
Buridan, Alberto de Sajonia.
Aqu estn tratados una cantidad de nuevos problemas en la frontera de la lgica y
la semntica que no fueron tratados por los pensadores antiguos. De especial relevancia
es la problemtica respecto a la valoracin de los trminos del lenguaje en relacin con
los conceptos universales, as como el estatuto epistemolgico y ontolgico de stos y el
problema de la individuacin.
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 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 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,5 de la lgica modo-temporal,67 y de
la lgica inductiva.89 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.
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,10 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 (15891644,
conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez (1548
1617).

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.

Edad Contempornea (1860-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 axiomas16 son conocidos como axiomas de Peano. Uno de
estos axiomas fue una formalizacin del principio de la induccin matemtica.
Siglo XIX
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En
1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y
en 1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue
construir a la lgica como un clculo en el que los valores de verdad se representan
mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones
matemticas como la suma y la multiplicacin.
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde
introduce las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro
importante contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica
Simblica, donde introdujo los famosos diagramas de Venn.
Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones.
Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien
frecuentemente es considerado como el lgico ms importante de la historia, junto con
Aristteles. En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un
sistema completo de lgica de predicados. Tambin desarrolla la idea de un lenguaje
formal y define la nocin de prueba. Estas ideas constituyeron una base terica
fundamental para el desarrollo de las computadoras y las ciencias de la computacin,
entre otras cosas. Pese a esto, los contemporneos de Frege pasaron por alto sus
contribuciones, probablemente a causa de la complicada notacin que desarroll el autor.
En 1893 y 1903, Frege publica en dos volmenes Las leyes de la aritmtica, donde intenta
deducir toda la matemtica a partir de la lgica, en lo que se conoce como el proyecto
logicista. Su sistema, sin embargo, contena una contradiccin (la paradoja de Russell).
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.

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.

LAS CARACTERSTICAS FUNDAMENTALES DE LA LGICA

1. Unidad: Slo hay una forma de nuestra forma de conocer las cosas, slo hay una
lgica, una ciencia filosfica con tres planos:
a) Tcnico (simbolismo), la lgica es la ciencia de los principios de validez formal de la
inferencia, la presentacin formalizada de las reglas del razonamiento formalmente
correcto. En la lgica opera como modelo o como macro-modelo (macro-paradigma) el
ideal de clculo, el ideal de presentacin formalizada.
b) Conceptual: La lgica no es slo lgica formal, sino un ms vasto instrumento de
exploracin y anlisis de marcos conceptuales. Sino porque no tenemos ms remedio,
porque ellas forman la malla inicial de nuestro tejido intelectual; porque las reglas de la
lgica son parte parte fundamentalsima- de las reglas de entendimiento entre seres
humanos; porque las reglas de la lgica nos constituyen formalmente.
2. Formalidad: La lgica es la ciencia de la verdad formal. Ofrece un canon de la inferencia
deductiva en cualquier campo como teora de la coherencia del razonamiento sobre
cualquier materia.
3. Universalidad: Los principios lgicos merecen una consideracin por separado
porque son principios previos a todos los dems, son principios de todos los dems
principios.
La relacin entre la lgica y la ciencia emprica... Los principios lgicos son el superego,
en lo formal, de los principios empricos,
4. Omniaplicabilidad: Los principios y reglas de la lgica sirven para todo saber.
5. Metacientificidad: La lgica es la ciencia de la forma de toda ciencia; la teora de la
fundamentacin de todas las ciencias.
6. Metalingisticidad: Los sistemas lgicos son marcos del uso argumentativo del lenguaje.
Las verdades de la lgica son verdades del lenguaje, e. d., verdades en virtud de su
propios estructura simblica.
7. Autocriticismo: La lgica perfila sus propios lmites. Ah est la lgica.

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 cientfica: Es la que se sirve de la experiencia emanada de la lgica natural, pero

adems le adhiere la razn, generando planteos de todo lo existente. Siguiendo el famoso
dicho annimo de la piedra, el hombre por lgica natural evitara pasar por el camino en el que
est la piedra para no tropezarse, pero a su vez establecer por medio de la lgica cientfica
porqu esa piedra le genera el traspi.

-Lgica formal: Es el contrapunto de la lgica material. Aborda el estudio de la capacidad de

razonamiento desde el aspecto ms adecuado y desde las asociaciones, sin importar si es
vlido o no. Es una lgica pasiva, en cierto punto, ya que es reacia a los cuestionamientos.

-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.

-Lgica matemtica: Es un sector de la lgica consistente en el estudio matemtico de la

misma, y en la aplicacin del estudio a todas las reas de las matemticas. Es, por otro lado, la
lgica que se utilizada en las ciencias de la comunicacin. Estudia los sistemas formales con
nociones matemticas como conjuntos, nmeros y demostraciones. Es importante entender
que la lgica matemtica no constituye la lgica de las matemtica como abordaje de las
ciencias exactas, sino la matemtica de la lgica.

-Lgica de clases: Se encarga de analizar una proposicin lgica en base a la pertenencia o no

pertenencia de un elemento especfico o de un individuo particular a una determinada clase.
La lgica de clases sienta sus principios para abordar el estudio desde la teora de conjuntos.
Se entiende por clase al conjunto de individuos que tienen en comn alguna propiedad
particular. La propiedad es la que define a la clase, y no al individuo. Al analizar el conjunto no
es lo mismo decir Scrates era un hombre, que Scrates perteneca a la clase de los
hombres.

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.