UNIVERSIDAD NACIONAL DE TRUJILLO

ÍNDICE

Pag.

INDICE-------------------------------------------------------------------------------------------1-2

INTRODUCCIÓN-------------------------------------------------------------------------------3

DESARROLLO O CUERPO-----------------------------------------------------------------4

ORIGEN ---------------------------------------------------------------------------------4

EDAD ANTIGUA ----------------------------------------------------------------------4

Parmenides De Elea

Zenon De Elea

Democrito

Protagoras

Socrates

Platon

Megaricos

Estoicos

EDAD MEDIA ----------------------------------------------------------------------------7

Boecio

Pedro Abelardo

Tomas De Aquino

Guillermo De Shyreswood

Duns Scoto

Guillermo De Occam

Raimundo Lulio

1
 UNIVERSIDAD NACIONAL DE TRUJILLO

EDAD MODERNA Y CONTEMPORANEA--------------------------------------10

Francis Bacon

Tomas Hobbes

Leibniz

Leonhard Euler

George Boole

John Venn

Augustus Morgan

Gottlob Grege

Giuseppe Peano

Bertran Russell

Wittgenstin.

Kurt Godel

Claudio Shannon

Alfred Tarski

Lukasiewicz

Rudol Carnap

Francisco Miro Quesada

Karl Raimundo Popper

CONCLUSIONES ---------------------------------------------------------------------15

BIBLIOGRAFIA Y LINKOGRAFIA ------------------------------------------------16

2
 UNIVERSIDAD NACIONAL DE TRUJILLO

INTRODUCCIÓN

En el presente informe conoceremos el desarrollo de la lógica: desde sus

orígenes en la edad antigua hasta lo más contemporáneo (uso de los sistemas
lógicos en las computadoras). Comenzando con los LOGICOS CLASICOS
GRIEGOS, Entre los más importantes, tenemos a los creadores de las bases de
la lógica es decir los creadores de los principios lógicos: Demócrito, Parménides,
platón y Aristóteles. Este último es el padre de la lógica formal por haber
elaborado su obra maestra “el organon” que consiste en el análisis formal de
las proposiciones. El impacto en la época fue tan grande que inspiro a los
megaricos, a los estoicos…y a futuros lógicos

Todo desarrollo tiene obstáculos. Así llegamos a la edad media donde el estudio
de las ciencias fue duramente reprimido. Los avances existieron pero fueron muy
pocos. Cabe destacar a boecio y su cuadro de oposición, Raimundo lulio con su
ars magna (la razón puede y debe demostrar, hasta la existencia de dios) y al
no menos importante Guillermo de shyreswood. El cual fue creador del árbol de
Porfirio (división dicotómica) y de los versos mnemotécnicos de la 1er figura (
barbara, Celarent…) .

La superación de la edad media se da con la edad moderna y contemporánea,

en la que se tiene como representante a Francis Bacon (padre de la lógica
inductiva) .el cual hace referencia a la primera formulación moderna del
método científico con su obra novoum órganon…. Hasta los más recientes
representantes como Claudio Shannon (1938) el creo un diseño de circuitos
eléctricos (conmutadores y relays) que permitieron el desarrollo de las
modernas computadoras electrónicas digitales.
Nuestro país no ha sido ajena al desarrollo de la lógica. como principal
representante a Francisco Miro Quesada.
En resumen te invitamos a conocer la historia de la lógica desde el inicio hasta
lo más reciente.

3
 UNIVERSIDAD NACIONAL DE TRUJILLO

DESARROLLO O CUERPO

Esbozo del desarrollo histórico de la lógica

En las siguientes páginas se presenta un sucinto panorama histórico de la lógica
dividido en las siguientes secciones: edad antigua, Edad media, renacimiento y
edad moderna, y edad contemporánea.

