Введение в логику и научный метод - стр. 74

[(p . q) ⊃ r] ≡ [(q . r′) ⊃ p′] ≡ [(p . r′) ⊃ q′].

Итак, принцип опосредованного сведения можно разложить следующим образом: силлогизм – это форма умозаключения, в которой два суждения, p и q, вместе имплицируют третье суждение, r, при этом данные три суждения содержат три, и только три, термина. Однако если мы отрицаем импликацию [(p . q) ⊃ r], то мы также должны отрицать и эквивалентную ей вторую импликацию [(q . r′) ⊃ p′]. Однако эта вторая импликация, как показано в нашем примере, является правильным силлогизмом, представляющим модус Barbara, который нельзя отрицать. Следовательно, также нельзя и отрицать первую импликацию, представляющую силлогизм модуса ОАО из третьей фигуры (т. е. Bocardo). Отрицание правильности модуса Bocardo приводит нас к отрицанию модуса Barbara, а это абсурдно.

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

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

Рассмотрим правильный силлогизм:

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

Все шотландцы являются музыкантами.

∴ Все шотландцы являются гордыми.

Если мы обозначим буквами «S», «М» и «Р» термины «шотландцы», «музыканты» и «гордые индивиды» соответственно и если мы используем результаты анализа того, что утверждается в категорическом суждении, который мы провели в главе IV, то данный силлогизм можно выразить как утверждающий следующее:

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

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

2. Все шотландцы являются музыкантами.

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

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

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

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