Professional Documents
Culture Documents
CICLO: “I”
INTEGRANTES:
TRUJILLO- PERU
2018
1
UNIVERSIDAD NACIONAL DE TRUJILLO
PRESENTACIÓN
2
UNIVERSIDAD NACIONAL DE TRUJILLO
DEDICATORIA
3
UNIVERSIDAD NACIONAL DE TRUJILLO
ÍNDICE
Presentación ........................................................................................................ 2
Dedicatoria .......................................................................................................... 3
Conclusiones ...................................................................................................... 16
Bibliografía .......................................................................................................... 17
4
UNIVERSIDAD NACIONAL DE TRUJILLO
La lógica es la parte de la filosofía que trata de las formas del pensamiento y de las
leyes por las que se rige para llegar a la verdad. Pensamiento es un término general
que designa todos los actos del
entendimiento.
5
UNIVERSIDAD NACIONAL DE TRUJILLO
Lógica en la naturaleza:
6
UNIVERSIDAD NACIONAL DE TRUJILLO
SIMBÓLICAMENTE: A A, A A
SIMBÓLICAMENTE: A v -A
7
UNIVERSIDAD NACIONAL DE TRUJILLO
8
UNIVERSIDAD NACIONAL DE TRUJILLO
“Del año 600 a. c. hasta 300 a. c. se desarrollan en Grecia los principios formales
de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y
Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el
razonamiento deductivo y sistematizado. Euclides es el autor que establece el
método axiomático. En los Elementos Euclides organiza las pruebas deductivas de
que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.
a. PLATÓN
9
UNIVERSIDAD NACIONAL DE TRUJILLO
b. ARISTÓTELES
Un pensador completo, filósofo griego discípulo de
Platón
Nació en Macedonia. Aristóteles divide las ciencias
en teóricas (saber acerca del ser, de sus
elementos, causas y principios), prácticas (normas
de conducta) y poéticas o productivas (guía para la
creación, para las artes). Los tratados de lógica de
Aristóteles, conocidos como Organón, contienen el
primer tratado sistemático de las leyes de
pensamiento para la adquisición de conocimiento.
Representan el primer intento serio que funda la
lógica como ciencia. Aristóteles no hace de la lógica
una disciplina metafísica sino que establece correspondencias recíprocas entre
pensamiento lógico y estructura ontológica.
c.CRISIPO DE SOLI
Fue uno de los mejores lógicos griegos. Estableció los cinco principios indemostrables
de la inferencia hipotética.
10
UNIVERSIDAD NACIONAL DE TRUJILLO
a. GOTTFRIED W. LEIBNIZ
Planteó el principio de la razón suficiente.
Durante 2000 años los lógicos propusieron cada vez más silogismos con un
desorden creciente que impedía el correcto uso de la lógica. Parecía un sinfin de
silogismos sin órden hasta que Gottfried Leibniz introdujo un método para este
desconcierto. Sugirió tratar los enunciados como las ecuaciones en el álgebra, que
emplean el signo “=”.
11
UNIVERSIDAD NACIONAL DE TRUJILLO
a. GEORGE BOOLE
Nació el 2 de noviembre de 1815
en Lincoln, Lincolnshire.
En el año 1854 publicó Una investigación
de las leyes del pensamiento sobre las
cuales son basadas las teorías
matemáticas de Lógica y Probabilidad.
Comienza el álgebra de la lógica
llamada Algebra Booleana la cual ahora
encuentra aplicación en la construcción de
computadores, circuitos eléctricos, etc.
b. GUISEPPE PEANO
Nació el 27 de septiembre de 1858 en Cuneo (Italia).
Considero que la lógica es el instrumento de la
matemática. Creo un lenguaje simbólico para las
demostraciones matemáticas.
12
UNIVERSIDAD NACIONAL DE TRUJILLO
c. AUGUSTUS DE MORGAN
Matemático y lógico inglés, nació el 27 de junio de 1806 en
Mandura, India. Escribió varias obras de lógica para
aplicar al álgebra los métodos matemáticos, además de
otros sobre aritmética, análisis y lógica, siendo esta última
en la que más sobresale. Establece varios razonamientos
no-silogísticos, enuncia las LEYES DE TRANSITIVIDAD y
expresa rigurosamente las LEYES DISTRIBUTIVAS DE
LA NEGACION (ley de Morgan) inventó la expresión:
inducción matemática. CONSIDERADO EL
REFORMADOR DE LOGICA.
13
UNIVERSIDAD NACIONAL DE TRUJILLO
a. ALAN TURING
Nació el 23 de junio de 1912 en Londres.
Contribuyó a la lógica matemática al introducir el
concepto teórico de un dispositivo de cálculo que
hoy se conoce como la máquina de Turing.
Además amplió su trabajo matemático al estudio
de la inteligencia artificial.
b. ALFRED TARSKI
Alfred Tarski nació el 14 de enero de 1902 en
Polonia, Varsovia y falleció el 26 de octubre de
1983, a los 81 años en los Estados Unidos. Fue
un lógico, matemático y filósofo polaco. Hizo
aportaciones destacadas en teoría de
conjuntos, lógica polivalente, niveles de
lenguaje y metalenguaje y conceptos
semánticos. Alfred es fundador de la semántica
formal; fue el autor de la Introducción a la lógica
y a la metodología de las ciencias deductivas
en 1941 y La concepción semántica de la
verdad y los fundamentos de la semántica en
1944. Tarski junto con Aristóteles, Gottlob Frege y
Kurt Gödel, es considerado uno de los lógicos más grandes de todos los tiempos.
14
UNIVERSIDAD NACIONAL DE TRUJILLO
15
UNIVERSIDAD NACIONAL DE TRUJILLO
3. CONCLUSIONES
16
UNIVERSIDAD NACIONAL DE TRUJILLO
4. BIBLIOGRAFÍA
17