Universidad Autónoma de Santo Domingo

INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

La lógica en Grecia, la lógica clásica

Grupo B
#5 y #4
Sustentantes:

 Rodrigo Montero González DA3062
 Verónica Mariluz Jiménez Figuereo 100018356
 Lógica matemática

La lógica se ocupa del estudio de la forma correcta de

razonar. Estudia la estructura y los principios de los
argumentos y su validez, se usa para desarrollar
métodos para solucionar problemas y descubrir
soluciones a cuestiones complejas.
La lógica en Grecia, la lógica clásica

Del año 600 AC hasta 300 AC se desarrollan en Grecia los

principios formales de las matemáticas. Este período clásico
lo protagonizan Platón, Aristóteles y Euclides.
La lógica en Grecia, la lógica clásica
Aristóteles (384 a.C.–332 a.C.)

Aristóteles es bien conocido por ser el

padre de la lógica, y por haber
transformado la dialéctica platónica y
la de los sofistas por medio de la
silogística. Reconocido como el
fundador de la lógica con su obra el
Organón.

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.
 La obra de Aristóteles el Organón

Se trata de un tratado de lógica dedicado al estudio de los

juicios o proposiciones, que viene a ser la continuación
natural de las Categorías, dedicadas al estudio de la
predicación.
La lógica en Grecia, la lógica clásica

Parménides (Entre 530 a. C. y 515 a. C)

El filósofo Parménides quien formuló el 

principio lógico de identidad, donde
enuncia "lo que es y lo que no es no es" y
a partir de este principio se deduce el 
principio de no contradicción, donde "lo
que es no puede no ser". Compite con 
Aristóteles por el título del "padre de la
lógica".​Se decía que Heráclito había
negado tal al afirmar el fluir constante de
las cosas.
La lógica en Grecia, la lógica clásica

No obstante, Allan Bloom, considera que

la primera declaración explícita conocida
del principio de no contradicción se da en
la La República de Platón donde el
personaje Sócrates dice, "es claro que la
misma cosa no estará dispuesta al mismo
tiempo a hacer o sufrir cosas contrarias
con respecto a lo mismo y en relación al
mismo objeto". Está claro que Platón y 
Aristóteles tuvieron bases en los 
presocráticos eleatas para formular este
principio.
La lógica en Grecia, la lógica clásica

Platón (427-347 AC)

Platón fue uno de los primeros filósofos

en abordar el problema de la lógica.
Considerado el fundador de la lógica
occidental, contribuyó de forma
significativa a la teoría de la
argumentación y el razonamiento
La lógica en Grecia, la lógica clásica

Platón Sostuvo la existencia de dos

mundos distintos (el de las ideas y el
de las cosas). Según Platón, lo
concreto se entiende sólo en función
de lo abstracto, resultando que el
mundo sensible debe su existencia al
mundo de las ideas.
La lógica en Grecia, la lógica clásica

Euclides (325 AC-265 AC)

Matemático y autor de la universal

obra, los célebres Elementos. Uno de
los textos matemáticos más relevantes
de la historia del pensamiento
científico hasta del siglo XIX. Su valor
universal lo propaga el uso riguroso del
método deductivo que distingue entre
principios -definiciones, axiomas y
postulados-, y teoremas, que se
demuestran a partir de los principios.