§ 4. Аксиома силлогизма

Умозаключение в форме силлогизма, хотя бы в сокращённой его форме, является для нас привычной, естественной формой мышления. Эта естественность силлогизма объясняется тем, что он отражает обычные отношения вещей.

Так, например, если карандаш находится в пенале, а пенал в сумке, то тем самым и карандаш находится в сумке. Но если карандаш находится в пенале, а пенал не находится в сумке, то ясно, что и карандаш не находится в сумке.

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

Но такую же роль выполняет средний термин в силлогизме: он или соединяет, или разъединяет меньший и больший термины в посылках (см. черт. 14—15). А весь силлогизм в целом является отражением отношения вещей: если S входит в М (меньшая посылка), а М входит в Р (большая посылка), то ясно, что S входит в Р (заключение).

Это отношение между предметами объективного мира просто и обычно, оно закрепилось в нашем сознании в виде аксиом.

Аксиомы возникают из практики и постоянно подтверждаются практикой — именно поэтому они для нас вполне убедительны. «Если бы сапожник не был бы непреложно убеждён из опытов, что по данной колодке можно сшить сапоги равной меры, то он отказался бы от своего ремесла» (И.М. Сеченов).

Силлогистическое рассуждение основывается на аксиоме силлогизма, которая имеет следующую формулировку:

Всё, что утверждается (или отрицается) относительно всего класса предметов, то утверждается (или отрицается) относительно части этого класса.

Если верно, что в соседней группе все комсомольцы-отличники (утверждение относительно всего класса), то верно, что и комсомолец — староста соседней группы — отличник (утверждение относительно части класса, т. е. одного его представителя).

Отношение между подлежащим и сказуемым суждения нужно рассматривать не только со стороны их объёма, но и со стороны их содержания.

Возьмём пример:

Все представители семейства кошачьих (М) имеют втяжные когти (Р).

Рысь (S) — представитель семейства кошачьих (М).

--------------------------------------------------------------------

Следовательно, рысь (S) имеет втяжные когти (Р).

В этом примере больший термин в посылке является признаком среднего термина, а средний термин — признаком меньшего термина.

Аксиома силлогизма принимает другую формулировку, а именно:

Признак признака вещи есть признак самой вещи.

Если Р — признак М, а М — признак S, то, следовательно, Р — признак S.