Axioma del silogismo

Principio básico del silogismo; Aristóteles lo formuló como sigue: «Cuando a una cosa, en calidad de sujeto, se le atribuye algo, todo lo que se dice del predicado se dirá también del sujeto». En vez de las palabras «se atribuye», Aristóteles empleaba a menudo el término «inherente», y consideraba equivalentes las expresiones: «A se atribuye a B» y «B está contenido en A». De este modo, el axioma del silogismo es susceptible de interpretación tanto por su contenido (intensiva) como por su extensión (extensiva). En la lógica formal tradicional, el significado del axioma del silogismo se revela al reducir todos los silogismos a los de la primera figura (Silogística). En la lógica formal moderna, el problema relativo al axioma del silogismo se resuelve en el contexto de un problema más amplio, el de la axiomatización de la silogística