АКСИОМА СИЛЛОГИЗМА

основной принцип категорич. силлогизма. В формулировке Аристотеля гласит: "Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем" ("Категории", 3, 1в; рус. пер., М., 1939). Вместо слова "сказывается" Аристотель часто употреблял термин "присуще", а выражения "А сказывается о Б" и "Б содержится в А" считал равносильными. Т.о., понимание Аристотелем А. с. допускало как содержательное (интенсивное), так и объемное (экстенсивное) истолкование. Преимущественно объемное толкование аксиомы дает Хр. Вольф: "Все, что может быть утверждаемо или отрицаемо относительно рода или вида, то утверждается или отрицается и во всяком роде или виде, которые содержатся под первыми" ("Philosophia rationalis sive Logica...", 1758, p. 294). Совр. логика рассматривает вопрос о логич. основаниях силлогич. выводов более конкретно и полно, нежели традиционная. Вопрос о той или иной А. с. решается в контексте более широкой задачи аксиоматизации силлогистики. Лит.: Аристотель, Категории, пер. [с греч.], М., 1939; его же, Аналитика первая, кн. 1, гл. 1 и 4, в кн.: Аналитика первая и вторая, пер с греч., [Л.], 1952; Лукасевич Я., Аристотелевская силлогистика с точки зрения современной формальной логики, пер. с англ., М., 1959; Wolff Chr., Philosophia rationales sive Logica, methodo seientifica pertractata et ad usum scientiarum atque vitae aptata, pars 1–2, 3 ed., Lipsiae, 1740. А. Субботин. Москва.