Валентин Асмус - ЛОГИКА

Рис. 62

Во втором примере бо́льшая посылка удостоверяет, что ни один предмет класса Р не обладает свойством М, а меньшая посылка устанавливает, что все предметы класса S обладают свойством М. Из этого отношения терминов следует, что ни один предмет класса S не может входить в класс предметов Р (см. рис. 62).

На рисунке изображено отношение между понятиями в обоих наших примерах второй фигуры. Из рисунка видно, что в обоих примерах вывод приводит к исключению класса предметов S из класса предметов Р и наоборот.

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

В первом случае (1) бо́льшая посылка удостоверяет, что все существенные признаки понятия М входят как часть в число существенных признаков понятия Р и потому весь объём Р оказывается частью объёма М. Меньшая посылка удостоверяет, что существенные признаки понятия S несовместимы с существенными признаками понятия М. Но так как все существенные признаки понятия М входят в число существенных признаков понятия Р, то, будучи несовместимыми с существенными признаками М, существенные признаки S и подавно несовместимы с существенными признаками Р. А отсюда следует, что весь объём S находится вне всего объёма Р.

Во втором случае (2) бо́льшая посылка удостоверяет, что существенные признаки понятия Р несовместимы с существенными признаками понятия М и потому весь объём Р находится вне всего объёма М. Меньшая посылка удостоверяет, что все существенные признаки понятия М входят как часть в число существенных признаков понятия S и потому весь объём S есть часть объёма М. Но так как все существенные признаки М входят в число существенных признаков S, то, будучи несовместимы с существенными признаками М, существенные признаки Р будут несовместимы также и с существенными признаками S. А это значит, что весь объём S будет вне всего объёма Р.

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

§ 34.Этим значением второй фигуры определяются её особые правила. Согласно первому из них, бо́льшая посылка должна быть суждением общим. И действительно, исключить предмет S из класса предметов Р, основываясь при этом на свойствах предмета S, можно лишь при условии, если все предметы класса Р обладают свойством, противоположным свойству предмета S.

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

§ 35.Согласно второму специальному для второй фигуры правилу, одна из посылок должна быть отрицательной. При отсутствии отрицательной посылки, посредством которой выясняется несовместимость свойства предмета и свойств предметов класса, не будет достаточного основания для исключения предмета из класса. Но какая именно из посылок — бо́льшая или меньшая — должна быть отрицательной, правило не указывает. Так, в нашем первом примере отрицательна меньшая посылка, бо́льшая же утвердительна. Во втором примере, наоборот, отрицательна бо́льшая посылка, меньшая же утвердительна. И действительно, исключение предмета из класса может основываться как на том, что предмет S не обладает свойством М, необходимо принадлежащим всем предметам класса Р, так и на том, что ни один предмет класса Р не обладает свойством М, необходимо принадлежащим предмету S. В первом случае отрицательной будет меньшая посылка, во втором случае — бо́льшая.

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

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