ORIGEN
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.
En China no duró mucho tiempo: la traducción y la investigación escolar en
lógica fue reprimida por la dinastía Qin, acorde con la filosofía legista. En India,
la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya método que
conduce al espíritu humano en ciertos actos, y particularmente en el de la
argumentación y de la disensión) hasta que en el mundo islámico apareció la
escuela de Asharite, la cual suprimió parte del trabajo original en lógica.

A) EDAD ANTIGUA:
Se descubren los principios lógicos, Aristóteles crea el primer sistema de lógica
formal y se hacen aportes a la lógica bivalente y modal.

PARMENIDES DE ELEA
Se cree que fue el creador del principio de IDENTIDAD. Consideró que la razón
es la única capaz de conocer el ser y la verdad de las cosas.
“Si un enunciado es verdadero entonces es verdadero”
(p p) ó (p p)

Ejemplo: Si Juan es educado entonces educado es Juan

ZENON DE ELEA

Apoyo la posición de Parménides. Dio origen al método dialéctico, al

razonamiento hipotético y a la reducción al absurdo. Sus argumentaciones
se conocen como aforias (PARADOJAS).

4
 UNIVERSIDAD NACIONAL DE TRUJILLO

DEMÓCRITO
Ideó el principio DE LA RAZÓN SUFICIENTE (principio filosófico)
“no hay efecto sin causa “
“nada hay sin razón
La revolución mexica se produjo por alguna razón (esa razón aparece cuando
estudiamos sus antecedentes y consecuencias).

PROTAGORAS
Fue el primero en utilizar las oraciones en el plano sintáctico y semántico.

SÓCRATES
En su lucha contra los sofistas utilizo el MÉTODO MAYÉUTICO (método
de dialéctica o demostración lógica para la indagación o búsqueda de
nuevas ideas, conceptos o prismas subyacentes en la información del interior de
una persona).

PLATÓN
En su obra EL SOFISTA, trato de las afirmaciones y negaciones. Descubrió el
principio dela CONTRADICCIÓN O NO CONTRADICCIÓN. Teorizo y
esquematizo la división y la definición lógica. Empleo el método axiomático
(axiomas o postulados se pueden derivar otras afirmaciones verdaderas en un
número finito de pasos).

“Imposible que un enunciado sea verdadero y falso a la vez”

~ (p ∧ ~ p)
Ejemplo: Es falso que la Biología es factual y no es factual

5
 UNIVERSIDAD NACIONAL DE TRUJILLO

ARISTOTELES
 Considerado “padre de la lógica formal “(el primer lógico formal de la
historia.)
Su mérito consistió en haber examinado las deducciones o
inferencias considerando sólo su forma o estructura, con
independencia de su significado o contenido.

 Creador de la teoría del silogismo que consistía para establecer un

razonamiento encadenado que, si se respetaban, no producirían nunca
falsas conclusiones si la reflexión partía de premisas verdaderas (reglas de
validez).

El ejemplo más famoso, “Todos los humanos son mortales” y “Todos los
griegos son humanos”, se llega a la conclusión válida de que “Todos los
griegos son mortales”

 Descubrió el principio del tercio excluido.

“Un enunciado puede ser falso o verdadero, no existe una tercera
posibilidad”
(p ∧ ~ p)
Ejemplo: Carla es veterinaria o no es veterinaria

 Introdujo el uso de variables

 Desarrollo la lógica de predicados
 Obra “el organon” compuesta por libros
 Categorías: estudia los términos o conceptos
 De la interpretación: estudia los enunciados
 De los primeros analíticos teoría de la demostración de reglas.
Reunió todo el material existente en su época sobre la deducción
o inferencia.
 Tópicos: procedimientos lógicos y/o conclusiones dialectales.
 Refutación sofista: las falacias o vicios lógicos

6
 UNIVERSIDAD NACIONAL DE TRUJILLO

ENTRE LOS MEGÁRICOS:

DIODORO CRONO Y FILÓN DE MEGARA avanzan con la lógica modal en el

