LOGICA FORMAL:

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica

al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas
deductivos y semánticas formales. La idea es que estas construcciones capturen las
características esenciales de las inferencias válidas en los lenguajes naturales, pero que al
ser estructuras formales y susceptibles de análisis matemático, permiten
realizar demostraciones rigurosas sobre ellas.

¿Qué significa “lógica”?

La lógica es una ciencia formal destinada a estudiar los principios capaces de

demostrar un punto determinado desde una perspectiva válida, cimentada en
la razón, el intelectualismo, la dialéctica y la capacidad de argumentación.
Lógica viene de logos, que en griego remite a la palabra, al pensamiento, a la
idea y principalmente al racionalismo. Para efectuar una estructura lógica se
considera excluyente remitirse al empirismo, aunque esto no quiere decir que la
lógica sea una ciencia empírica, sino una ciencia formal, como la matemática.

OBJETO DE ESTUDIO DE LA LÓGICA FORMAL

A lo largo de la historia se han dado varias definiciones de lógica.
Según Sergio Custodio en su libro Introducción a la lógica, la
lógica puede ser vista de tres maneras: según su objeto de
estudio, según su método y como ciencia.
Según su objeto de estudio
Como toda ciencia, la lógica tiene su propio objeto de estudio.
Aunque no posee un sólo objeto de estudio, si tiene una jerarquía
de objetos. El más primitivo -por ser el origen del pensar
lógico- es el concepto. Y a partir de él podemos aplicar el pensar
lógico. Es necesario relacionar conceptos, y con estas relaciones
formulamos juicios y la relación de juicios nos lleva a los
razonamientos. Siendo éste último, el objeto propio de la lógica,
ya que en "él se reúnen todas las condiciones necesarias para
establecer todas las relaciones lógicas posibles entre conceptos
y juicios" (Sergio Custodio. Introducción a la lógica, p. 18).
De esta forma, se suele definir a la lógica en relación 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 conclusión.
Para la lógica, pensar es derivar conclusiones a partir de
premisas, de tal manera que a la lógica se le ha dado en
llamar ciencia de la evidencia, dado que sólo le interesa el
razonamiento o argumento correcto.
 Según su método
Toda actividad humana posee un método, es decir, una manera
propia de estudiar su objeto de estudio. Ya indicamos que el
objeto de estudio de la lógica es el razonamiento, mientras que
su método es por una parte formal y por otra, orientada al
razonamiento. Por ello, decimos que la lógica es la ciencia de las
formas de pensar, razonar o argumentar. Esto es adecuado, ya
que la lógica se interesa por las formas que se originan en el
pensamiento. La lógica se define como ciencia formal, ya que
estudia las formas y no los contenidos, formas que se dirigen al
razonamiento o a la argumentación.
ANTECEDENTES DE LA LOGICA FORMAL:

Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y
tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados
sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito
en Babilonia en algún sentido, la lógica como análisis explícito de los métodos 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 lógica emergiese en las tres sociedades hacia el siglo IV a. C. El
tratamiento formalmente sofisticado de la lógica proviene de la tradición griega,
especialmente del Órganon aristotélico, cuyos logros serían desarrollados por los lógicos
islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la
lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica
moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que
aparecen en momentos históricos diferentes:

 La lógica antigua, obra de Aristóteles, los megáricos y los estoicos.

 La idea de un lenguaje único, completo y exacto para razonar, sueño al que
aspiraban Ramón Llull y Leibniz.
 Los progresos en álgebra y geometría al comienzo del siglo XIX, y el desarrollo de
un cálculo completo, obra de Frege.
 Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de
la lógica. A partir de este momento no cesarán de producirse nuevos desarrollos y de
nacer escuelas y tendencias.

