INTRODUCCION A LA LOGICA
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la Filosofía, Matemáticas, Computación, Física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticas para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones.
HISTORIA DE LA LOGICA MATEMATICA
“Conócete a ti mismo” ("gnosei seauton") es la frase que aparecía en el santuario del Dios Olímpico Apolo y que se atribuye a Tales de Mileto (639 a.c), quien 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, a Tales de Mileto se atribuye plantear explicaciones de la naturaleza sin hacer referencia a lo sobrenatural.
Es así, como los precursores de la filosofía, llamados los «presocráticos», representaron una innovación en el pensamiento, al tratar de explicar las cosas por si mismas. En el período Socrático, los filósofos pasarán de preocuparse por los temas de la naturaleza a ocuparse en el hombre. En este período aparecen los sofistas, quienes profundizan en el “arte de discutir”, a ellos debemos lo que en la lógica se denomina un sofisma, argumentos que parecen válidos pero que realmente no lo son.
Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios formales de las matemáticas, a este periodo se le llamo periodo clásico en donde sus principales representantes son: Platón que el introdujo sus ideas y abstracciones; Aristóteles que presentó el razonamiento ductivo y sistemático y Euclides que fue el que tuvo mayor influencia ya que este estableció el método axiomático.