Аксиома силлогизма выражает тот общеизвестный факт, что если некоторое свойство Р принадлежит каждому из предметов, которые образуют данный класс, то очевидно, что оно будет принадлежать любому предмету или группе предметов этого класса. То же самое можно сказать о непринадлежности свойства Р другому классу предметов: если это свойство отсутствует у каждого предмета класса, то оно отсутствует у любого предмета или группы предметов класса.
Аристотель формулирует аксиому силлогизма в терминах "присущности и неприсущности сказываемого <свойства> предметам". Таким образом, в силлогистических умозаключениях отображаются самые обычные, постоянно повторяющиеся отношения между классами и отдельными предметами, которые образуют группу и класс. Если рассматривать класс как род вещей, группу - как вид и отдельный предмет - как единственную вещь, то на языке философии можно сказать, что в силлогизме выражается логическая связь между родом, видом и индивидуумом или же между общим, особенным и единичным. Эта связь характеризует логическое отношение принадлежности признака предмету в рамках всего класса в целом и отдельных его элементов или членов. В рассмотренном выше примере свойство электропроводности, присущее всем металлам, переносилось на конкретного представителя этого класса - медь. С равным успехом это свойство можно было перенести на некоторую группу или вид металлов, например, медь, железо, никель и тд. Поскольку термины силлогизма представляют собой понятия, то отношения между их объемами можно выразить с помощью концентрических кругов, причем средним будет круг, изображающий средний термин М, а крайними - круги, представляющие объемы субъекта и предиката.
На рис.9 видно, что класс, который характеризуется предикатом Р, включает в свой объем классы М и S, а класс М содержит класс S.
Таким образом, в силлогизме выражаются отношения совместимости и несовместимости между родами и видами вещей по какому-либо их свойству или признаку, а эти отношения графически можно представить как отношения между соответствующими кругами.
Правила силлогизма обеспечивают получение истинного заключения при истинности посылок. Они относятся, во-первых, к терминам силлогизма и, во-вторых, к его посылкам.
Правила терминов:
1) В любом силлогизме должно быть только три термина. Это требование вытекает из той роли, которую играет средний термин силлогизма: он логически связывает его крайние термины. Действительно, допустим - ради аргументации, - что существует два таких термина. Это будет означать, что объемы терминов (классов), которые он связывает, должны включаться в два различных класса, и поэтому остается неопределенным, как соотносятся между собой субъект и предикат в заключении. Иными словами, допущение лишнего среднего термина приводит к неопределенности, вследствие чего никакого однозначного заключения получить нельзя. Такого рода логическая ошибка получила название учетверения терминов. В правильном силлогизме должно быть только три термина: два крайних (субъект и предикат) и один средний. Учетверение терминов допускается нередко из-за того, что одному и тому же термину приписывается разное содержание. Например, в силлогизме: "Все металлы - элементы, латунь - металл, следовательно, латунь - элемент" ошибка происходит из-за того, что средний термин "металл" употребляется в двух смыслах. В большой посылке он обозначает химический элемент, что, конечно, совершенно верно, а в другом - сплав, ибо латунь вовсе не металл, а сплав меди и цинка. Обычно ошибка учетверения терминов возникает из-за нечеткого определения понятий, как в этом примере, когда не проводят ясного различия между металлами и сплавами, поскольку те и другие имеют ряд общих свойств.
2) Во всяком силлогизме средний термин должен быть распределен, хотя бы в одной из посылок. Напомним, что термин в суждении считается распределенным, если он является субъектом общеутвердительного либо предикатом отрицательного суждения. Если средний термин является нераспределенным в обеих посылках, тогда из них нельзя вывести никакого однозначного заключения. В самом деле, если средний термин не является распределенным в общеутвердительном суждении, то он не может быть субъектом в посылке, а с другой стороны он не может быть предикатом во второй посылке. В результате этого средний термин не связывает крайние посылки, и потому из них нельзя сделать правильного заключения. Например, в умозаключении "Все планеты светят отраженным светом, и данное небесное тело светит отраженным светом" нельзя вывести заключение, что "это тело является планетой". Известно, что спутники планет, например Луна, также светят отраженным светлом и тем не менее не являются планетами, а лишь их спутниками. Ошибочный вывод в этом случае возникает именно из-за нарушения правила о распределении среднего термина, поскольку и в общей, и в меньшей посылке он оказывается нераспределенным.