UNIVERSIDAD

NACIONAL DE TRUJILLO
TRUJILLO

ÁREA DE CIENCIAS BÁSICAS Y TECNOLÓGICAS

DESARROLLO DEL PENSAMIENTO LÓGICO MATEMÁTICO

Grupo N° ___01__

Tema:
Historia de la Lógica

Integrantes del grupo:

1. Aurora Valentín Jeferson

2. Caldas Hernández Angie
3. Cruzado Cárdernas Tatiana
4. Gutiérrez Flores Ana
5. Guzmán Gonzáles Bagner
6. Sánchez Delgado Lesly

Profesor:
Ávalos Rodríguez, Jesús

Trujillo, mayo del 2018

 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

INFORME DE JEFE DE GRUPO

N° Integrante del grupo Tarea encargada Aportes

(%) (1-5)

01 Aurora Valentín Jeferson 16% 3

02 Caldas Hernández Angie 16% 3

03 Cruzado Cárdernas Tatiana 16% 3

04 Gutiérrez Flores Ana 20% 4

05 Guzmán Gonzáles Bagner 16% 3

06 Sánchez Delgado Lesly 16% 3

2
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

RESUMEN

El presente trabajo se ha realizado con el propósito de tener un conocimiento

más amplio acerca de la lógica, específicamente sobre su historia y
evolución.
Para comenzar daremos una breve definición de la lógica: Es una ciencia
formal que estudia la estructura o formas del pensamiento humano (como
proposiciones, conceptos y razonamientos) para establecer leyes y
principios válidos para obtener criterios de verdad.
Se utiliza también para referirse al llamado 'sentido común'.
Como objetivos nos hemos planteado, desarrollar un conocimiento acerca
de representantes y sus respectivos aportes a esta ciencia tan relevante.
Esperamos el presente informe cuente con lo necesario para su fácil
comprensión y estudio.

3
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

ÍNDICE

I. RESUMEN……………………………………………………………….3
II. CONTENIDO…………………………………………………………......5
HISTORIA DE LA LÓGICA……………………………………………..5
1. LÓGICA ANTIGUA…………………………………………………..5
1.1 MESOPOTAMIA…………………………………………………5
1.2 CHINA…………………………………………………………….5
1.3 GRECIA……………………………………………………….….6
2. LÓGICA MEDIEVAL………………………………………………… 9
3. LÓGICA MODERNA Y
CONTEMPORÁNEA…………………………………………………11
III. REFERENCIAS BIBLIOGRÁFICAS…………………………………...15

4
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

HISTORIA DE LA LÓGICA

I. LÓGICA ANTIGUA

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

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

“Maestro
5 Mo”
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

1.3 GRECIA
La lógica en Grecia alcanza mayor notoriedad con los aportes de Aristóteles.
Por ello, estructuraremos la lógica griega tomándolo como punto de referencia.

a. Etapa Pre- Aristotélica

 En esta etapa apareces estos filósofos:

 PARMÉNIDES DE ELEA: Creador del principio de Identidad.

Consideró que la razón es la única capaz de reconocer el ser y la
verdad de las cosas.
 SÓCRATES: En su lucha contra los Sofistas utilizó el método
Mayéutico.
 PROTÁGORAS: Fue el primero en utilizar las oraciones en el
plano semántico y sintáctico
 ZENÓN DE ELEA: dio origen a la Reducción al Absurdo.
El método de reducción al absurdo consiste en suponer que el
resultado a demostrar es falso y llegar, a partir de ahí, a una
contradicción.
 DEMÓCRITO: planteó el principio de la Razón Suficiente. Esta
nos dice que nada existe sin una causa o razón determinante.
 PLATÓN: descubrió el principio de No Contradicción que nos dice
que una cosa no puede ser y no ser al mismo tiempo y en el
mismo sentido”.

SOCRATES
PROTÁGORAS

6
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

b. Periodo Aristotélico
Aristóteles fue un filósofo griego al que se le considera el padre de la
Lógica Formal.
El “Organón” fue una obra publicada por los discípulos de Aristóteles
que contenía 5 obras escritas por él. Estas son:
 Los tópicos.
 Las refutaciones sofísticas.
 Las categorías.
 De la interpretación.
 Los primeros analíticos.

