A Syllogistic System Generated by the Aristotelian Approach and the Modern Approach as an Hyperincursive System

摘要

This paper proves that the syllogism set is transformed in an hyperincursive system which is composed of a sole hyperincursive set by using the Aristotelian rules to deduce syllogisms among them and a deduction new rule which is proposed in this paper. An important consequence of this result is that every syllogism deduces all the possible syllogisms. Part One was written by Michele Malatesta and Part Two by Arturo Graziano Grappone.