Сергей Борчиков wrote:В формальной логике нет никакого закона разрешенного противоречия. А напротив, есть закон запрещенного противоречия.
В диалектической логике есть закон разрешенного противоречия, но разрешенного диалектического противоречия. Но нет закона разрешенного формальнологического противоречия. Это было бы равносильно разрешению ошибки (см. В.И. Моисеев).
1. Это важное замечание, выражающее суть проблемы. Если в диалектической логике нет Закона разрешенного формально-логического противоречия, то тогда формальная логика и диалектическая логика никак не пересекаются по вопросу противоречия высказываний.
В этом случае, нет вообще оснований что-либо говорить о КЛД (критерии логической демаркации). Но проблема как раз и заключается в том, что исходно и формальное и диалектическое противоречие выражаются одной и той же формально-логической структурой:
А и неА (1)
Отсюда возникает необходимость в логической демаркации. Другими словами, требуется так интерпретировать формулу (1), Чтобы по содержанию она строго выполняла формально-логические условия признания отношения высказываний противоречием, но по форме была бы непротиворечивой.
Ясно, что структура (1) статична. Но статичность (покой) есть момент движения. В данном случае, момент логического движения: диалектическая логика подтверждает статику (1), хотя лишь вместе с динамикой перехода к разрешению противоречия.
Поэтому в левой части сохраняется (1), а в правой части формулы (2) дается аналитическое решение противоречия (разведение противоположностей в разные стороны):
А и неА ~> А↓к1 и неА↓к2, (2)
где [~>] - оператор разрешения противоречия.
Сергей Борчиков wrote:Запись (А↓к1 и неА↓к2), действительно, не выражает формально-логическое противоречие, но выражает диалектичеcкое и даже ПМО- и ПФО-противоречие.
Нет. Условия признания знакового выражения противоречием одни и те же как для формально-логического, так и для диалектико-логического противоречия.
Есть известная политическая формула: "Чтобы объединиться, прежде нужно размежеваться". После аналитического решения проблемы (размежевания) можно перейти к синтетическому решению. И тогда уже будет верной Ваша формула:
А↓к1 и неА↓к2 ~> С↑Е
(3)
Здесь левая часть - это промежуточное (аналитическое) разрешение противоречия. Правая часть - синтетический результат.
2. Обращает на себя внимание также следующее. Имеем две логические системы Lb (логика Борчикова) и Lg (логика Грачева) - Вашу и мою. В рамках Вашей системы в Диалектической логике:
"нет закона разрешенного формальнологического противоречия"
(4).
Но и, вместе с тем,
"В формальной логике нет никакого [формальнологического] закона разрешенного противоречия"
(5).
В аксиоматической системе Lg приняты аксиомы, противоположные
(4) и
(5). А именно,
Есть две группы формально-логических законов:
Группа 1.
- Закон запрещенного противоречия.
- Закон абстрактного тождества.
- Закон исключенного третьего (для двузначной логики).
Группа 2.
- Закон разрешенного противоречия.
- Закон конкретного тождества.
- Закон включенного третьего.
Традиционная формальная логика включает только первую группу формально-логических законов. А Элементарная диалектическая логика включает обе группы. Только, в этом случае перед ЭДЛ встает проблема согласования явно противоречащих друг другу законов запрещенного и разрешенного противоречия. Что совсем не означает равносильности
"позволению ошибки".
3. Для перехода от Lb к Lg и от Lg к Lb, необходимо выполнить следующие процедуры:
1) интерпретация - первоначальное приписывание тексту смысла и значения;
2) реинтерпретация - уточнение и изменение смысла и значения;
3) конвергенция - объединение, слияние прежде разрозненных смыслов и значений;
4) дивергенция - разъединение прежде единого смысла на определенные подсмыслы;
5) конверсия - качественное видоизменение смысла и значения, их радикальное преобразование и т.д.
Например, имеем:
Сергей Борчиков wrote:если к1 = к2 = к, то коэффициент "к" вместе с проектором можно вынести за скобки:
(А↓к1 и неА↓к2) = (А и неА)↓к.
Моя интерпретация Вашего рассуждения следующая. В рамках Элементарной диалектической логики ТФЛ (традиционная формальная логика) рассматривается как бессубъектная. Символам к1, к2, к3 ...кn приписываю значение субъектности. Обычно говорят, в ТФЛ-смысле все люди мыслят одинаково. Поэтому субъект рассуждения можно вынести за скобки:
(А и неА)↓к
(6)
где к - субъект рассуждений.
И дальше можно даже вообще абстрагироваться от условия "к". При к=0 получим,
(А↓к1 и неА↓к2) = (А и неА)↓к = А и неА (7)
Таким образом, перейдем от субъектной диалектической логики к бессубъектной формальной логике. Условие субъектности - это единственное условие, которое позволяет противоречие, отнесенное к разным субъектам, признать остающимся в статусе противоречия.
Поскольку формальная логика индифферентна к субъекту рассуждений, то согласование Законов запрещенного и разрешенного противоречия больше не вызывает каких-либо затруднений.
--
МГ.
)
