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

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

Термин "силлогизм" заимствован из древнегреческого языка и в переводе на русский означает "выведение следствия" или "счисление", когда речь идет о числах. Впервые этот вид дедуктивных умозаключений детально исследовал основоположник классической логики Аристотель в своем труде "Аналитики". Поэтому силлогистические умозаключения нередко называли аналитическими, которые сам Аристотель противопоставлял диалектическим, к которым он относил правдоподобные рассуждения.

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

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

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

Приведем конкретный пример силлогизма, посредством которого разъясним важнейшие его элементы: "Все металлы электропроводны, медь - металл, следовательно, медь электропроводна". Еще проще пример из повседневной жизни: "если деньги - в кошельке, а кошелек - в кармане, то деньги - в кармане".

Не будем, однако, множить число таких примеров которые встречаются почти в любом рассуждении, а сразу же перейдем к рассмотрению общей логической схемы силлогизма:

Все М есть Р:

S есть М;

S есть Р.

Здесь буквой М обозначен средний термин, а буквами S и Р - соответственно меньший и больший термины, которые являются крайними и объединяются средним термином.

В нашем первом примере среднему термину соответствует понятие металла, меньшему - понятие меди, а большему - понятие электропроводности.

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

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

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