HISTORIA DE LA LÓGICA

Definición de Lógica.- Parte de la filosofía que estudia las formas y principios generales que rigen el
conocimiento y el pensamiento humano, considerado puramente en sí mismo, sin referencia a los objetos.

Método o razonamiento en el que las ideas o la sucesión de los hechos se manifiestan o se desarrollan de
forma coherente y sin que haya contradicciones entre ellas.

La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios
de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.

Lógica y matemática.- La lógica matemática cuestiona con rigor los conceptos y las reglas de deducción
utilizados en matemáticas lo que convierte a la lógica en una especie de matemática.

ANTES DE ARISTÓTELES

La historia de la lógica está documentada en varias culturas y tradiciones, pero 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 no hay dataciones exactas, es
probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C.

No existe ningún documento que pruebe que antes de Aristóteles haya existido una exposición teórica de la
lógica; y el mismo Aristóteles nos dice refiriéndose al estudio de la lógica: ´´De nuestra investigación actual no
es verdad decir que haya sido ya elaborada en parte si y en parte no; no existía en absoluto´´. Sin duda en
otros casos la práctica precedió la teoría; los oradores y maestros de retórica manejaron medios de
argumentación más o menos complicados. También los matemáticos griegos utilizaron recursos elementales
de sistematización deductiva. Los personajes de los diálogos de Platón emplean distintas formas de
argumentación, pero no se hace ninguna distinción entre una manera de argumentar y una exposición sobre
una manera de argumentar.

EDAD ANTIGUA
El comienzo del tratamiento riguroso de la lógica se atribuye, en parte, a Aristóteles, quien escribió un
conjunto de obras de lógica, las cuales fueron posteriormente recopiladas y desarrolladas por diferentes
filósofos y científicos, hasta la Edad Media. Esto se podría considerar como “la lógica antigua”. La Lógica se
desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el
siglo I a. C.

Antigua 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. Desafortunadamente, debido a la rígida normativa legal durante la dinastía Qin. El
filósofo lógico chino Gong Sunlong (325-250 a. C.) propuso la paradoja "Uno y uno no pueden ser dos, ya que
ninguno se convierte en dos." Sin embargo, fue reprimida por La dinastía Qin siguiendo la filosofía legalista de
Han Feizi.
Antigua India

Dos de las escuelas indias de pensamiento están relacionadas con la lógica: Nyāya y Vaisheshika. Los Nyaya
Sutras , 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. Pero fue con Dignāga y su
sucesor Dharmakirticon quienes la lógica budista alcanzó su mayor altura. 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.

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.

PRINCIPALES REPRESENTANTES

REPRESENTANTES APORTES
PARMÉNIDES DE ELEA - (540 A.C) - Creador del “Principio de Identidad”. (p -> p)
- Dio origen al método dialéctico, la reducción al absurdo.
- Sus razonamientos se conocen como “aporías”, que son
ZENÓN DE ELEA - (490-430 A.C.) paradojas.
- Obras: “De la Naturaleza”, “Comentarios de los Escritos de
Empédocles”, “Disputa contra los Filósofos”.
DEMÓCRITO - (460-370 A.C.) - Planteó el principio de la “Razón Suficiente”
SÓCRATES - (470-399 A.C.) - Creador del método de la Mayeutica. Hizo hincapié en la
discusión racional y la búsqueda de definiciones generales.
- Descubrió el “Principio de No Contradicción” o “Principio de
PLATÓN - (428-347 A.C.) Contradicción”.
–(p -> -p). Obra: “El Sofista”.
- Creador de la Teoría del Silogismo.
- Descubrió el “Principio del Tercio Excluido”. (p -p)
- Introdujo el uso de variables.
- Desarrolló la Lógica de Predicados.
ARISTÓTELES - (384-322 AC.) - Obra: “El Organón” , compuesta de los libros:
● Categorías.- estudia los términos.
● De la Interpretación.- estudia los enunciados.
● Primeros Analíticos.- Estudia la argumentación.
● Tópicos.
● Refutación Sofística.
- Escuela a la que pertenecieron: Filón de Megara y Diodoro
MEGÁRICOS - (400-300 AC.) Cronos.
- Hicieron aportes a la Lógica Modal.
- Salen de la escuela megárica debido al movimiento separatista
promovido por Zenón el estoico.
- Representantes: Crisipo de Soli.
- Estudiaron por primera vez la Lógica de proposiciones.
ESTOICOS - (450-300 AC.) - Construyeron una lógica de enunciados (Lógica de dos valores)
- En la Lógica de enunciados aparecen la negación, la implicación
la conjunción y la disyunción
- Realizaron la interpretación material del condicional.

