Leibniz: Regressus, un cálculo para la Silogística

Abstract

Resumen

En este trabajo presentamos el cálculo para la Silogística que Leibniz llamó «Regressus». En la sección primera exponemos desde la notación usada por el propio Leibniz hasta el método de producción de los modos no perfectos. En la sección segunda comparamos la «fundamentación» de la Silogística de Leibniz con la que dio Aristóteles. En la sección tercera consideramos la hipótesis de Couturat según la cual se trata de un método cuya única estrategia demostrativa es la reducción al absurdo. En la sección cuarta lo presentamos como un algoritmo de producción de los modos imperfectos de la segunda y tercera figuras. Y concluimos, sección quinta, intentando hacer ver que, si se da «la vuelta» a dicho algoritmo, se obtiene un método de decisión para la Silogística con tres figuras.

Palabras clave

Leibniz, silogística, Historia de la Lógica

Abstract

In this paper we present the calculus for Syllogistic that Leibniz named «Regressus». In the first section we will show the notation used by Leibniz and the method of production of the imperfect moods. In the second section we will compare the ground of Leibniz’s Syllogistic with Aristotle’s. In the third section we will explore Couturat’s hypothesis that holds that it is a method whose only demonstrative strategy is a reductio ad absurdum. In the fourth section we will present it as a production algorithm of the imperfect moods of second and third figures. And we will end, in the fifth section, trying to show that, if we «turn over» that algorithm, we obtain a method of decision for Syllogistic of three figures.

Keywords

Leibniz; Syllogistic; History of Logic