Resumen de Ideas preliminares para un cálculo automático de las "cualidades": Conferencia leida en el Congreso de la I.F.I.P. celebrado en Edimburgo en 1968
Presentamos aquí nuestro método de expresión aritmética de las "cualidades" (predicados monádicoas) y de ciertas funciones lógicas de estas cualidades como ejemplo de una perspectiva que permite una simplificación notable de la deducción automática en esferas no-cuantitativas. Para la memorización de las variables y constantes de tipo entero que expresan cualidades, y de las de tipo racional, que expresan proposiciones afirmadas en una teoría, se han previsto dos tipos distintos de memoria. La deducción de todas las consecuencias lógicas correspondientes a los 24 modos silogísticos se lleva a cabo en nuestro cálculo utilizando como único criterio válido de deducción la multiplicación de las expresiones aritméticas de las premisas. Con ello demostramos que la aritmética de la silogística, intentada sin éxito por Leibniz a lo largo de toda su vida, es realizable, a pesar de los críticos del genial fundador de la lógica matemática, y en especial de Couturat. Este resultado, que hubiera tenido una importancia primordialmente teórica, en el plano de la lógica pura, antes de la aparición de los ordenadores, puede abrir, a nuestro juicio, en la actualidad, interesantes perspectivas prácticas, si se tiene en cuenta que es posible aplicar, como tenemos el propósito de demostrar en sucesivos trabajos, un método análogo de aritmetización, de parecida sencillez, al cálculo proposicional clásico, al cálculo de relaciones y a un cálculo aritmético de las clasificaciones, científicas y documentales, y, por consiguiente, a la documentación automática.