Edad Antigua
La lógica, como un análisis explícito de los métodos 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 diagnóstico médico de Esagil-kin-apli, escrito en el siglo
XI a. C., se basó en un conjunto lógico de axiomas y asunciones, entre las que se incluyen
la visión moderna de que, a través del examen e inspección de los síntomas de un
paciente, es posible determinar el problema del mismo, su etiología y su desarrollo futuro,
y las posibilidades de recuperación.
Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica
interna en sus sistemas de predicción planetaria que fue una importante contribución a la
lógica y la filosofía de la ciencia. El pensamiento babilónico tuvo una considerable
influencia en el pensamiento de la Grecia arcaica.
Antigua Grecia
En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La
lógica estoica estaba enraizada en Euclides de Megara, pupilo de Sócrates, y con su
concentración en la lógica proposicional es la que quizás esté más próxima a la lógica
moderna. Sin embargo, la tradición que sobrevivió a las influencias de culturas posteriores
fue la peripatética, que tuvo su origen en el conjunto de obras de Aristóteles conocido
como Organon (instrumento), la primera obra griega sistemática sobre lógica. El examen
de Aristóteles del silogismo permite interesantes comparaciones con el esquema indio de
la inferencia y la menos rígida discusión china.
Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta
básica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos,
utilizando letras para representar términos. También fue el primero en emplear el término
«lógica» para referirse al estudio de los argumentos dentro del «lenguaje apofántico»
como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en
el juicio verdadero y el argumento válido 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, proposición, definición, prueba y falacia. En su principal obra lógica,
los Primeros analíticos, desarrolló el silogismo, un sistema lógico de estructura
rígida. Aristóteles también formalizó el cuadro de oposición de los juicios y categorizó las
formas válidas del silogismo. Además, Aristóteles reconoció y estudió los argumentos
inductivos, base de lo que constituye la ciencia experimental, cuya lógica está
estrechamente ligada al método científico. La influencia de los logros de Aristóteles fue tan
grande que en el siglo XVIII Immanuel Kant llegó a decir que Aristóteles había
prácticamente completado la ciencia de la lógica.
En Europa, Aristóteles fue el primero en desarrollar la lógica. La lógica aristotélica fue
ampliamente aceptada en ciencias y matemáticas y permaneció en uso amplio en
Occidente hasta principios del siglo XIX. El sistema de lógica de Aristóteles fue
responsable de la introducción del silogismo hipotético, de la lógica modal temporal, de la
lógica inductiva, así como de términos influyentes tales como términos, predicables,
silogismos y proposiciones. En Europa durante el último período de la época medieval, se
hicieron grandes esfuerzos para demostrar que las ideas de Aristóteles eran compatibles
con la fe cristiana. Durante la Alta Edad Media, la lógica se convirtió en el foco principal de
los filósofos, que participarían en análisis lógicos críticos de los argumentos filosóficos, a
menudo utilizando variaciones de la metodología del escolasticismo. En 1323, William de
Ockham influyente Summa Logicae fue publicado. En el siglo XVIII, el enfoque
estructurado de los argumentos había degenerado y había caído en desgracia, como se
muestra en el juego satírico de Holberg Erasmus Montanus.
Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica
proposicional, pero no tuvo mucho desarrollo. Los filósofos estoicos introdujeron
el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho desarrollo.
Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre
otras ramas del conocimiento. Estos estudios se centraron principalmente en la
identificación de falacias y paradojas, así como en la construcción correcta de
los discursos.
En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y
comentarios a las obras recibidas, siendo los más notables: Cicerón, Porfirio y Boecio. En
el período bizantino, Filopón.
Hasta el siglo XIX, la lógica aristotélica y estóica mantuvo siempre una relación con los
argumentos formulados en lenguaje natural. Por eso aunque eran formales, no
eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica,
que hoy se interpreta como una parte pequeña de la lógica de clases.
A través del latín en Europa occidental y de distintas lenguas orientales como
el árabe, armenio y georgiano, la tradición aristotélica fue considerada de forma especial
para la codificación de las leyes del razonamiento. Solo a partir del siglo XIX cambió este
enfoque.
Antigua India
Dos de las seis escuelas indias de pensamiento están relacionadas con la
lógica: Nyāya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el
núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de
filosofía hindú. Esta escuela realista trabajó con un rígido esquema de inferencia de cinco
miembros que engloba una premisa inicial, una razón, un ejemplo, una aplicación y una
conclusión. La filosofía budista idealista se convirtió en la principal oponente de los
Naiyayikas. Nāgārjuna, el fundador del camino intermedio Madhyamika, desarrolló un
análisis conocido como "catuskoti" o tetralemma. Esta argumentación de cuatro aspectos
examinó y rechazó sistemáticamente la afirmación de una proposición, su negación, la
afirmación conjunta y negación, y finalmente, el rechazo de su afirmación y negación. Pero
fue con Dignāga y su sucesor Dharmakirti con quienes la lógica budista alcanzó su mayor
altura. Su análisis, centrado en la definición de la implicación necesariamente lógica,
"vyapti", conocida también como concomitancia o penetración invariable. A este fin, fue
desarrollada una doctrina conocida como "apoha" o diferenciación. Comprende lo que se
podría llamar la inclusión y exclusión de propiedades definitorias. Las dificultades
concernientes a esta empresa, en parte, estimularon a la escuela neoescolástica
de Navya-Nyāya, que introdujo un análisis formal de la inferencia en el siglo XVI.
En la India, las innovaciones en la escuela escolástica, llamado Nyaya, continuaron desde
la antigüedad hasta principios del siglo XVIII con la escuela Navya-Nyaya. Hacia el siglo
XVI se desarrollaron teorías semejantes a la lógica moderna, como "la distinción entre
sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así
como la teoría de "condiciones restrictivas para universales" anticipando algunas de las
Desarrollos en la teoría de conjuntos modernos. Desde 1824, la lógica india atrajo la
atención de muchos estudiantes occidentales y ha influido en importantes lógicos del siglo
XIX como Charles Babbage, Augustus De Morgan y George Boole. En el siglo XX,
filósofos occidentales como Stanislaw Schayer y Klaus Glashoff han investigado la lógica
india más ampliamente.
Antigua China
En China, un contemporáneo de Confucio, Mozi, "Maestro Mo", es considerado como el
fundador de la escuela Mohista (mohísmo), cuyos principios están relacionados con temas
como la inferencia válida y las condiciones de las conclusiones correctas. En particular,
una de las escuelas que siguieron al mohísmo, los lógicos, es considerada por varios
expertos como la primera que investigó la lógica formal. Desafortunadamente, debido a
la rígida normativa legal durante la dinastía Qin, esa línea de investigación desapareció de
China hasta la introducción de la filosofía india por parte del budismo. La traducción y la
investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la
filosofía legistaDesam. En India, la lógica duró bastante más: se desarrolló (por ejemplo con
la nyāya) hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió
parte del trabajo original en lógica. A pesar de lo anterior, hubo innovaciones escolásticas
indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India colonial.
El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la
tradición griega.
El filósofo lógico 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 tradición de la
investigación académica en la lógica, sin embargo, fue reprimida por La dinastía Qin
siguiendo la filosofía legalista de Han Feizi.

