SILOGÍSTICA TRADICIONAL
    Tipos de Proposiciones y Silogismos Categóricos

      Las Proposiciones Categóricas implican la existencia de esquemas de enunciados dobles (S-P). En este contexto, la Lógica Tradicional estableció diferentes tipos de proposiciones categóricas atendiendo a la Cantidad y a la Cualidad.
      A su vez, la unión de Proposiciones Categóricas da lugar a la formación de los Silogismos Categóricos, en donde un enunciado (C) se sigue necesariamente de otros dos enunciados o Proposiciones Categóricas (A-B)

      Lógica de Clases
















































































































































































































































































































      CANTIDAD
      Atendiendo a la Cantidad, las Proposiciones podían ser Universales o Particulares.
      Categóricas





















































































































































































































































































































































      CUALIDAD
      Atendiendo a la Cualidad, las Proposiciones podían ser Afirmativas o Negativas.
      Categóricas





















































































































































































































































































































































      SILOGISMOS CATEGORICOS
      DEFINICIÓN:Inferencia a partir de dos premisas (A-B) en las que tanto éstas como la conclusión (C) son Proposiciones Categóricas.
      Por ejemplo: 
      Ningún árabe es israelí
Todo Palestino es arabe
---------------------------------
Ningún Palestino es israelí
      Dado que cada Proposición categórica está formada por dos enunciados simples, Aristóteles, descompuso tales enunciados en dos elementos: S (sujeto) y P (predicado).
      Sujeto=Aquello de quien se dice algo
      Predicado=Lo que se dice de ese algo
                        S        P
Ejemplo:Ningún arabe es Israelí

      Las Proposiciones categóricas, atendiendo a la Cantidad y a la Cualidad son de Cuatro Tipos:
      Universales afirmativas
Universales negativas
Particulares afirmativas
Particulares negativas

      EJEMPLOS: 

      Universal Afirmativa:Todos los hombres son mortales [Todos los S son P]
Universal Negativa:Ningún hombre es inmortal [Ningún S es P]
Particular Afirmativa:Algún animal vuela [Algún S es P]
Particular Negativa:Algún animal no vive en el agua [Algún S no es P]
      La Lógica Tradicional tambien       Simboliza la cantidad y la cualidad de las proposiciones categóricas.
      Categóricas





















































































































































































































































































































































      SIMBOLIZACION EN LA LÓGICA TRADICIONAL
      La lógica Tradicional simbolizaba la cantidad y la cualidad de las proposiciones categóricas con las vocales a, e, i, o.
      En donde: 
      a=universal afirmativa
e=universal negativa
i=particular afirmativa
o=particular negativa
      En este contexto, los diferentes tipos de Proposiciones categóricas quedarían formalizadas asi: 
      SaP=universal afirmativa
SeP=universal negativa
Sip=particular afirmativa
Sop=particular negativa

      Silogismos