estudio de los conceptos modales, y por primera vez en la historia de lógica
plantean el significado de las proposiciones si...entonces.....

ENTRE LOS ESTOICOS

 Estudiaron por primera vez la lógica de proposiciones.

 Construyeron una lógica de enunciados (de dos valores) .aparecen la
negación, la implicación, la conjunción, la disyunción.
 Realizaron la interpretación material del condicional.

CRISIPO DE SOLI: desarrolla la lógica bivalente (verdadero /falso) de las

proposiciones.

TEOFRASTO Y EUDEMO: los silogismos hipotéticos condicionales

pertenecientes a la lógica de proposiciones.

B) EDAD MEDIA
Los aportes de la lógica medieval por sus representantes fueron mínimos, toda
vez que se concentraron en fundamentar la teología y seguir el sistema
aristotélico.
Raymundo lulio, pedro hispano, Guillermo de ocam; establecieron reglas de
inferencia.

BOECIO
Romano, desarrolló la lógica aristotélica.
Desarrolló la lógica aristotélica desarrollo un método para hallar inferencias
inmediatas coma haciendo uso del cuadro de oposición que lleva su nombre
cuadro de beocio.

7
 UNIVERSIDAD NACIONAL DE TRUJILLO

PEDRO ABELARDO
Precursor del método escolástico .punto consiste en contraponer las
sentencias opuestas de las autoridades teológicas

TOMÁS DE AQUINO
Seguidor de Aristóteles. Busco la demostración racional de la existencia de
Dios así como de la interpretación de los dogmas religiosos obra: suma
teológica.

GUILLERMO DE SHYRESWOOD:
Termina en 1230 el manual de lógica escolástica más antigua, en donde
fórmula por primera vez el esquema de división dicotómica conocido como
árbol de Porfirio

Este esquema cumple la ley de variación inversa (a mayor extensión menor

intensión y viceversa) y los predicables esenciales (genero, especie y
diferencia especifica)

El Árbol de Porfirio ilustra su

clasificación lógica de la
substancia. Los conceptos
van de lo universal a lo
particular y con esto se dio
inició al nominalismo
antecedente de las
modernas clasificaciones
taxonómicas. Ejemplo

Enuncia por primera vez los

famosos versos mnemotécnicos sobre la reducción de los silogismos a los
modos de la primera figura aristotélica.

8
 UNIVERSIDAD NACIONAL DE TRUJILLO

DUNS ESCOTO aristotélista se opuso a Tomás de Aquino: “la verdad se

logra por la experiencia.

RAIMUNDO LULIO:
Planteó que la razón puede y debe demostrar todo y dar pruebas suficientes de
la verdad cristiana.
Diseño una máquina que demostraba lógicamente la existencia y los
atributos de Dios
Obra: ars Magna.

C) ÉPOCA MODERNA Y CONTEMPORÁNEA

La época moderna marca el inicio de la lógica matemática. En el siglo XIX
resalta más la matemática. Frege marca el comienzo de la lógica moderna y
su obra sólo es comparable con los primeros analíticos de Aristóteles.

FRANCIS BACON
En su “novum organum”.
 Hace la primera formulación moderna del método científico
 Establece de manera explícita y sistemática la Inducción experimental,
 Expone métodos para determinar las relaciones de causalidad,
 Enuncia las bases empíricas del descubrimiento y la invención,
 Desarrolla una teoría de la experiencia.
 Se le conoce como el padre de la lógica inductiva.

THOMAS HOBBES:
Consideró al razonamiento como un cálculo de signos. Desarrolla la lógica
formal como combinación de nombres de acuerdo a las reglas establecidas.

9
 UNIVERSIDAD NACIONAL DE TRUJILLO

LEIBNIZ
Precursor de lógica moderna (lógica matemática).
 intentó formular una characterística universalis, es decir, un lenguaje
