ARISTOTELS Y SU APORTE A LAS MATEMATICAS La opinión de que la lógica comienza con Aristóteles se debe a varias razones.

Una es que fue el primero en formalizar las expresiones, esto es, en emplearvariables para los términos, para poder analizar mejor las inferencias entreenunciados. Fue también el primero en concebir la lógica como el estudio de lainferencia formalmente válida, y quien construyó el primer sistema de lógica detérminos. Pero, además de la lógica sensu estricto, en las obras de Aristótelesaparecen los siguientes temas: estudios acerca del uso de los términos en ellenguaje ordinario; estudios sobre el arte de la argumentación y de la retórica;estudios de metodología de la ciencia, incluida su concepción del métodoinductivo; el estudio de la organización de los sistemas deductivos; y finalmente lateoría del razonamiento deductivo o silogístico APORTES A LAS MATEMATICAS POR GEORGE BOOLE George Boole (1815-1864), hace más de 100 años logro traducir, utilizando un procedimiento formal, la lógica de los términos a una teoría de ecuaciones, por lo cual es conocido como el Padre de la Lógica Moderna. Afirma Moisés Chong en su citada obra que "el aporte de la obra de Boole, conocido como Algebra Booleana, consiste en un vasto movimiento de formalización del lenguaje lógico y, por consiguiente, el intento de que la validez de toda aseveración esté en función matemática, dando lugar a la lógica simbólica, que ha venido a servir como procedimiento fructífero en el campo de la investigación y la demostración científica. El simbolismo lógico se ha llegado a convertir en una especie de culminación, formalizadora, permitiendo, así, que la lógica sea tratada como un calculo, pudiéndose de este modo analizar sus posibilidades, formas, etc, con la misma objetividad y precisión, orden y claridad que hasta hace mucho parecían patrimonio del matemático." AUGUSTUS DE MORGAN En 1838 aporto el término "inducción matemática" utilizando un proceso que ha sido usado. El término aparece en el artículo de De Morgan (Induction Mathematics) enel Penny Cyclopedia. Su contribución es como un reformador de la lógica matemática. Morgan creo las leyes de Morgan, que son reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes. Leyes de Morgan Ø (PÚ Q) Û Ø PÙ Ø Q Ø (PÙ Q) Û Ø PÚ Ø Q Se trata de una combinación de compuertas de tal modo de encontrar una equivalencia entre ellas, esto viene a consecuencia de que en algunos casos no se dispones del integrado que se necesita pero si de otros que podrían producir los mismos resultados que se están buscando. LOGICA La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio». La lógica examina la validez de los argumentos en términos de su estructura lógica, independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.

existiría un modelo numerable para dicha teoría aun cuando la teoría afirma que existen conjuntos no contables. que afirma que cualquier sistema axiomático basado en la lógica de primer orden no puede controlar la cordialidad de la estructuras no finitas que satisfacen los axiomas de dicho sistema. demonstrando la naturaleza fintiaria del operador de consecuencia lógica.Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal». Kurt Gödel (1929) demostró el teorema de completitud. LOGICA NO SIMBOLICA O ARISTOTELICA La lógica aristotélica es la tradición lógica basada en el trabajo del filósofo griego Aristóteles. primer pensador en formalizar el sistema lógico de tal manera que sus propuestas han trascendido hasta nuestros días. Estos resultados ayudaron a establecer a la lógica de primer orden como el tipo de lógica dominanteen las matemáticas actuales. a partir del final del siglo XIX. Skolem comprendió que este teorema podría aplicarse para las formalizaciones de primer orden de la teoría de conjuntos. Este resultado contra intuitivo es la conocida paradoja de Skolem. que establece una correspondencia entre la sintaxis y la semántica de la lógica de primer orden. Aristóteles planteó sus ideas en varias obras. Tradicionalmente ha sido considerada como una parte de la filosofía. reunidas posteriormente bajo el nombre de Organon (órgano. para difundir sus conocimientos sobre las leyes del razonamiento. de tal forma que algunos la consideran como Lógica matemática. LOGICA SIMBOLICA Leopold Löwenheim (1915) y Thoralf Skolem (1920) formularon el llamado teorema de Löwenheim-Skolem. . herramienta). siendo dicha formalización numerable. y su formalización simbólica ha mostrado su íntima relación con las matemáticas. argumentando que estas eran vitales para adentrarse en el mundo de la filosofía. Gödel usó dicho teorema de completitud para probar el llamado teorema de comapcidad. Pero en su desarrollo histórico. En su tesis doctoral.

Sign up to vote on this title
UsefulNot useful