Enfoque de la lógica en la Edad Antigua

En la edad antigua se desarrolló la ciencia lógica y fue utilizada principalmente para la teología, es decir, para
cuestionar todo aquello de la religión, cuestiones como la creación, la moral, la existencia del ser humano, su
propósito, etc. En esta época se le considera a la lógica como propedéutica o como herramienta básica para
las otras ciencias.

EDAD MEDIA
Era conocida como “Dialéctica”. En la Edad Media la lógica mantiene la condición de ciencia propedéutica. En
la Alta Edad Media, la lógica no tuvo avances significativos que la revolucionaran. 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, además la lógica se desarrolló de forma
extraordinaria, al igual que la filosofía en general, entre los siglos XII y XIV. A partir de la segunda mitad del
siglo XII, la lógica alcanzó unos niveles de complejidad y finura desconocidos hasta entonces.

La lógica árabe

Además de comentar a Aristóteles, sistematizarlo, leerlo y criticarlo, los filósofos islámicos también
desarrollaron su propia concepción de la lógica. En primer lugar, esta estaba muy arraigada a otras
concepciones epistemológicas, metafísicas y de filosofía del lenguaje, tanto es así que se vieron interesados
en el estudio de las relaciones entre lenguaje y lógica. En segundo lugar, consideraron el silogismo como una
forma de argumentación a la que todas las demás podían ser reducidas, siempre que fueran racionales. De
este modo, la lógica giraría en torno a esta forma de argumento. Merece la pena destacar los aportes de
Avicena, quien introdujo el silogismo hipotético y la lógica inductiva, proponiendo un sistema sustituto de la
lógica de Aristóteles.

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.

PRINCIPALES REPRESENTANTES

-Considerado el maestro de la lógica.

- Desarrolló un método para hallar inferencias inmediatas,
haciendo uso del cuadro de oposición que lleva su nombre
BOECIO - (480-524 D.C.) (Cuadro de Boecio).
- Las Preposiciones permiten la formulación de Juicios
Universales.
 - Precursor del método escolástico (posteriormente aplicado a
las sumas teológicas). Consiste en contraponer las sentencias
opuestas de las autoridades teológicas.
PEDRO ABELARDO (1079-1142 D.C.) - Introduce la cópula, concepto que relaciona al sujeto con el
predicado, relación que se establece por medio de una
afirmación o negación.
- Seguidor de Aristóteles.
TOMÁS DE AQUINO - (1225-1274 - Buscó la demostración racional de la existencia de Dios así
D.C.) como de la interpretación de los dogmas religiosos. Obra:
Suma Teológica.
- Aristotelista.
DUNS SCOTO - (1266-1308 DC) - Se opuso a Tomás de Aquino: la verdad se logra por la
experiencia.
GUILLERMO DE OCKHAM - (1290- - Representante del nominalismo.
1349 D.C.) -Reglas para la inferencia consecuente.
-Ley de Morgan (Distribución de la negación).
- Planteó que la razón puede y debe demostrar todo y dar
pruebas suficientes de la verdad cristiana.
RAIMUNDO LULIO (1233-1315 D.C.) - Diseñó una máquina que demostraba lógicamente la
existencia y los atributos de Dios.
- Obra: Ars Magna.
PEDRO HISPANO - (1210 – 1277) - Redacto el texto de Lógica Medieval más aceptado que se
utilizó hasta el siglo XVII.
- Aconsejo un método experimental a través de un heterodoxo
de la Lógica Medieval.
ROGER BACON - (1214 – 1294) - Considero que la razón solo puede ser entre un razonamiento
ya sea verdadero o falso.
Heterodoxo: En desacuerdo con los principios de una doctrina o
que no sigue las normas.

Enfoque de la lógica en la Edad Media

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.

EDAD MODERNA
Marca el inicio de la lógica matemática. En el siglo XVII, la lógica adquiere un nuevo enfoque, aunque no
supuso un cambio radical. Se plantea la idea de una “característica universal”. Los filósofos racionalistas, al
situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como
método científico del pensar, los temas que van a marcar el desarrollo de la lógica formal. Aparecen los
primeros intentos y realizaciones de máquinas de cálculo (Pascal y Leibniz), pero su desarrollo no fue eficaz.

