| Гегельянское |
[Mar. 22nd, 2010|05:05 pm] |
Сначала - обозначения.
&& - логическое "и"
|| - логическое "или"
! - логическое отрицание
true или 1 - логическая истина
false или 0 - логическая ложь.
Как известно, (a || b) && (!a) = b. Словами "если a или b - истинно и не-a истинно, то b истинно". Теперь пускай может быть a=true и !a=true, т. е. снимем запрет противоречия. Тогда по введенному в предыдущем предложении правилу из этих двух посылок можно вывести любое b. Например, допустим, что "сегодня ясная погода" и "сегодня пасмурная погода" оба истинны. Тогда "то ли сегодня ясная погода, то ли Гегель был позитивистом" - истина. Но сегодня пасмурная погода => Гегель был позитивистом.
Из двух противоречащих друг другу посылок можно вывести все что угодно. В том числе и новую пару противоречий: "Гегель не был позитивистом" можно точно так же следует в нашем примере из той же пары посылок, как и "Гегель был позитивистом". Таким образом, получается, что формальная логика минус запрет противоречия приведет к постоянному воспроизводству антиномий. Это можно записать как
a && !a = b && !b = c && !c = ...
Так вот, есть у меня сильное скептическое подозрение, что Гегель просто открыл этот факт и интерпретировал получившуюся цепочку антиномий как модель истории мышления.
В известном приближении такая модель верна, конечно. Если две теории противоречат друг другу, то из этого следует, что верной, скорее всего, окажется третья. Только для получения реалистичной картины нужно еще добавить элиминацию ложных тезисов на основании практики. Без этого получится гегелевская спекуляция.
Но для прояснения вопроса надо курить "Науку логики" |
|
|