Философский словарь - силлогистика

К числу указанных высказываний относят высказывания следующих логических форм: "Всякий S есть Р" общеутвердительное высказывание, "Всякий (ни один) S не есть Р" общеотрицательное, "Некоторый S есть Р" частноутвердительное, "Некоторый S не есть Р" частноотрицательное, "а есть Р" единич-ноутвердительное и "а не есть Р" единичноотрицательное. В каждом таком высказывании имеется два термина: субъект термин, обозначающий те предметы, о которых нечто утверждается или отрицается, и предикат термин, обозначающий то, что утверждается или отрицается об этих предметах.

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

Что касается умозаключений, то они распадаются на умозаключения по логическому квадрату, непосредственные и опосредованные умозаключения. В умозаключения выделяют посылки, т.е. те высказывания, из которых нечто выводится, и заключения то, что выводится. С помощью логического квадрата фиксируются такие отношения между категорическими атрибутивными высказываниями, как отношение подчинения, контрарности, субконтрарности и противоречия. К числу непосредственных умозаключений относятся операции обращения (conversio), превращения (obversio) и различные виды противопоставления (contrapocisio).

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

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