LA LOGICA DE ARISTOTELESPara Aristteles la lgica no es ciencia, sino un instrumento (rganon) para el, la lgica pensamiento correcto. El objeto de la lgica es el silogismo.El silogismo no es ms que un argumento que consiste en proposiciones de las cuales se puede inferir (sacar) una conclusin. Por lo tanto, no es dar valor a la verdad o falsedad de las proposiciones (frases o premisas), ni la conclusin, slo para observar la forma en que se constituy. Es un razonamiento mediado que ofrece el conocimiento de una cosa a partir de otras cosas (buscando, as, una causa).En s mismas, las proposiciones o frases declarativas acerca de la realidad, como la justicia, deben seguir tres reglas bsicas. 1 Principio de identidad: A es A. 2 Principio de no contradiccin: A es A y no-A al mismo tiempo. 3 Principio del tercero excluido: A es X o no-X, no hay una tercera posibilidad.As, el valor de la verdad o falsedad se da a las proposiciones, pues son inmediatamente evidenciadas. Sin embargo, la lgica opera con argumentos. Las propuestas se clasifican en: Afirmativas: S es P. Negativas: S no es P. Universales: todo S es P (afirmativa) o Ningn S es P (negativa). Particulares: algunos S son P (afirmativa) o Algunos S no son P (negativa). Singulares: cuando el predicado est incluso en el sujeto. Por ejemplo, todo tringulo posee tres lados. No necesarias o imposibles: el predicado jams podr ser atributo de un sujeto. Por ejemplo, ningn tringulo posee cuatro lados. Posibles: el predicado puede o no ser atributo. Por ejemplo: todos los hombres son buenos.El silogismo se compone de al menos dos proposiciones de las cuales se extraen una conclusin. Su forma lgica es la siguiente: A es B, luego B es C (siempre los trminos mayor y menor), por tanto, C es A.Tenga en cuenta que el trmino es el trmino A, que es sujeto y predicado en una oracin en otra. Por lo tanto, no aparece en la conclusin, que demuestra que no es la mediacin y que la conclusin es, de hecho, una deduccin o inferencia, es decir, en realidad es extrada de la relacin entre las premisas.El silogismo es, por tanto, el estudio de la correccin (validez) o incoreccin (invalidez) de los argumentos encadenados segn las premisas de las cuales es licito extraer una conclusin. Su validez depende de la Forma y no de la verdad o falsedad de las premisas. De esta manera, es posible distinguir entre argumentos slidos de los poco slidos o falsos y que no se nos induzca a engaos.Ejemplos de la lgica aristotlicaVeamos un ejemplo:P1 Todo hombre es mortal (V)P2 Scrates es un hombre (V)C Por lo tanto, Scrates es mortal (V).El argumento es vlido no porque la conclusin es cierta, sino porque sigue el modelo formal: A es B, luego B es C y C es A.Otro ejemplo:P1 Todos los mamferos son mortales (V)P2 Todos los perros son mortales (V)C Luego, todos los perros son mamferos (V).