Что такое диалектика? | страница 8

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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