аксиома силлогизма

аксиома силлогизма - осн. принцип силлогизма; Аристотелем формулируется так: «Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем». Наряду о термином «сказывается» Аристотель употреблял термин "присуще", а выражения «А сказывается о В» и «В содержится в Л» считал равносильными. Т. обр., А. с. допускает как содержательное (интенсивное), так и объемное (экстенсивное) истолкование. В традиционной формальной логике значение А. с. обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В совр. формальной логике вопрос об А. с. решается в контексте более широкой задачи - аксиоматизации силлогистики.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.