simbólico para expresar sin ambigüedades todos los elementos del
pensamiento y luego combinarlos rigurosamente, formando así
conceptos, juicios, razonamientos. Planteó la necesidad de crear un
lenguaje universal.
 Introdujo el cálculo lógico en su obra matesis universales, que fuese
operacionalmente mecánico, inequívoco y no cuantitativo que
permitiera acabar con todas las disputas y controversias.
 Desarrolló el cálculo de la lógica proposicional.
 Consideró también que para comprobar la verdad del entendimiento
bastan los principios de identidad, contradicción y tercio excluido;
para comprender la verdad de hecho es indispensable la razón.
 Estableció la ley de la tautología
 Extrae de su experiencia como matemático genial las ideas que habrían
de sacar a la lógica formal del estancamiento a que la había llevado a la
escolástica.
 Fórmula la ley de la razón suficiente

LEONARDO EULER
 En su introducción al análisis de los infinitos 1748. Euler realizó el primer
tratamiento analítico completo del álgebra.
 La teoría de ecuaciones. la trigonometría y la geometría analítica.
 Introdujo los diagramas que llevan su nombre para ilustrar
geométricamente los silogismos.

10
 UNIVERSIDAD NACIONAL DE TRUJILLO

GEORGE BOOLE
 Es uno de los más grandes innovadores de la lógica
 elaboró el álgebra de Boole
 construye una teoría de las clases y sus elementos
 Construye un. Quién es el que cálculo algebraico con símbolos y
operaciones definidas
 Planteó la relación entre lógica de clases y lógica proposicional.
Obra: investigación de las leyes del pensamiento.
La primera formulación propiamente algebraica de la lógica. Estableciendo
definidamente las leyes para la ejecución de las operaciones y dando una
interpretación coherente de los resultados. se debe a George boole Quién es
el creador de la lógica simbólica moderna

JOHN VENN
Trato de encontrar la significación lógica de operaciones como la sustracción y
la división.
El mérito de venn es básicamente el haber aclarado los procedimientos de
boole representando los procesos algebraicos en los diagramas de venn.

AUGUSTUS DE MORGAN
 Planteó que el silogismo no es más que una serie de combinaciones y
relaciones de clase.
 planteó que la base común de la lógica es la inclusión o exclusión total
o Imparcial de clases
 Establece varios razonamientos No silogísticos.
 enuncia la ley de transitividad y expresa rigurosamente las leyes
distributivas de la negación, que lleva Ahora su nombre. ley de
Morgan.

11
 UNIVERSIDAD NACIONAL DE TRUJILLO

GOTTLOB FREGE
 Considerado el padre y fundador de la lógica matemática moderna
 hace la distinción entre ley y regla
 establece la diferencia entre constante y variable
 logra independizar el cálculo lógico del cálculo matemática
 su obra conceptografía es comparable a la de Aristóteles
 intento deducir los principios de la aritmética de los principios de la
lógica enfrentándose a la ambigüedad de lenguaje normal y a la
insuficiencia de los sistemas lógicos disponibles.
 inventó muchas notaciones simbólicas. como cuantificadores y variables
estableciéndose así las bases de la lógica matemática moderna.

GIUSEPPE PEANO
 Fue el primero en dar a la lógica el nombre de lógica matemática
 Consideró 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

BERTRAND RUSSELL
 Fundamento lógicamente las matemáticas.
 ordenaron la lógica en un sistema axiomático
 Obra principia matemática, escrita con su amigo Alfred whitehead. En
la que propone que las matemáticas pueden reducirse a una rama de la
lógica. Intentan evitar la paradoja en el sistema de Frege (la de las clases
que no son miembros de sí mismas), llevando a cabo la tarea de mostrar
que es posible derivar toda la matemática de la lógica.
 fórmula rigurosamente la lógica matemática dentro del sistema más
completó que se ha establecido, realiza un tratamiento detallado del
cálculo proposicional.

