Grupo 6 by Lilian Dominguez https://padlet.com/lizcruz14973/8721yibqcjl2p3zt yo yo yo en-us 2022-02-15 12:33:42 UTC 2022-02-21 02:28:57 UTC hello@padlet.com 580 a.c. Pitágoras de Samos https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055604517 Consideró que “los números son el lenguaje de la naturaleza”, por ello fue uno de los fundadores de la matemática de occidente y la matemática supone la idea de “prueba lógica”.]]> 2022-02-18 16:57:35 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055604517 S. V(5oo-401) a.c Parménides de Elea https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055611267 Escribió un poema en que el afirmaba que “el ser es y el no ser no es”. Con esta afirmación da origen a la tradición ontológica de la filosofía de occidente al igual que a la metafísica, pero, especialmente, a la tradición lógica al plantear, de alguna manera, “el principio de identidad” y “el principio de no contradicción”.]]> 2022-02-18 17:01:18 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055611267 427 - 347 a. C Platón https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055612727 Para él el mundo que perciben los sentidos es un mundo de sombras, el mundo verdadero es el mundo de las ideas en donde se encuentra el verdadero ser al cual se llega mediante un ascenso dialéctico que nos lleva a la verdadera causa de todo.

En el diálogo "El sofista o sobre lo Ente, Lógico" presenta una derivación lógica en escala, mostrando la fundamentación de la participación de unos conceptos en otros. Partiendo del más general para llegar al más específico y plantea el método de la división diairética
]]> 2022-02-18 17:02:15 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055612727 384 a.c- 332 a.c Aristóteles https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055615215 Es considerado el padre de la lógica. En su obra "Organon" palabra que en griego significa instrumento, y que realmente es un instrumento para dirigir correctamente el pensamiento a través de las distintas formas que se presentan al pensar del hombre, expone los argumentos de la lógica.]]> 2022-02-18 17:03:40 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055615215 1233-131 Ramón Llull https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055625516 Concebía la lógica con “la capacidad de ser inventiva”, es decir, de buscar nuevas verdades, no sólo inferir las verdades contenidas en los principios generales de los cuales es posible deducir cualquier otra proposición (lógica deductiva).

“El Arte Magna” de este pensador lo lleva a convertirse en el verdadero precursor de todos los cálculos lógicos renacentista y modernos.
]]> 2022-02-18 17:10:00 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055625516 1561-1626 Francis Bacon https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055635529 Realizo una obra en seis partes que titula "La gran restauración", en la cual propugna por un saber que sirva para el hacer, por un saber útil para la vida práctica. La segunda parte lleva como título "Novum Organum" el cual propone una nueva lógica que se orienta hacia los hechos y posee dos partes: una destructiva y una constructiva.]]> 2022-02-18 17:16:07 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055635529 1596-1650 Rene Descartes juancarloschavezrivera111 https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055966311 Afirmo que era posible la construcción de un lenguaje como el de Aritmética, pero teniendo como punto de partida nuestras ideas claras y simples.

Formuló reglas lógicas para el descubrimiento; estatablece como criterios de la verdad la claridad y la distinción de las ideas; y la prueba demostrativa para el procedimiento de la duda metódica.

]]> 2022-02-18 21:26:38 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055966311 1646-1716 Gottfriend Leibniz juancarloschavezrivera111 https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055970079 Fue quien planteó aplicar la deducción matemática al contexto de los razonamientos filosóficos; generando con ello el cálculo ideológico ó cálculo racionador, que aunque no lo concluyó, hubo otros matemáticos del siglo XIX que lo concluyeron como lo fue Boole y Frege.]]> 2022-02-18 21:30:28 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055970079 1770-1831 Georg Friedrich Hegel juancarloschavezrivera111 https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055972019 Afirma en la introducción a “La Ciencia de la Lógica” que, “según esto, la lógica ha de entenderse como el sistema de la pura razón, como el reino del puro pensamiento.

La razón lógica es un proceso permanentemente móvil, dinámico, dialéctico, en el cual el pensamiento sigue la realidad y es real en sí mismo, ya que según afirma “todo lo racional es real y todo lo real es racional”.
]]> 2022-02-18 21:33:00 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055972019 1854 George Boole juancarloschavezrivera111 https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055972712 George Boole aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una ''characteristica universalis'' o cálculo del raciocinio. El empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas.]]> 2022-02-18 21:33:50 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055972712 1858-1932 Giuseppe Peano juancarloschavezrivera111 https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055974328 La enunciación de los principios del italiano Guiseppe Peano acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten definir el conjunto de los números naturales.]]> 2022-02-18 21:35:44 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2055974328 639 a. c. Tales de Mileto andrealvaradoxd https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056105038 Es considerado como el primer representante de la filosofía occidental: tanto, así como para reconocérsele como el iniciador de la indagación racional sobre el universo.]]> 2022-02-19 00:52:16 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056105038 La siguiente revolución lógica andrealvaradoxd https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056144967 La siguiente revolución lógica será la asimilación práctica de las matemáticas y la computación dentro de la lógica. Se hará énfasis en que las computadoras exploten la información inteligentemente, pasando de las bases de datos a las bases de conocimientos.]]> 2022-02-19 02:06:06 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056144967 1848 Friedrich G. Frege andrealvaradoxd https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056149670 Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación]]> 2022-02-19 02:13:33 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056149670 1936 Alan Turing andrealvaradoxd https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056151262 Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus mas importantes contribuciones a la teoría de la computación. Turing además probó que es posible construir una máquina universal que con una programación adecuada podrá hacer el trabajo de cualquier máquina diseñada para resolver problemas específicos.]]> 2022-02-19 02:16:31 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056151262 Integrantes del grupo: andrealvaradoxd https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056153868 - André Alvarado
- Emelda Rodríguez
- Juan Chávez
- Melvin Andara]]> 2022-02-19 02:21:15 UTC https://padlet.com/lizcruz14973/8721yibqcjl2p3zt/wish/2056153868