SILOGISTICA TRADICIONAL
    (Introducción)

      En la Lógica de Predicados se hizo referencia a la naturaleza de los cuantificadores TODO ["] y ALGUNO [$] aplicados tanto a enunciados abiertos como a enunciados cerrados.
      Sabemos, por tanto, que los cuantificadores pueden afectar a:
      1. Esquemas vacíos de contenido, es decir, esquemas sin definir. Como, por ejemplo, cuando decimos:

        Alguno está herido $x (Hx)

      2. Pero puede suceder tambien que los cuantificadores (todo, alguno) afecten y cierren dos esquemas de enunciados atómicos. Asi, por ejemplo, si decimos:
        "Algún soldado está herido"
        Aquí estamos ante una expresión que podría entenderse como constando de dos enunciados:
        x es un soldado y x está herido. Su simbolización sería:
        $x (Sx ÙHx)
        Del mismo modo, si dijeramos:
        Todo hombre es mortal
        Tal expresión podría entenderse como constando de dos enunciados:
        x es hombre (entonces) x es mortal

        Su simbolización sería:
        "x (Hx)®(Mx)

      3. Pues bien, estos esquemas de enunciados dobles se denominan Proposiciones Categóricas= Cuantificación simultanea de dos predicados combinados entre sí.
      4. Conviene, sin embargo, hacer referencia a las diferencias existentes, en esta cuestión, entre la Lógica clásica y la Lógica de predicados actual.

      Lógica de Clases








































































































































































































































































































































































































































































      DIFERENCIAS ENTRE LA LOGICA TRADICIONAL Y LA LOGICA CLÁSICA
      En la Lógica de Predicados actual el SUJETO es solamente el nombre propio o de Individuo (denotativo de realidades individuales). En este sentido, Hombre o Animal no son considerados nunca como sujetos sino siempre como predicados.
      La Lógica Tradicional, sin embargo, considera como sujeto a lo que en Lógica de Predicados es un predicado. Por ejemplo: hombre.
      En esta página respetaremos la concepción tradicional acerca del S y el P. Asi por ejemplo:       
      
        S        P
Todo hombre es mortal
      Además, conviene tambien saber que la Lógica tradicional diferenciaba entre términos universales (nombres comunes=hombre) y términos singulares (Sócrates),considerando a estos últimos como sinónimo de Proposiciones universales afirmativas.
      En la Lógica de Predicados actúal estos términos son enunciados simples o constantes individuales.

      Silogística