Aportes de Aristóteles:

 Es el descubridor del principio del Tercio Excluido.

 Introdujo el uso de variables.
 Explicación sintáctica y semántica de las proposiciones.
 El desarrollo de la lógica de predicados.
 Desarrolló el silogismo.
 Desarrolló la Lógica Formal.

ARISTOTELES

7
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

c. Periodo Post- Aristotélico

En esta etapa aparecieron algunos hombres con aportes importantes

para la lógica.

 Crisipo de Soli: que desarrolló la Lógica Bivalente

(verdadero/falso)
 Boecio: sistematizó las proposiciones categóricas A/E/I/O.

CRISIPO DE SOLI

BOECIO

8
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

II. LÓGICA MEDIEVAL

Se denomina lógica medieval a la lógica desarrollada en las escuelas y

universidades de Europa occidental entre los siglos XI y XV
La Lógica Medieval se basa en el trabajo de Aristóteles, es recogida por los
sacerdotes y cultivado mayormente en los conventos, escuelas y universidades
de Europa Occidental.
Los estudios de los lógicos profesionales estuvo dirigido al comentario del
Órganon destacando Pedro Hispano y Juan Buridán estableciendo que “de dos
premisas contradictorias, se puede deducir cualquier conclusión”.

a. Europa medieval

La forma de lógica aristotélica desarrollada en la Europa medieval en el

periodo de 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 romana. Aunque la lógica de
Avicena tuvo influencia en los primeros lógicos medievales europeos tales
como Alberto Magno, 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 Hispanos (fl. siglo XIII), de
identidad desconocida, que fue autor de un manual estándar sobre lógica,
el Tractatus, que fue muy 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 Buridán.

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 Lógica de John

Poinsot (1589–1644, conocido como John of St Thomas),
y Disputaciones Metafísicas de Francisco Suárez (1548–1617).

9
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

b. Filósofos

 Raymond Llull o Reymundo Lulio (1233-1315), autor de "Ars Magna"

