APORTACIONES DE ARISTTELES A LAS MATEMTICAS

LA LGICA ARISTOTLICA O LGICA MATEMTICA. Es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico para realizar cualquier actividad. Proposiciones y operaciones lgicas. Una proposicin o enunciado es una oracin que puede ser falso o verdadero pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica por qu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: La tierra es plana. q: -17 + 38 = 21 R: x > y-9 S: El Morelia ser campen en la presente temporada de Fut-Bol. T: Hola cmo estas? W: Lava el coche por favor. Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposicin del inciso s tambin est perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de futbol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. Toda esta lgica matemtica est basada en los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como rganon, contienen el primer tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento.