P. 1
Aristotels y Su Aporte a Las Matematicas

Aristotels y Su Aporte a Las Matematicas

|Views: 8|Likes:
Publicado porObd Kldron

More info:

Published by: Obd Kldron on May 28, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

02/09/2015

pdf

text

original

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.

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->