Георгий Рузавин - Логика и аргументация - Учебн. пособие для вузов.

В общем виде силлогизм можно определить как вид дедуктивного умозаключения, в котором в качестве субъекта выступает предмет мысли, а предикатом служит свойство, которое присуще или не присуще этому предмету. С такой общей точки зрения силлогизм можно рассматривать как особый случай логики предикатов. Заключение в силлогизме следует из посылок, крайние термины которых связаны средним термином.

Поскольку заключение силлогизма существенным образом определяется характером посылок (их качеством и количеством т.е. являются ли они утвердительными или отрицательными, общими или частными высказываниями), становится необходимым остановиться на этом вопросе подробнее.

Основываясь на соглашениях, приведенных в гл. 2, все перечисленные суждения можно представить символически:

Всякий S есть Р - S А Р.

Всякий S не есть Р- S E Р.

Некоторый S есть Р - S I Р.

Некоторый S не есть Р - S О Р.

Отсюда видно, что в теории силлогизма качественные и количественные характеристики категорических атрибутивных суждений можно выразить с помощью слов естественного языка. Так, для выражения общих суждений используются слова "всякий", "любой", "каждый", а частных - "некоторый", "какой- либо". Для запоминания логических правил обращаются к мнемоническим средствам обозначения. Все это значительно облегчает процесс рассуждения, ибо исключает перевод суждений на символический язык. Связь между субъектом и предикатом в суждении представляет собой некоторое отношение, проще говоря, субъект и предикат в суждениях связаны отношениями утверждения или отрицания ("есть" и "не есть").

Аксиома силлогизма выражает тот общеизвестный факт, что если некоторое свойство Р принадлежит каждому из предметов, которые образуют данный класс, то очевидно, что оно будет принадлежать любому предмету или группе предметов этого класса. То же самое можно сказать о непринадлежности свойства Р другому классу предметов: если это свойство отсутствует у каждого предмета класса, то оно отсутствует у любого предмета или группы предметов класса.

Аристотель формулирует аксиому силлогизма в терминах "присущности и неприсущности сказываемого <���свойства> предметам". Таким образом, в силлогистических умозаключениях отображаются самые обычные, постоянно повторяющиеся отношения между классами и отдельными предметами, которые образуют группу и класс. Если рассматривать класс как род вещей, группу - как вид и отдельный предмет - как единственную вещь, то на языке философии можно сказать, что в силлогизме выражается логическая связь между родом, видом и индивидуумом или же между общим, особенным и единичным. Эта связь характеризует логическое отношение принадлежности признака предмету в рамках всего класса в целом и отдельных его элементов или членов. В рассмотренном выше примере свойство электропроводности, присущее всем металлам, переносилось на конкретного представителя этого класса - медь. С равным успехом это свойство можно было перенести на некоторую группу или вид металлов, например, медь, железо, никель и тд. Поскольку термины силлогизма представляют собой понятия, то отношения между их объемами можно выразить с помощью концентрических кругов, причем средним будет круг, изображающий средний термин М, а крайними - круги, представляющие объемы субъекта и предиката.

На рис.9 видно, что класс, который характеризуется предикатом Р, включает в свой объем классы М и S, а класс М содержит класс S.

Таким образом, в силлогизме выражаются отношения совместимости и несовместимости между родами и видами вещей по какому-либо их свойству или признаку, а эти отношения графически можно представить как отношения между соответствующими кругами.

Правила силлогизмаобеспечивают получение истинного заключения при истинности посылок. Они относятся, во-первых, к терминам силлогизма и, во-вторых, к его посылкам.

Правила терминов:

1) В любом силлогизме должно быть только три термина. Это требование вытекает из той роли, которую играет средний термин силлогизма: он логически связывает его крайние термины. Действительно, допустим - ради аргументации, - что существует два таких термина. Это будет означать, что объемы терминов (классов), которые он связывает, должны включаться в два различных класса, и поэтому остается неопределенным, как соотносятся между собой субъект и предикат в заключении. Иными словами, допущение лишнего среднего термина приводит к неопределенности, вследствие чего никакого однозначного заключения получить нельзя. Такого рода логическая ошибка получила название учетверения терминов. В правильном силлогизме должно быть только три термина: два крайних (субъект и предикат) и один средний. Учетверение терминов допускается нередко из-за того, что одному и тому же термину приписывается разное содержание. Например, в силлогизме: "Все металлы - элементы, латунь - металл, следовательно, латунь - элемент" ошибка происходит из-за того, что средний термин "металл" употребляется в двух смыслах. В большой посылке он обозначает химический элемент, что, конечно, совершенно верно, а в другом - сплав, ибо латунь вовсе не металл, а сплав меди и цинка. Обычно ошибка учетверения терминов возникает из-за нечеткого определения понятий, как в этом примере, когда не проводят ясного различия между металлами и сплавами, поскольку те и другие имеют ряд общих свойств.