En esta etapa se desarrollan conceptos sobre la inferencia inductiva (Francis Bacon), el desarrollo de la lógica
matemática (Guillermo Leibniz), y los diagramas geométricos de los silogismos (Leonard Euler). A mediados
del siglo XIX, los matemáticos británicos George Boole y Augustus De Morgan abrieron un nuevo campo a
la lógica, hoy conocido como lógica simbólica o moderna.

Con el advenimiento de nuevas teorías conceptuales y nuevos métodos de investigación científica, se llevan a
cabo fuertes críticas a la tradición filosófica. El siglo XIX se caracteriza por el nivel de abstracción que alcanza
la lógica matemática.

Se analizan tres características del lenguaje: la sintaxis, la semántica y la pragmática. Estas tres
características son utilizadas por los programadores de sistemas generando sofisticados lenguaje de
programación para la construcción de software; estas aplicaciones dan origen a la lógica de programación.

PRINCIPALES REPRESENTANTES

THOMAS HOBBES - (1588-1679 DC) - Consideró el razonamiento como un cálculo de signos.

- Alemán. Precursor de la Lógica Moderna.
LEIBNIZ - (1646-1716) - Planteó la necesidad de crear un lenguaje universal.
- Obra: Mathesis Universalis.
- Es uno de los más grandes innovadores de la lógica.
- Construye una teoría de las clases y sus elementos.
- Construye un cálculo algebraico con símbolos y operaciones
GEORGE BOOLE - (1815-1864 DC) definidas
- Planteó la relación entre lógica de clases y lógica Proposicional
- Obra: Investigación de las Leyes del Pensamiento”
- Planteó que el silogismo no es más que una serie de
combinaciones y relaciones de clases.
AUGUSTUS DE MORGAN - (1806- - Planteó que la base común de la lógica es la inclusión o
1871 DC) exclusión total o imparcial de clases.
- Formulación de las leyes de Morgan
- Considerado el “Padre de la Lógica Moderna”.
- Hace la distinción entre ley y regla.
- Estableció la diferencia entre “constante” y “variable”
GOTLOB FREGE - (1848-1925) - Logra independizar el cálculo lógico del cálculo matemático.
- Su obra es comparable a la de Aristóteles. Obra:
Conceptografía.
- Fue el primero en dar a la lógica el nombre de Lógica
Matemática.
PEANO - (1858-1932) - Considero que la lógica es el instrumento de la matemática.
- Propuso uso de puntos auxiliares en reemplazo de los signos
de agrupación y un modo de simbolizar los cuantificadores.
- Plantea que el conocimiento da al ser humano poder sobre la
naturaleza, influenciando el método científico.
FRANCIS BACON - (1561-1626) -Considerado uno de los padres del empirismo.
-Intentó crear a través del método inductivo una herramienta
práctica para analizar experiencias.
- Precursor de la lógica matemática.
LEONARD EULER - (1707-1783) -Introdujo los diagramas de Euler para ilustrar geométrica y
simbólicamente al silogismo.
Enfoque de la lógica en la Edad Moderna
Los filósofos racionalistas, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del
desarrollo del análisis como método científico del pensar,14 los temas que van a marcar el desarrollo de la
lógica formal. Y la idea de una lengua universal.

EDAD CONTEMPORÁNEA
Los trabajos de Frege y Peano fueron sistematizados y desarrollados por dos filósofos y lógicos ingleses:
Bertrand Russell y Alfred North Whitehead, cuyos resultados fueron publicados en su obra monumental
denominada Principia Mathematica, llevando a cabo la tarea de mostrar que es posible derivar toda la
matemática de la lógica.

El rasgo más aparente fue al principio su lenguaje simbólico (De ahí que el título de "lógica simbólica"
precediera al de "lógica matemática"); un rasgo más profundo en esta línea es la formalización, el recurso a
lenguajes artificiales, construidos para formular de modo transparente y preciso los contenidos lógicos o para
dejar que se mostraran las formas lógicas. Hay, sin embargo, tres características más notables de la "nueva
lógica", a saber: (a) la conciencia de ser una lógica subyacente en las teorías o las pruebas deductivas; (b) el
constituirse ella misma no sólo en un sistema sino en una teoría del análisis lógico (una teoría de la formación
de las expresiones lógicamente pertinentes, una teoría de la derivabilidad formal o de la "deducibilidad", una
teoría de la verdad o de la consecuencia lógica); (c) el hacer de los sistemas deductivos y de las teorías
lógicas en particular un objeto primordial del análisis lógico, metateórico.