("Fortaleza Grandiosa), obra que le valió el título de "Primer Precursor
de la Lógica Matemática".

 Guillermo de Shyreswood: Termina en 1230 el manual de lógica

escolástica más antiguo en donde enuncia por primera vez los famosos
versos nemotécnicos sobre la reducción de los silogismos a los modos
de la primera figura aristotélica.

 También sobresalieron: Duns Escoto, Pedro Abelardo, Guillermo de

Ockam, Alberto de Sajonia (San Alberto Magno), Tomás de
Aquino, entre otros.

DUNS ESCOTO

10
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

III. LÓGICA MODERNA Y CONTEMPORANEA

También denominada lógica simbólica o matemática. A mediados del

siglo XIX, los matemáticos británicos George Boole y Augustus D´ Morgan
abrieron el campo de la nueva lógica, que luego fue desarrollada por el
matemático alemán Gottlob Frege, esta lógica se basa en la aplicación de
símbolos por medio de tablas de verdad, que nos permiten ver lo
verdadero o falso que son las versiones de una acción.

CARACTERÍSTICAS
 Introduce símbolos para frases enteras y para las conjunciones que las
unen, como “o”, “y”, “si... entonces...”. Cuenta con símbolos diferentes
para el sujeto lógico y el predicado lógico de una frase; y adjudica
símbolos para distinguir las clases, para los miembros de las clases y
para las relaciones de la pertenencia a una clase y la inclusión en una
clase.
 También se aleja de la lógica clásica en sus suposiciones de la
existencia respecto a las cosas aludidas en sus afirmaciones
universales. La afirmación “Todo A es B” significa en lógica moderna
que “Si algo es A, entonces es B”; lo que, a diferencia de la lógica
tradicional, no significa que todo A existe.
 Muy relacionadas con la lógica se encuentran la semántica o filosofía
del lenguaje, que trata acerca del significado de las palabras y de las
frases; la epistemología, o teoría del conocimiento, yo lo llamaría el
estudio del proceso del conocimiento, que se ocupa de las condiciones
bajo las cuales las afirmaciones son verdaderas; y la psicología del
razonamiento, que se refiere a los procesos mentales que se siguen en
el curso de un razonamiento.
De esta Lógica Moderna, se desprende la Semiótica, Lógica Deóntica,
Modal, Cuantificacional y Proposicional.

11
UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

a. La Semiótica es la lógica de los símbolos y se divide en tres

partes: sintaxis, semántica y pragmática. La primera trata de las
relaciones de los símbolos entre sí, prescindiendo de su contenido.
La segunda trata de las relaciones entre el símbolo y lo que
significa. La tercera trata de las relaciones entre el símbolo y el
sujeto que lo utiliza.
b. La lógica deóntica se formaliza a través de conceptos
relacionados con el deber. Este tipo de lógica se utiliza en el
Derecho, infiriéndose del mismo, la denominada lógica de las
normas.
c. La lógica modal lo hace en los conceptos de necesidad y
posibilidad.
d. La lógica de clases relaciona conceptos con propiedades (sujeto
y predicado), estudia además las implicaciones de unas clases con
otras, las cuales suelen ser representados gráficamente mediante
círculos (mejor conocidos como Diagramas de Venn) empleando la
denominada “álgebra booleana”.
e. La lógica cuantificacional que estudia de manera más detallada
los predicados a través del uso de cuantificadores que expresan
cantidad (todos ∀ o algunos ∃).
f. La lógica proposicional analiza los razonamientos formalmente
válidos partiendo de proposiciones y conectivas proposicionales
(operadores lógicos).

12
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

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éuticas, por lo que estudió a niveles mucho más abstractos.

ETAPA DE LOS PRECURSORES DE LA LOGICA MATEMATICA

 GUILLERMO LEIBNITZ: Considerado como el primer precursor y creador

de la lógica matemática crea un cálculo lógico llamado MATHESIS
UNIVERSALIS ,que utilizó para demostrar la verdad de las afirmaciones
filosóficas y científicas a través de un lenguaje simbólico.

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

Estableció la ley de la tautología y formula la ley de la razón suficiente.

 FRANCIS BACON: En su NOVUM ORGANUM, hace la primera

formulación moderna del método científico, establece de manera explícita
la inducción experimental y además se le conoce como el padre de la
lógica inductiva.

 LEONAR EULER: Introdujo los diagramas que llevaban su nombre para

ilustrar simbólicamente el silogismo.

FRANCIS BACON
LEONAR EULER

13
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

ETAPA DE DESARROLLO DE LA LOGICA MATEMATICA:

 PEANO: Fue el primero en dar a la lógica el nombre de LOGICA

MATEMATICA.

Consideró que la lógica ES INSTRUMENTO DE LA MATEMATICA

.Además propuso un modo de simbolizar los cuantificadores.

 BERTHAND RUSSEL: Fundamentó lógicamente las matemáticas.

Reordenó la lógica en un sistema axiomático .Su obra principal
PRINCIPIA MATEMATICA , escrita junto a Alfred Whitehead

 GOTTOLOB FREGE: Por su gran tarea se le considera padre de la lógica

moderna. Uno de sus grandes aportes es haber formulado de manera
clara y precisa la diferencia que existía entre variables y constantes.

 GEORGE BOOLE: Considerado como el más grande innovador de la

lógica matemática su obra más importante es ANALISIS MATEMATICO
DE LA LOGICA.

 D’ MORGAN: Considera común de la lógica las relaciones de inclusión o

exclusión, parcial o total, su objetivo fue mostrar que el silogismo no es
más que una serie de combinaciones de relaciones. Desarrolla el cálculo
de relaciones, establece varios razonamientos no silogísticos, expresa
rigurosamente las leyes distributivas de la negación (ley de Morgan).

PEANO GOTTOLOB MORGAN

FREGE

14
 UNIVERSIDAD
NACIONAL DE TRUJILLO
TRUJILLO

REFERENCIAS BIBLIOGRÁFICAS

 Aguilar J. (2016). Razonamiento Lógico. Trujillo – Perú.

 Morales M. (2017). Reductio ad absurdum. Mayo 07, 2018, de El País
Sitio web:
https://elpais.com/elpais/2017/05/03/el_aleph/1493823525_134201.html
 Di Castro E. (2006). Conocimientos Fundamentales de Filosofía. Mayo
07, 2018, de Universidad Nacional Autónoma de México Sitio web:
Universidad Nacional Autónoma de México
 Martínez N. (2015). Acerca del Principio de No Contradicción. Mayo 07,
2017, de InfoCatólica Sitio web:
http://www.infocatolica.com/blog/praeclara.php/1503240832-acerca-del-
principio-de-no-co
 Rodríguez C. (2009). Razonamiento Lógico. Trujillo – Perú.

15