Сергей Борчиков wrote: Противоречие можно выразить даже словами, например,«день и ночь – противоречие», «противоречие – единство противоположностей» и т.п.
Верно, противоречие можно выразить даже словами:
А. «День и ночь – противоречие»
неА. Неверно, что «День и ночь – противоречие»
Во-первых, в логике говорят о противоречии понятий и противоречии суждений. Когда В.И.Моисеев рассуждает о критерии логической демаркации формально-логических и диалектических противоречий, выражаемых формулой (А и неА), то несомненно речь идет о противоречии суждений.
Во-вторых, если говорить о противоречии понятий, то Ваш пример про день и ночь неудачен. В самом деле, несовместимые понятия могут находиться либо в отношении противоположности, либо - противоречия. Понятия находятся в отношении противоположности в том случае, если они обозначают какие-то взаимоисключающие признаки, крайние состояния чего-либо, между которыми, однако, всегда есть некий средний, переходный вариант.
Соответственно, при регистрации противоречия понятий такого переходного варианта нет. В наборе времени суток (утро, день, вечер, ночь) между днем и ночью есть переходные состояния освещения поверхности данного участка Земли: утро, вечер.
Таким образом, день и ночь - это противоположности, а не противоречие.
Думаю, что и абстрактные буковки А и неА тоже как-то выражают противоречие. Но речь идет всё же не о "как-то", а о поиске корректной научной формулы ДП, поэтому ею может быть только такая, которая объединит исходные противоположности и их разрешение.
Исходные противоположности - это формальная логика и диалектическая логика. На краю двух логик находится Закон противоречия,
А и неА, (1)
который как раз и объединяет формальную и диалектическую логику. Не случайно потребовался КЛД для различения формальных и диалектических противоречий.
Чтобы служить корректной научной формулой, формула одновременно должна выражать и формально-логическое противоречие (ФП) и диалектико-логическое противоречие (ДП). Более элементарного представления как формального, так и диалектического противоречия, чем формула (1) - нет. Шаг влево, шаг вправо по краю - и взаимосвязь формальной и диалектической логики обрывается, утрачивается.
Проблема состоит в том, на что обоснованно указывают формальные логики в своей претензии к диалектикам, - это то, что позволение противоречить в формально-логическом смысле свидетельствует о путанице и неряшливости мышления.
Старые попытки (в различных вариациях) развести формальную логику и диалектическую логику в разные углы не могут быть признаны удовлетворительными. Мол предметы у двух логик разные: диалектическая логика есть наука о противоречиях, описываемых с помощью философских категорий, а формальная логика ведет речь о противоречиях как логических ошибках.
Поэтому, ключевая задача диалектиков, если они хотят снять обвинения в путанице мышления, заключается в непротиворечивом представлении формально-логического противоречия.
В.И. Моисеев дал же интуицию: если в формуле противоречия нет разрешения, то невозможно определить, формальнологическое оно или диалектическое, ошибочное или претензия на истину. Таковой может быть только формула, которая в левой части (в любом виде) содержала бы А и не-А, а в правой (тоже в любом виде) – их синтез С.
Вообще-то, я привел опровергающий довод. Имеем,
В Вашей формулировке,
А↓к1 и неА↓к2 ~> С↑Е (3)
В моей интерпретации, левая часть представляет собой аналитическое решение противоречия.
А↓к1 и неА↓к2 (3.1)
То есть, (3.1) и (2) - это не само противоречие, а уже его разрешение: "непротиворечивое суждение" (ВИМ).
Ограничивающие условия разные: С1 и С2 (или к1, к2). Поэтому ни формула (2), ни формула (3.1) противоречие не выражают.
Вид формулы (3.1) уже не содержит собственно противоречие (А и не-А), поскольку отношение взято в различных смыслах: разные ограничивающие условия к1 и к 2. На этот опровергающий довод Вы не ответили.
--
МГ.