Edad Media

Averroes, uno de los principales pensadores árabes en rescatar la lógica aristotélica y reintroducirla
en el mundo Occidental.

Con el nombre de dialéctica en la Edad Media la lógica mantiene la condición de

ciencia propedéutica. Así se estudia en la estructura de las enseñanzas del Trivium como
una de las artes liberales pero sin especiales aportaciones en la Alta Edad Media.
En su evolución 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
Aristóteles 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 lógica tres cuerpos
separados del texto. En la logica vetus y logica nova es tradicional escritos lógicos,
especialmente el Órganon de Aristóteles y los comentarios de Boecio y Porfirio. La parva
logicalia puede ser considerada como representativa de la lógica medieval.
La evolución crítica que se va desarrollando a partir de las aportaciones
de Abelardo dinamizaron la problemática lógica y epistemológica a partir del siglo XIII
(Pedro Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood) que
culminaron en toda la problemática del siglo XIV: Guillermo de Ockham, Jean
Buridan, Alberto de Sajonia.
Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y
la semántica que no fueron tratados por los pensadores antiguos. De especial relevancia
es la problemática respecto a la valoración de los términos del lenguaje en relación con
los conceptos universales, así como el estatuto epistemológico y ontológico de éstos y el
problema de la individuación.
Mundo islámico
Durante un tiempo tras la muerte de Mahoma, la ley islámica consideró importante
formular estándares para los argumentos, lo que dio lugar a una nueva aproximación a la
lógica en Kalam, pero esta aproximación fue más tarde desplazada por ideas tomadas de
la filosofía griega y helenística con el auge de los filósofos de la escuela Mu'tazili, que
valoraron extraordinariamente el Organon de Aristóteles. Las obras de los filósofos
islámicos con influencias helenísticas fueron cruciales para la recepción de la lógica
aristótelica en la Europa medieval, junto con los comentarios sobre el Organon elaborados
por Averroes. Las obras de al-Farabi, Avicena, al-Ghazali y otros lógicos musulmanes que
en ocasiones criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas
de lógica, también desempeñaron un papel central en el subsecuente desarrollo de la
lógica europea medieval.
La lógica islámica no solo incluye el estudio de modelos formales de inferencia y su
validación, sino también elementos de la filosofía del lenguaje y elementos
de epistemología y metafísica. Debido a disputas con gramáticos árabes, los filósofos
islámicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre
lógica y lenguaje, y dedicaron muchas discusiones a la cuestión del objeto de interés y
objetivos de la lógica en relación con el razonamiento y el habla. En el área del análisis
lógico-formal, elaboraron la teoría de los términos, proposiciones y silogismos.
Consideraron el silogismo como la forma a la que toda argumentación racional podía
reducirse, y consideraron la teoría silogística como el punto central de la lógica. Incluso,
la poética fue considerada, en ciertos aspectos, como un arte silogístico por muchos de los
más importantes lógicos islámicos.
Entre los más importantes desarrollos realizados por los lógicos musulmanes está el de la
lógica de Avicena como sustituta de la lógica aristotélica. El sistema lógico de Avicena fue
responsable de la introducción del silogismo hipotético,5 de la lógica modo-temporal,67 y de
la lógica inductiva.89 Otro importante desarrollo en la filosofía islámica es el de una estricta
ciencia de la cita, la isnad o "revisión", y el desarrollo de un método científico de
investigación abierta para poner en cuestión determinadas afirmaciones, la ijtihad, que
podía aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de
la sofisticación lógica de al-Ghazali, el auge de la escuela Asharite al final de la Edad
Media limitó poco a poco la obra original sobre lógica en el mundo islámico, aunque
continuó posteriormente en el siglo XV.
Europa medieval
Se entiende habitualmente por "lógica medieval" (también conocida como "lógica
escolástica") la forma de la lógica aristotélica desarrollada en la Europa medieval en el
periodo de c 1200–1600. Esta tarea comenzó tras las traducciones al latín del siglo XII,
cuando textos árabes sobre lógica aristotélica y la lógica de Avicena fueron traducidos a la
lengua de Roma. Aunque la lógica de Avicena tuvo influencia en los primeros lógicos
medievales europeos tales como Alberto Magno,10 la tradición aristotélica se convirtió en la
dominante debido a la importante influencia del averroísmo.
Tras la fase inicial de traducciones, la tradición de la lógica medieval fue desarrollada en
manuales como el de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue
autor de un manual estándar sobre lógica, el Tractatus, que fue bien conocido en Europa
durante varios siglos.
La tradición alcanzó su punto más alto en el siglo XIV, con las obras de Guillermo de
Ockham (c. 1287–1347) y Jean Buridan.
Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de teoría de la
suposición, un estudio de la semántica de los términos de la proposición.
Las últimas grandes obras de esta tradición son Logic de John Poinsot (1589–1644,
conocido como John of St Thomas), y Disputas metafísicas de Francisco Suárez (1548–
1617).

Edad Moderna
Un nuevo enfoque adquiere esta lógica 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 Lógica como ciencia.
Los filósofos racionalistas, sin embargo, aportaron a través del desarrollo del análisis y su
desarrollo en las matemáticas (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 búsqueda de un lenguaje universal, especificado con
precisión matemática sobre la base de que la sintaxis de las palabras debería estar
en correspondencia con las entidades designadas como individuos o
elementos metafísicos, lo que haría posible
un cálculo o computación mediante algoritmo en el descubrimiento de la verdad.12
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y,
aunque su desarrollo no fue eficaz, sin embargo la idea de una Mathesis Universal o
«Característica Universal», es el antecedente inmediato del desarrollo de la lógica a partir
del siglo XX.
Kant consideraba que la lógica por ser una ciencia a priori había encontrado su pleno
desarrollo prácticamente con la lógica aristotélica, por lo que apenas había sido modificada
desde entonces.13
Pero hace un uso nuevo de la palabra «lógica» como lógica trascendental, en el sentido
de investigar los conceptos puros del entendimiento o categorías trascendentales.
La lógica del pensar trascendental acaba situándose en un
proceso dialéctico como idealismo subjetivo en Fichte; idealismo objetivo en Schelling y,
finalmente un idealismo absoluto en
Hegel considera la lógica dentro del Absoluto como un proceso dialéctico del Espíritu
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 contradicción en tres
momentos sucesivos, tesis-antítesis-síntesis. La epistemología y la ontología van unidas y
expuestas en la Filosofía entendida ésta como Sistema Absoluto.

Edad Contemporánea (1860-1900)

Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea
de usar el álgebra, especialmente sus técnicas para resolver cantidades desconocidas en
las ecuaciones, como vehículo para la exploración científica. La idea de un cálculo de
razonamiento fue también cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en
formular la noción de un sistema de lógica matemática 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 comprensión del poder de los
descubrimientos de Leibniz no empezó a desarrollarse hasta los años ochenta.
Gottlob Frege en su Begriffsschrift (1879) extendió la lógica formal más allá de la lógica
proposicional para incluir constructores como "todo" y "algunos". Mostró cómo introducir
variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría
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 notación dimensional de Frege hizo que su obra fuese ignorada
durante muchos años.
En un magistral artículo de 1885 leído por Peano, Ernst Schröder y otros, Charles
Peirce introdujo el término "Lógica de segundo orden" proporcionando la mayor parte de la
moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación
universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX
estuvieron más familiarizados con el sistema lógico de Peirce-Schröder, aunque
generalmente se reconoce que Frege es el Padre de la lógica moderna.
En 1889, Giuseppe Peano publicó la primera versión de la axiomatización lógica de la
aritmética. Cinco de los nueve axiomas16 son conocidos como axiomas de Peano. Uno de
estos axiomas fue una formalización del principio de la inducción matemática.
Siglo XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En
1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y
en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue
construir a la lógica como un cálculo 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
matemáticas como la suma y la multiplicación.
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde
introduce las leyes de De Morgan e intenta generalizar la noción de silogismo. Otro
importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica
Simbólica, donde introdujo los famosos diagramas de Venn.
Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones.
Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien
frecuentemente es considerado como el lógico más importante de la historia, junto con
Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un
sistema completo de lógica de predicados. También desarrolla la idea de un lenguaje
formal y define la noción de prueba. Estas ideas constituyeron una base teórica
fundamental para el desarrollo de las computadoras y las ciencias de la computación,
entre otras cosas. Pese a esto, los contemporáneos de Frege pasaron por alto sus
contribuciones, probablemente a causa de la complicada notación que desarrolló el autor.
En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta
deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto
logicista. Su sistema, sin embargo, contenía una contradicción (la paradoja de Russell).
Siglo XX
El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó
a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo
que estudió a niveles mucho más abstractos.
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un
trabajo monumental en el que logran gran parte de la matemática a partir de la lógica,
evitando caer en las paradojas en las que cayó Frege. Los autores reconocen el mérito 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 ficción más importantes e
influyentes de todo el siglo XX. Principia mathematica utiliza una notación inspirada en la
de Giuseppe Peano, parte de la cual todavía es muy utilizada hoy en día.
Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede parecer
equivocada e incompleta, Jan Łukasiewicz mostró que, a pesar de sus grandes
dificultades, la lógica aristotélica era consistente, si bien había que interpretarse
como lógica de clases, lo cual no es pequeña modificación. Por ello la silogística
prácticamente no tiene uso actualmente.
Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de
muchos otros sistemas lógicos; entre los que destacan las muchas lógicas modales.

CARACTERISTICAS
Como toda disciplina científica, la Lógica formal tiene un objeto de estudio material (lo que
estudia) y un objeto de estudio formal (la manera en que lo estudia). La lógica 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 filosóficas que llega a confundirse con la Lógica formal es la Teoría del
Conocimiento, que como su nombre lo indica estudia el CONOCIMIENTO, sentido, significado,
alcances y límites del conocer.
La lógica Formal se relaciona con disciplinas como la Matemática, La Psicología y la Gramática.
Con la Matemática tiene relación porque ambas estudian ESTRUCTURAS, pero se distingue de
ella porque la Matemática se centra en los NÚMEROS y la Lógica estudia el PENSAR.

Con respecto a la Psicología, podemos señalar que a ambas les interesa estudiar el
PENSAMIENTO, pero a la Psicología le importa este pensar en cuanto explica su relación con
LAS ACCIONES y a la Lógica sólo le importa explicar la ESTRUCTURA del pensar.

Por último, la Lógica se relaciona con la Gramática en tanto que ambas trabajan con el
producto del pensar que es el LENGUAJE, pero a la Gramática le interesa el lenguaje para
explicar aspectos SEMÁNTICOS Y FONÉTICOS de las palabras, en cambio a la Lógica le interesa
el Lenguaje como ESTRUCTURA del Pensar.

LAS CARACTERÍSTICAS FUNDAMENTALES DE LA LÓGICA

1. Unidad: Sólo hay una forma de nuestra forma de conocer las cosas, sólo hay una
lógica, una ciencia filosófica con tres planos:
a) Técnico (simbolismo), la lógica es la ciencia de los principios de validez formal de la
inferencia, la presentación formalizada de las reglas del razonamiento formalmente
correcto. En la lógica opera como modelo o como macro-modelo (macro-paradigma) el
ideal de cálculo, el ideal de presentación formalizada.
b) Conceptual: La lógica no es sólo lógica formal, sino un más vasto instrumento de
exploración y análisis de marcos conceptuales. Sino porque no tenemos más remedio,
porque ellas forman la malla inicial de nuestro tejido intelectual; porque las reglas de la
lógica son parte –parte fundamentalísima- de las reglas de entendimiento entre seres
humanos; porque las reglas de la lógica nos constituyen formalmente.
2. Formalidad: La lógica es la ciencia de la verdad formal. Ofrece un canon de la inferencia
deductiva en cualquier campo como teoría de la coherencia del razonamiento sobre
cualquier materia.
3. Universalidad: Los principios lógicos merecen una consideración por separado
porque son principios previos a todos los demás, son principios de todos los demás
principios.
«La relación entre la lógica y la ciencia empírica... Los principios lógicos son el superego,
en lo formal, de los principios empíricos»,
4. Omniaplicabilidad: Los principios y reglas de la lógica sirven para todo saber.
5. Metacientificidad: La lógica es la ciencia de la forma de toda ciencia; la teoría de la
fundamentación de todas las ciencias.
6. Metalingüisticidad: Los sistemas lógicos son marcos del uso argumentativo del lenguaje.
Las verdades de la lógica son verdades del lenguaje, e. d., verdades en virtud de su
propios estructura simbólica.
7. Autocriticismo: La lógica perfila sus propios límites. Ahí está la lógica.»

