Qué quiere decir Łukasiewicz al distinguir lógica de términos
(Aristóteles) y lógica de proposiciones (estoicos).
Hilo de la conversación
Oriol pregunta qué quiere decir Łukasiewicz. Claude: en Aristóteles
las variables son términos generales y se analiza la estructura interna
de la proposición; en los estoicos son proposiciones enteras unidas por
conectivas. Añade la distinción entre leyes (Aristóteles) y reglas de
inferencia (estoicos).
Oriol dice que le confundía el sentido de «término». Claude explica
el cambio de sentido: en Aristóteles un término es un predicado
monádico; en primer orden y en reescritura denota individuos (f(x,
g(a))).
Tesis y
conclusiones (incluidas las de Oriol)
La «lógica de términos» es, en vocabulario de reescritura, lógica de
predicados unarios sin términos funcionales: lo contrario de los
términos de AC-RPO.
Aristóteles usaba lógica proposicional sin formularla (reducciones
al absurdo).
La confusión de Oriol nace de su formación en reescritura de
términos.
Autores y referencias
citados
Łukasiewicz; Aristóteles; megáricos y estoicos. Sin referencias
bibliográficas concretas.
Puntos a verificar
Localizar en Aristotle’s Syllogistic (1951/1957) el pasaje
sobre leyes frente a reglas al que alude el texto que leía Oriol.