V Пример. В приводившемся выше примере S — это понятие «цинк», P — «являющийся электропроводным», М — «металл»

В приводившемся выше примере S — это понятие «цинк», P — «являющийся электропроводным», М — «металл». Поэтому логическую форму данной разновидности ПКС можно выразить схемой:

Всякий М есть P.

Всякий S есть М.

^{_______________________}

Всякий S есть P.

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

Рис. 25

Данное изображение можно интерпретировать так: если все М входят в объём P и если все S входят в объём М, то с необходимостью S входит в P, что и фиксируется в заключении: «Цинк электропроводен».

Таким образом, ПКС представляет собой дедуктивное умозаключение, в котором на основании установления отношений S и P к М в суждениях-посылках устанавливается отношение между S и P в заключении. Помимо меньшего, большего, среднего терминов и заключения в логической структуре ПКС различают большую посылку, в которой содержится больший термин (P), и меньшую посылку, в которой содержится меньший термин (S). Строгая логическая форма ПКС предполагает постановку на первое место именно большей посылки, а затем уже — меньшей.