-
700 BCE
INTEGRANTES
GRUPO 469
Oropeza Galán Renata
Méndez Peñaloza Erick Jetzael
Morán Martínez Jesús Alejandro
Osorio Salazar Diego Iván -
Period: 700 BCE to 476
Edad Antigua
4000 a.C, y el año 476 d.C
El inicio de este período está marcado por el surgimiento de la escritura (alrededor del año 4000 a.c.), que representa también el fin de la Prehistoria. De acuerdo con este sistema de periodización histórica la Edad Antigua se extiende el surgimiento de la escritura, hasta la Caida o derrumbe del Imperio Romano de Occidente, por las invasiones bárbaras del siglo V. -
569 BCE
Pitágoras
(569 a. C. – 475 a. C.)
Se puede considerar como aquél que estudio las oraciones por primera vez, esto refiriéndonos a un campo sintáctico y semántico (propios del lenguaje) -
427 BCE
Platón
(427 a. C. – 347 a. C.)
Se le atribuye el estudio de las afirmaciones y las negaciones al ser tratadas en su obra Sofista. Además, introduce nociones del método axiomático, que más tarde fue retomado por Aristóteles. -
400 BCE
Aristóteles
(384 a. C.–322 a. C.)
Se considera el padre de la lógica, definiéndola como una ciencia cuyo objeto de estudio son los razonamientos correctos. El libro Órganon, propio de Aristóteles, consta de 5 tratados; Los analíticos es el tratado que contiene y analiza la naturaleza de la lógica. -
400 BCE
Aristóteles
Aristóteles hace un estudio de las oraciones, categorizándolas en 3 tipos: singulares, universales, particulares. Establece el sujeto y el predicado y demuestra que un enunciado afecta de algún modo a otros tantos. -
400 BCE
Escuela megárica
La Escuela megárica fue una escuela filosófica del siglo IV a. C. fundada por Euclides de Mégara, discípulo de Sócrates. Aquí fue plateado el significado de las proposiciones "si-entonces" -
400 BCE
Órganon
Se trata de un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más tarde. Recibió su nombre en la Edad Media. Dichas obras, compuestas por Aristóteles a lo largo de un amplio periodo de tiempo, constituyen el nacimiento de la lógica aristotélica como disciplina académica, capaz de analizar argumentos y determinar su validez mediante las reglas formales del silogismo. -
371 BCE
Teofrasto
(371 a. C- 287 a. C.)
Estudió en la escuela de Platón, su apodo fue concedido por Aristóteles, mismo quien legó sus escritos a Teofrasto. Su aportación, al igual que la de Eudemio, es pertinente a los silogismos hipotéticos condicionales (lógica de las preposiciones) -
370 BCE
Eudemo de Rodas
(370 hasta ca. 300 a. C.)
Fue un alumno de Aristóteles y es considerado como el primer historiador de la ciencia. Su aportación se basa en el planteamiento de los silogismos hipotéticos condicionales pertenecientes a la lógica de las proposiciones. -
301 BCE
Estoicismo
Desarrollan la lógica Verdadero – Falso de las proposiciones.
Se trata de una escuela filosófica fundada por Zenón de Citio en el 301 a. C. Su doctrina filosófica estaba basada en el dominio y control de los hechos, cosas y pasiones que perturban la vida. Prescindían de lo material. -
280 BCE
Crispo de Soli
(280 a.C- 206 a.C)
Desplazó el centro de atención de la lógica de los enunciados simples (con sujeto y predicado) a los enunciados complejos. Aunque su impacto en la lógica no fue considerado al menos los 1500 años siguientes. -
476
Lógica Medieval
(476 d. C. – 1492 d.C.)
La lógica Medieval está basada en el trajano de Aristóteles, recogida por sacerdotes y por lo tanto se cultiva en conventos, escuelas y universidades de Europa Occidental. El estudio lógico se enfocó al Órganon. -
Period: 476 to 1492
Edad Media
Se trata de un período histórico, posterior a la Edad Antigua y anterior a la Edad Moderna, que comprende desde el fin del Imperio romano, hacia el siglo V, hasta el siglo XV. -
1201
Petrus Hispanus (Pedro Hispano)
Contribuye a con la elaboración de un importante manual de lógica que se utilizó en las universidades europeas desde el siglo XIII hasta el XVII. En su obra se incluye un tratado introductorio, de los predicables, de los predicamentos, de los silogismos, de los lugares o tópicos, de las suposiciones, de las falacias, de los relativos, de las ampliaciones, de las apelaciones, de las restricciones y de las distribuciones. -
1300
Jean Buridan
(1300 d.C- 1358)
Destacó en los estudios de lógica y en los comentarios a Aristóteles. Defensor del principio de causalidad. Buridán es autor de otra paradoja poco conocida, y que tiene relación con los fundamentos de la lógica matemática:
Dos proposiciones:
a) Dios existe.
b) Ni la proposición anterior ni esta son ciertas.(Dios existe pero...)
Buridán considera que la voluntad puede retrasar la elección para determinar más completamente los resultados posibles de la opción. -
Period: 1492 to
Edad Moderna
Inicia con el descubrimiento de América (1492), y su final puede situarse en la Revolución francesa (1789) o en el fin de la década previa, tras la independencia de los Estados Unidos (1776).
Se destacan lo valores de la modernidad (progreso, comunicación y razón) -
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz: (1646–1716)
La Edad Moderna significó el inicio y desarrollo de la lógica matemática, su aporto se basó en la introducción del cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional. -
Leonhard Paul Euler
Leonhard Paul Euler (1707–1783)
Se trata del pecursor de la Lógica Matemática, su aportación fue el hecho de introducir los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Pedro Abelardo
Filósofo medieval cuyo objeto de estudio fueron las obras lógicas de Aristóteles. Destacó su gran dominio sobre la silogística y sus estudios sobre el significado de los términos. No obstante, la lógica de Abelardo al igual que la de muchos de sus contemporáneos no significó un progreso o contribución real, pues no se fue más allá de la Lógica Aristotélica. -
la lógica contemporánea
Con trabajos de grandes matemáticos, la lógica tomo cuerpo como potente herramienta matemática. Sus trabajos dieron lugar a una disciplina referida de forma habitual como Lógica Computacional, en cuya concepción han intervenido, como hemos visto, al menos tres grupos diferentes con muy diferentes motivaciones. -
Period: to
Edad contemporánea
Se caracteriza por tener distintas tendencias o corrientes, siendo la principal la lógica matemática -
William Rowan Hamilton
(1805-1865)
Filósofo idealista y lógico inglés. Introdujo en la lógica la teoría relativa a la determinación cuantitativa (cuantificación) del predicado, intentando de este modo reducir el juicio a la ecuación, y la lógica al cálculo; fue uno de los predecesores de la lógica matemática contemporánea. Su obra fundamental es "Disertaciones sobre metafísica y lógica" -
(1806–1871)
(1806–1871) Matemático y lógico inglés.Escribió varias obras de lógica en las que se encuentra la idea de aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la moderna lógica matemática, llevan el nombre de De Morgan las siguientes leyes fundamentales del álgebra de la lógica: “la negación de la conjunción es equivalente a la disyunción de las negaciones. -
George Boole
(1815–1864) Matemático británico. Boole fue capaz de incorporar la lógica -disciplina tradicionalmente dentro de la filosofía- al campo de las matemáticas, estableciendo asimismo sus reglas y axiomas más importantes,George Boole "creó los fundamentos de la lógica matemática mediante el álgebra que lleva su nombre". -
John Venn
(1834–1923) Matemático y lógico británico.Considerado uno de los creadores de la lógica matemática, John Venn descolló por sus investigaciones en lógica inductiva. Es especialmente conocido por su método de representación gráfica de proposiciones (según su cualidad y cantidad) y silogismos. Los diagramas de Venn permiten, además, una comprobación de la verdad o falsedad de un silogismo. -
Giuseppe Peano
(1858–1932) Matemático italiano. Interesado en el uso de la lógica más como medio de exposición de la matemática que como su fundamento (al estilo de Frege o Russell), desarrolló una sintaxis muchos de cuyos símbolos (como los de pertenencia, unión o intersección) son hoy día empleados de forma universal. -
Bertrand Arthur William Russell
(1872–1970) Comienza a desarrollar la lógica matemática de Peano y Gottlob Frege. La colaboración con Whitehead culminaría con la publicación de los tres volúmenes de la obra Principia mathematica donde defendía una interpretación de la matemática en términos de la lógica. Asimismo exponía la “teoría de los tipos”, la de los números como “clases de clases” y la “paradoja de Russell”. A Russell se le considera el fundador de la filosofía analítica. -
lógica simbólica
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,1 es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático. -
Ludwig Wittgenstein
Wittgenstein sintió muy pronto interés por los fundamentos de las matemáticas y eso le llevó a contactar con la obras de Bertrand Russell y Gottlob Frege, fundador de la lógica moderna. Como resultado de ello y de la colaboración con Bertrand Russell. Esa gramática relacionada con la lógica era la formulada ya por Russell en su anterior obra Principia Matemática. -
Rudolf Carnap
(1891-1970) Rudolf Carnap defendió los principios de la lógica simbólica o lógica matemática. Está última traduce y sistematiza, mediante un lenguaje formalista, nociones intuitivas de las matemáticas como los conjuntos, los números, los algoritmos, entre otros.
A través del concepto de criterio de estabilidad, Carnap y otro filósofos del empirismo lógico rechazaron las tradiciones más especulativas teología y la metafísica.