CLASIFICACIÓN

-Lógica natural: Es aquella que toda persona asimila por la experiencia sensible. Es el
empirismo más primitivo, nace de la razón innata del ser humano y se ejecuta a modo de
prevención. 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 lógica
natural efectúan las prevenciones necesarias.

-Lógica científica: Es la que se sirve de la experiencia emanada de la lógica natural, pero

además le adhiere la razón, generando planteos de todo lo existente. Siguiendo el famoso
dicho anónimo de la piedra, el hombre por lógica natural evitaría pasar por el camino en el que
está la piedra para no tropezarse, pero a su vez establecerá por medio de la lógica científica
porqué esa piedra le genera el traspié.

-Lógica formal: Es el contrapunto de la lógica material. Aborda el estudio de la capacidad de

razonamiento desde el aspecto más adecuado y desde las asociaciones, sin importar si es
válido o no. Es una lógica pasiva, en cierto punto, ya que es reacia a los cuestionamientos.

-Lógica material: Su estudio es abordado desde la epistemología, una de las ramas modernas
de la filosofía. El objeto de la lógica material es basarse en la validez de un pensamiento
determinado siguiendo la realidad. Es una lógica activa, ya que se cuestiona y va más allá,
dejando lugar a la incertidumbre al no concluir sin dudar. En un ejemplo de lógica 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 tendría para la lógica formal), ya que
no es seguro que suceda.