12
 UNIVERSIDAD NACIONAL DE TRUJILLO

WITTGENSTEIN
Ideó la tabla matriz para hallar los valores de verdad.
Consideró que la lógica proposicional tiene 16 operadores diádicos y 4
monádicos.
KURT GODEL (1930)
Creador del teorema de godel o Teorema de las Proposiciones Indecidibles. (En
cualquier sistema simbólico formal es posible construir una proposición que no
se puede probar ni refutar en el mismo sistema) escribió la consistencia de la
hipótesis del continuo.

CLAUDIO SHANNON (1938)

Realizó la aplicación del Álgebra de las proposiciones al diseño de circuitos
eléctricos (conmutadores y relays), lo que constituye el aporte más importante
a la construcción de las modernas computadoras electrónicas digitales.

ALFRED TARSKI
 Creador de la semántica de la lógica (trata los aspectos
del significado, sentido o interpretación de signos lingüísticos como
símbolos, palabras, expresiones o representaciones formales).
 Define el concepto de verdad en los lenguajes formalizados.
 Estudia las significaciones de los juicios y conceptos en la lógica
 Estudia también los problemas de la construcción de las teorías
deductivas, de la metalogica, semiótica.
 Define el concepto de verdad en los lenguajes formalizados, estableció
que cada enunciado es demostrable, es verídico pero no cada
enunciado verídico es demostrable, etc.
 Obras principales
“Lógica, semántica, meta matemáticas 1956 “.
“Lógica metodología y filosofía de la ciencia 1962”

13
 UNIVERSIDAD NACIONAL DE TRUJILLO

LUKASIEWICZ
 Elaboró el primer sistema de lógica polivalente; trivalente.
 se ocupó de la lógica de sentencias, de la lógica plurivalente, de la
lógica modal, del silogismo aristotélico y de la historia de la lógica.
 inventó un simbolismo que evita los paréntesis y puntos.
 se preocupó de la axiomática de la lógica de sentencias formulando un
interesante sistema de 3 axiomas.
 logró formular un sistema con un solo axioma

RUDOLF CARNAP
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 y la
ciencia Consideró que las afirmaciones empíricas de esta última eran las
únicas en verdad 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 de
lenguaje, afectó a la libertad y variedad en la construcción del lenguaje.

FRANCISCO MIRÓ QUESADA

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,

KARL RAIMUND POPPER

Filósofo británico, de origen austríaco. La contribución más significativa de
Popper a la filosofía de la ciencia fue su caracterización del método científico. En
su lógica de la investigación científica, crítico 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.

14
 UNIVERSIDAD NACIONAL DE TRUJILLO

CONCLUSIONES

 La historia de la lógica se remonta a muchos siglos atrás y se ha formado

por las mentes brillantes de cada época

 La lógica tiene sus pilares fundamentales que son los principios lógicos

 La lógica no siempre se desarrolla al mismo nivel; sino tiene sus

obstáculos.

 El desarrollo de la lógica nos permite hoy en día : disfrutar de la tecnología

(como un celular, pc,….).

 El Perú no ha sido ajeno al desarrollo de la lógica .teniendo como

representante a Francisco Miró Quesada.

 La historia de la lógica es progresiva y permanente.

 Los usos actuales de la lógica son múltiples, y son trabajadas en

diferentes disciplinas de las ciencias.

15
 UNIVERSIDAD NACIONAL DE TRUJILLO

BIBLIOGRAFÍA

 Rea,B. (2003).introducción a la lógica .Lima, Perú: Editorial Mantaro.

 CORDOVA, Roy. (Tercera edición 2016).Trujillo, Perú: Centro educativo
preuniversitaria Fondo Editorial 2016.
 http://pedrosaldarriaga.blogspot.pe/2013/08/breve-historia-de-la-logica-
en-un.html.
 https://prezi.com/cexlye1is7pl/logica-en-la-edad-antigua/

16