REPRESENTANTES

ALFRED TARSKI - (1901-1983) - Creador de la Semántica de la Lógica.

- Define el concepto de verdad en los lenguajes formalizados.
LUKASIEWICZ - Elaboró el primer sistema de lógica polivalente: trivalente.

- Alemán nacionalizado estadounidense. Interpretó la filosofía

como un proceso de análisis lógico. Se interesó sobre todo por el
análisis del lenguaje de la ciencia ya que consideró que las
afirmaciones empíricas de esta última eran las únicas en verdad
RUDOLF CARNAP significativas. Obras: “La estructura lógica del mundo”, “Sintaxis
lógica del lenguaje”. El principio de tolerancia de Carnap, o la
convencionalidad de las formas del lenguaje, afectó a la libertad
y variedad en la construcción del lenguaje.
- Filósofo peruano. Se centró en la reivindicación de la exactitud
en el planteamiento de los problemas filosóficos. Para ello, aplicó
los logros de la lógica y de las matemáticas, así como la defensa
de una filosofía racionalista que subraya la importancia del
método y de la exactitud. Realizó, además, interesantes análisis
FRANCISCO MIRÓ QUESADA sobre la unidad posible entre la lógica teórica y la lógica de las
acciones, en la búsqueda de la estructura de la logicidad pura.
Algunas de sus obras son: “Sentido del movimiento
fenomenológico”, “El problema de la libertad y la ciencia”,
“Lógica”, “Iniciación lógica”, entre otras
- Filósofo británico, de origen austriaco. La contribución más
significativa de Popper a la filosofía de la ciencia fue su
KARL RAIMUND POPPER caracterización del método científico. En su “Lógica de la
Investigación Científica”, criticó la idea prevaleciente de que la
 ciencia es, en esencia, inductiva. Propuso un criterio de
comprobación que denominó falsabilidad, para determinar la
validez científica, y subrayó el carácter hipotético-deductivo de la
ciencia. Criticó la idea de que las leyes descubridoras del
desarrollo de la historia hacen inevitable su curso futuro y, por
tanto, predecible.
- Sentó el fundamento de todos los demás temas de la lógica
moderna y demostró que las matemáticas se reducen a la lógica.
FRIEDRICH G. FREGE - (1848-1925) - Fue el primero en introducir los cuantificadores u operadores y
en elaborar una teoría de la cuantificación.
- Ideó la tabla matriz para hallar los valores de verdad.
WITTGENSTEIN - (1889-1951) - Consideró que la LP tiene 16 operadores diádicos y 4
monódicos.
- Fundamentó lógicamente las matemáticas.
BERTRAND RUSSELL - (1892-1970) - Reordenaron la lógica en un sistema axiomático.
- Obra: Principia Matemática, escrita con su amigo Alfred
Witehead.

Enfoque de la lógica en la Edad Contemporánea

Se ocupa del análisis de la corrección de las leyes formales. Aplicar la logica a la logica misma. Representar
las estructuras formales del pensamiento mediante conjuntos de símbolos. Y ocuparse de las estructuras del
pensamiento.

En la actualidad

La lógica ahora está ahora como la conocemos con sus definiciones y clasificación propia, aplicada a distintas
ramas de la vida como son en la educación, investigación y tecnología. Naturalmente, ninguna otra época de
la lógica nos resulta más próxima que la lógica contemporánea. Y en ninguna otra época la lógica ha
conocido un desarrollo y una variedad comparables a los que muestra en la actualidad. Ambas circunstancias
pueden inducirnos a una falsa familiaridad: a tomar por la lógica de nuestro tiempo aquella en que nos hemos
especializado o aquella a la que más tiempo personal hemos dedicado.

Ramas: Lógica matemática, lógica computacional, lógica filosófica y lógica informal.

Lógica en la programación: Al igual que la matemática, la lógica es una herramienta vital en diversos campos
digitales como la programación.

Circuitos: El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que
responden a diferentes señales eléctricas, siguiendo los patrones de la lógica booleana; esto es, compuertas
lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. Existen
ocho compuertas lógicas básicas con las cuales se pueden formar sistemas muy complejos: AND, OR,
Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas son representadas mediante un símbolo y una tabla
de valores de verdad, que es simplemente un cuadro donde se ubican todas las posibles entradas y los
valores que devolvería la compuerta dados dichos valores.