-Lógica matemática: Es un sector de la lógica consistente en el estudio matemático de la

misma, y en la aplicación del estudio a todas las áreas de las matemáticas. Es, por otro lado, la
lógica que se utilizada en las ciencias de la comunicación. Estudia los sistemas formales con
nociones matemáticas como conjuntos, números y demostraciones. Es importante entender
que la lógica matemática no constituye la “lógica de las matemática” como abordaje de las
ciencias exactas, sino la “matemática de la lógica”.

-Lógica de clases: Se encarga de analizar una proposición lógica en base a la pertenencia o no

pertenencia de un elemento específico o de un individuo particular a una determinada clase.
La lógica de clases sienta sus principios para abordar el estudio desde la teoría de conjuntos.
Se entiende por clase al conjunto de individuos que tienen en común 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 “Sócrates era un hombre”, que “Sócrates pertenecía a la clase de los
hombres”.

CARÁCTER CIENTIFICO

Ciencia de las leyes y de las formas del pensamiento, cuyos orígenes se remontan
a Aristóteles (ver). La lógica formal enseña a pensar acertadamente observando las
reglas de identidad, de no contradicción, de determinación, de demostración, de
consecuencia. Si el pensamiento es contradictorio, incoherente, inconsecuente, no es
posible ningún conocimiento científico, ningún razonamiento bien fundado, ninguna
solución valedera. “No debe haber ninguna ‘contradicción lógica’ a condición, desde
luego, de que el pensamiento lógico sea justo, ni en el análisis económico ni en el
análisis político”
 La lógica formal establece cuatro leyes fundamentales del pensamiento: 1) El
