Введение в логику и научный метод

Данный процесс проявления связи модусов других фигур с модусами первой фигуры называется «сведением». Существует две разновидности сведения: 1) непосредственное сведение, осуществляющееся посредством обращения суждений, или перестановкой посылок, и 2) опосредованное сведение, требующее либо превращения и контрапозиции суждений, либо формы условного умозаключения, известного как reductio ad absurdum.

Несмотря на то что многие логики считали, что процесс сведения не является необходимым и даже является необоснованным, нет сомнения в том, что в свете той основы, на которой Аристотель развивал свою теорию силлогизма, сведение является неотъемлемой частью этой теории. Однако если учение о силлогизме развивать на иных основаниях, согласно которым первая фигура не считается самой главной, то операция сведения не сможет обладать той важностью, которая приписывается ей в традиционном подходе. Даже принятый нами подход не требует того, чтобы первая фигура рассматривалась как центральная. Ниже мы убедимся, что теорию силлогизма можно развивать, исходя из еще более общих установок. Более того, такие принципы, как dictum, можно выработать для каждой фигуры, и каждый из них будет обладать такой же степенью самоочевидности, как и dictum de omrti. Тем не менее, несмотря на снижение теоретической значимости сведения, оно продолжает представлять ценный логический инструмент. На данном этапе мы покажем, каким образом можно свести к первой фигуре некоторые из модусов других фигур.

Непосредственное сведение Рассмотрим силлогизм АЕЕ во второй фигуре:

Мы привели силлогизм, эквивалентный исходному справа. Его можно проверить непосредственным образом с помощью принципа dictum. Сведение было осуществлено с помощью перестановки посылок, обращения меньшей посылки и обращения заключения. Следовательно, если мы не сомневаемся в правильности второго силлогизма, у нас не может быть и сомнений в правильности исходного.

Далее рассмотрим модус AII из третьей фигуры. Его можно свести к правильному силлогизму первой фигуры, приведенному ниже справа:

Наконец, модус IAI из четвертой фигуры может быть сведен следующим образом:

Опосредованное сведение

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

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

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

Некоторые виды стали не являются магнитными. Все виды стали суть металлы.

Некоторые металлы не являются магнитными.

Заключение является либо истинным, либо ложным. Если оно ложно, то противоречащее ему суждение «все металлы являются магнитными» истинно. Сочетая это суждение с меньшей посылкой силлогизма, получаем:

Все металлы являются магнитными.

Все виды стали являются металлами.

Все виды стали являются магнитными.

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

Таким образом, правильность модуса ОАО третьей фигуры доказывается с помощью правильного силлогизма из первой фигуры и принципа, известного как reductio ad absurdum. Правильность модуса АОО из второй фигуры может быть доказана таким же способом. Данный метод можно также использовать и для других модусов.

Проявим теперь принцип reductio ad absurdum в более абстрактной форме. Пусть «р» обозначает суждение «некоторые виды стали не являются магнитными», «q» обозначает суждение «все виды стали являются металлами», а «r» обозначает суждение «некоторые металлы не являются магнитными». Пусть «p'», «q'», «r'» обозначают суждения, противоречащие данным соответственно. Тогда в исходном силлогизме утверждается, что р и q вместе имплицируют r . В символьной форме: ( p . q ) r . Мы показали, что суждение, противоречащее r , вместе с q имплицирует суждение, противоречащее р . В символьной форме: ( q . r' ) p' . Сведение к первому силлогизму зависит от эквивалентности этих двух импликаций. Данная эквивалентность является простым продолжением эквивалентности между условным суждением и противопоставленным ему суждением. Ранее мы показали, что если а и b являются любыми двумя суждениями, то ( а b ) ( b' a' ). Теперь мы получаем: