ОБОСНОВАНИЕ ПРАВИЛ I ФИГУРЫ ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА

Необходимо обосновать/доказать правила I фигуры силлогизма (большая посылка должна быть общей, меньшая - утвердительной), опираясь на общие правила ПКС.

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

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

2) имея отрицательную посылку, мы приходим к заключению, выраженному отрицательным суждением, в котором больший термин (Р) будет распределен (ибо, как мы помним, предикаты всегда распределены в отрицательных суждениях); однако в посылке Р занимает место субъекта (смотрим на фигуру), а субъекты у нас гарантировано распределены только в общих суждениях, следовательно, большая посылка должна быть общей - так мы обосновываем первое правило II фигуры ПКС.

Таким образом, обоснование правил будет завязано на требование распределенности терминов и правила посылок.