pensamiento debe respetar el principio de identidad. La ley de la identidad enseña a
identificar y a distinguir acertadamente las cosas, a no substituir una noción por otra. En
todo razonamiento, discusión o debate, toda noción debe ser empleada en una sola y
misma significación. 2) El pensamiento no debe ser contradictorio. La ley lógica de no-
contradicción impide contradecirse en el curso de los razonamientos, en el análisis de
los problemas. Es preciso distinguir las contradicciones inadmisibles de un falso
razonamiento y las de la vida real que son dialécticas. Por ejemplo, si se reconoce una
proposición como verdadera, no se permite afirmar al mismo tiempo que no lo es. 3) Si
se trata de una cuestión 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. Después 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 condición de que esté bien fundado, de que derive
de otro pensamiento justo que, en ese caso, le sirve de premisa (ley de la razón
suficiente). Por eso el pensamiento debe ser consecuente. Hay A porque hay B, enseña
la ley de la razón suficiente. Así, en su entrevista con la primera delegación de obreros
norteamericanos, Stalin respondió a la cuestión de la supresión posible del monopolio
del comercio exterior que involucraba a su vez el problema de la falta de derechos
políticos en los elementos burgueses de la U.R.S.S. en los términos siguientes: “La
delegación, por lo visto, no tiene nada en contra de que el proletariado de la U.R.S.S.
haya desposeído a la burguesía y a los terratenientes de las fábricas, la tierra y los
ferrocarriles, los bancos y las minas. Pero se me figura que la delegación siente cierta
perplejidad al ver que el proletariado no se ha limitado a esto y ha ido más lejos,
desposeyendo a la burguesía de derechos políticos. Esto, a mi modo de ver, no es muy
lógico, o, mejor dicho, no es nada lógico. ...Creo que la lógica obliga. El que piensa en
la posibilidad de devolver a la burguesía sus derechos políticos, debe, si quiere ser
lógico, ir más lejos y plantear también la devolución de las fábricas, los ferrocarriles y
los bancos a la burguesía” (Stalin, Obras, t. X, pp. 118 y 119, Ed. esp., Moscú, 1954).
Este ejemplo muestra claramente lo que significa la consecuencia, el curso lógico. Las
cuatro leyes lógicas del pensamiento indican que la lógica formal plantea como
obligatorias las leyes más generales y más elementales del pensamiento, las reglas más
generales de coherencia y de consecuencia.
La lógica 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 lógica formal. En la primera, la lógica formal
examina las especies de conceptos, sus relaciones, los procedimientos lógicos de su
formación, la relación entre su extensión y su comprensión, los procedimientos y las
reglas de determinación y de distinción de los conceptos. En la segunda parte, la lógica
formal estudia la composición, los modos del juicio, &c. En la tercera, la más extensa,
analiza el razonamiento, clasifica las especies y los procedimientos del razonamiento,
expone su teoría, las reglas y las figuras del silogismo, muestra la importancia y el papel
de la deducción y de la inducción en el proceso del conocimiento, &c. En fin, la lógica
formal explica el papel, los procedimientos y los principios de la demostración en el
pensamiento lógico. La lógica formal es como la gramática del pensamiento lógico. De
igual modo que la gramática establece las reglas de modificación de las palabras, las
reglas de su combinación en la proposición y confiere así al lenguaje un carácter
coherente, así la lógica permite ordenar las ideas y conferir al pensamiento un carácter
coherente. El punto común entre la gramática y la lógica es que tanto una como la otra
hacen abstracción de lo particular y de lo concreto, definen las reglas y las leyes
generales que, como lo enseña la gramática, permiten combinar juiciosamente las
palabras en las proposiciones, modificar acertadamente las palabras y que, como lo
enseña la lógica, permiten pensar acertadamente, encadenar convenientemente los
conceptos en el juicio, los juicios en los razonamientos, &c.
Las leyes y las reglas de la lógica formal, sin las cuales no es posible ningún
conocimiento, son universales, comunes a toda la humanidad. Las leyes lógicas son
leyes objetivas que reflejan los fenómenos del mundo objetivo. De igual modo que el
lenguaje, están al servicio de todos los hombres sin distinción de clases. Ni más ni
menos que las reglas gramaticales, no tienen, ni pueden tener, carácter de clase. Si
fuera de otro modo, los hombres pertenecientes a diferentes clases no podrían
entenderse. Las leyes y las reglas de la lógica formal son las del proceso natural del
pensamiento. Sin embargo, ciertas teorías falsean la interpretación de estas leyes. Así,
para los idealistas, la lógica formal es una ciencia puramente abstracta, separada de la
realidad objetiva. Por eso Lenin, al hablar de la necesidad de estudiar la lógica formal,
exige que se apliquen “correcciones” a esta lógica tradicional, vale decir, que se despoje
de toda clase de alteraciones y deformaciones idealistas. Pero la lógica formal no
representa sino las “matemáticas elementales” del pensamiento; ella estudia los
vínculos y relaciones más simples entre las cosas. El único instrumento de investigación
científica, es el método dialéctico marxista (ver), que pone en claro las leyes más
generales del desarrollo de la naturaleza, de la sociedad y del pensamiento humano.
(Sobre las relaciones entre la dialéctica y la lógica formal, ver Lógica).

FINALIDAD
La finalidad de la lógica 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 comprensión 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 característicos del
conocimiento científico.
Las formas mentales son el objeto formal de la lógica 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, diferenciándolo de lo absurdo y
contradictorio, esta capacidad de razonar es desarrollada y perfeccionada por la lógica.
la lógica es una teoría dirigida a la acción es una ciencia practica por ejemplo nos
facilita el análisis de los argumentos a los que recurren las autoridades para exigir un
comportamiento o prohibir una conducta; también proporciona las herramientas para
desentrañar las ideas transmitidas por la publicidad y así lograr una elección adecuada
y no caer en engaños.
Podemos darnos cuenta que el ser humano tiene la aptitud de pensar en forma
espontánea o natural por lo cual puede desempeñar sus actividades en forma
ordenada, coherente, "lógica", sin embargo como todas las facultades humanas, la
razón puede ser desarrollada a través del estudio o aplicación de las técnicas.