<<<     ΛΛΛ     >>>   

Мы можем также записать первое правило следующим образом:

что читается так: «из посылки р получаем следствие р v q». Второе правило вывода, которым я собираюсь воспользоваться, более привычно. Если отрицание р мы обозначим как «не-р», то правило можно сформулировать следующим образом:

, или в словесной форме:

(2) Из двух посылок не-р и р v q мы получаем заключение q.

Общезначимость этого правила можно считать установленной, если принять, что высказывание не-р истинно только в том случае, когда р ложно. Соответственно, если первая посылка не-р истинна, тогда первое составляющее второй посылки ложно; следовательно, если обе посылки истинны, то второе составляющее второй посылки должно быть истинно; это означает, что q должно быть истинно всякий раз, когда обе посылки истинны.

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

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

(а) Солнце сейчас сияет.

(b) Солнце сейчас не сияет.

Из этих двух посылок можно вывести любое высказывание, например, «Цезарь был предателем».

Из посылки (а) мы можем вывести, согласно правилу (1), следующее заключение:

(c) Солнце сейчас сияет v Цезарь был предателем. Взяв теперь в качестве посылок (b) и (с), мы можем в конечном счете вывести, согласно правилу (2):

(d) Цезарь был предателем.

Ясно, что с помощью того же метода мы могли бы вывести и любое другое высказывание, например, «Цезарь не был предателем». Так что из «2 + 2 = 5» и «2 + 2 не= 5» мы можем вывести не только то высказывание, какое бы нам хотелось, но также и его отрицание, которое могло и не входить в наши планы.

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

Ввиду важности проанализированной нами логической ситуации, я представлю теперь несколько других правил вывода, которые приводят к тому же результату. В отличие от (1), те правила, которые мы сейчас рассмотрим, составляют часть классической теории силлогизма, за исключением правила (3), которое мы обсудим первым.

Из любых двух посылок р и q можно вывести заключение, которое тождественно одной из них — скажем, р; схематически:

Несмотря на всю непривычность этого правила и на то, что его не признают некоторые философу 7 , это правило несомненно общезначимо: ведь оно безошибочно приводит к истинному заключению всегда, когда истинны его посылки. Это очевидно и действительно тривиально; и сама тривиальность делает это правило, в обычном рассуждении, избыточным, а потому и непривычным. Однако избыточность не есть несостоятельность.

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

 <<<     ΛΛΛ     >>>   

Диалектическое есть также душа всякого истинно научного познания
Q возможно мы
Можно сказать