Este estudio se ocupa de estrategias deterministas para jugar al Dilema del Prisionero iterado. Cada estrategia se incorpora a la tabla de un autómata de estado finito. Se estudian exhaustivamente tanto las estrategias de 4 bits como las de 16 bits. El estudio de las estrategias de 64 bits se ha hecho por medio de un Algoritmo Genético. Tanto la idea de estudiar estrategias deterministas como la de servirse de un Algoritmo Genético está en Axelrod, _The Complexity of Cooperation_. Respecto (...) a las estrategias de 4 bits, una conclusión se ha impuesto: _Tit for Tat_ no es la estrategia ganadora. Respecto a las estrategias de 16 bits, tampoco _Tit for Tat_ ha resultado ganadora. Respecto a las estrategias de 64 bits, hay que destacar el método de hacer evolucionar los cromosomas encontrados por el Algoritmo Genético confrontándolos con un conjunto de control de estrategias. También hay estrategias de 64 bits mejores que _Tit for Tat._. (shrink)

ResumenEn 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 claveLeibniz, silogística, Historia de la LógicaAbstractIn 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.KeywordsLeibniz; Syllogistic; History of Logic. (shrink)

ResumenEn 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 claveLeibniz, silogística, Historia de la LógicaAbstractIn 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.KeywordsLeibniz; Syllogistic; History of Logic. (shrink)