Términos vs proposiciones. Que quiere decir lukasiewicz
Łukasiewicz se fija en qué representan las variables en cada sistema.
Lógica de términos (Aristóteles): las variables (A, B, C) ocupan el lugar de términos, es decir, de nombres generales como “hombre”, “animal” o “mortal”. El silogismo Barbara se lee: si todo B es C y todo A es B, entonces todo A es C. Lo que se analiza es la estructura interna de la proposición (sujeto, cópula, predicado, cuantificador “todo/algún”). Por eso el texto dice que su aportación más importante está en la lógica cuantificacional: en lenguaje moderno, la silogística es un fragmento de la lógica de predicados monádicos.
Lógica de proposiciones (megáricos y estoicos): las variables ocupan el lugar de proposiciones enteras, que no se analizan por dentro. Sus “indemostrables” se formulaban como si lo primero, lo segundo; es así que lo primero; luego lo segundo. Esto es el modus ponens: puro cálculo proposicional, con conectivas (si…entonces, y, o) que unen proposiciones.
Leyes frente a reglas: este es el matiz fino que señala el texto. Łukasiewicz insistió en que Aristóteles formula el silogismo como una ley: una proposición condicional verdadera, un “si… entonces…”. Los estoicos, en cambio, dan reglas de inferencia: esquemas que autorizan pasar de premisas a una conclusión (“luego…”). Por eso dice el texto que los razonamientos que en Aristóteles son silogismos los estoicos los entienden como reglas. Łukasiewicz añade además que Aristóteles usaba lógica proposicional sin formularla: por ejemplo, en las reducciones al absurdo. De ahí la idea de que estaba “implícitamente supuesta”.
Una advertencia, por si te confunde: aquí “término” significa nombre general en la proposición categórica, no el término de la lógica de primer orden, que denota individuos.
Me confundía justo eso
Es fácil confundirse, porque la palabra “término” ha cambiado de sentido por el camino.
En Aristóteles, “término” (ὅρος, horos, “límite”) nombra los dos extremos de la proposición categórica: sujeto y predicado. En lenguaje moderno, un término aristotélico es un predicado monádico. “Todo A es B” se escribe ∀x (A(x) → B(x)), y A y B son predicados.
En lógica de primer orden y en reescritura, un término es lo que denota individuos: variables, constantes y funciones aplicadas, como f(x, g(a)). Va justamente en la posición de argumento del predicado, es decir, dentro de los paréntesis.
O sea, la “lógica de términos” de Łukasiewicz es, en tu vocabulario, una lógica de predicados unarios sin términos funcionales: lo contrario de los términos con los que se trabaja en AC-RPO. Aristóteles nunca cuantifica sobre individuos de forma explícita. Esa x la pone la traducción moderna.