К ВОПРОСУ О ЛОГИЧЕСКОМ СТАТУСЕ ДИАЛЕКТИЧЕСКОЙ ЛОГИКИ

В научном сообществе не найдётся интеллектуала, кто бы не слышал о диалектической логике. Но логический статус ДЛ сомнителен, не прижился.

Удивительно, но оппоненты и идеологические противники воспринимают образ ДЛ ровно так же, как и диалектики-диаматчики (по существу, ДЛ философская метафора: она и гносеология, и онтология, и методология - это и есть логика по их мнению). Профессиональные логики даже не делают попыток увидеть в диалектической логике ни единого намёка на логику.

Как возможна ДЛ?   При том, что уже само словосочетание "диалектическая логика" противоречиво (симулякр).

Если логика, то нет места противоречию в рассуждении. А если диалектическая,  то в структуре рассуждения противоречие служит источником развития мысли. Именно это противоречие ставит в тупик формальных логиков, неприемлемо для них. Что здесь не так?

Противоречие как принцип диалектики остается в силе. От него никуда не деться. А вот принцип непротиворечия как неустранимый компонент логики придётся подкорректировать.

И совсем не обязательно от него бесповоротно отказываться. Достаточно установить рамки, пределы его действия.

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

Что же в диалектической логике собственно логического?

В элементарной диалектической логике сохраняются все компоненты рассудочной формальной логики, что дает основание говорить о рассудочности ЭДЛ.

Имеем,

Элементы Рассудочной диалектической логики:

1. Ключевые идеи РДЛ.
2. Противоречие.
3. Высказывание.
     а. суждение;
     б. вопрос;
     в. оценка;
     г. императив.

4. Понятие.
5. Умозаключение.
6. Субъект.
7. Диалог -логическая форма совместного рассуждения.
8. Истинность (критерий).
9. Аргументация.

* * *

1. Ключевые идеи РДЛ (перечислил здесь).

2. Изложение элементов диалектической логики Топорков начинает с "противоречия".

Противоречие в логике (и в формальной, и в диалектической) - это два взаимно отрицающих суждения.

Разница в способе разрешения противоречия. В формальной логике отбрасывается  заведомо ложное суждение. А в диалектической нет заведомо ложного суждения противоречие в ней - это проблема, которая разрешается глубоко эшелонированной аргументацией тезиса и антитезиса  "за" и "против", каждого из них.

3. Высказывание. Высказывание - общее имя четырех основных форм мысли: суждений, вопросов, оценок, императивов.

3.а. Суждение. Суждение — мысль, выраженная в повествовательном предложении и содержащая утверждение о наличии в действительности некоторого положения дел. Суждение (со стороны структуры) — высказывание, имеющее субъект-предикатную структуру и принимающее истинностные значения "ложно" и "истинно" в двузначной логике. Логические значения неистинностных высказываний другого сорта. Истинность суждения. Суждение истинно тогда и только тогда, когда описываемое в нем положение дел имеет место в действительности, в противном случае оно ложно (классическая теория истинности). Истинность суждения (конвенциональная и объективная). Критерий истинности суждения. Критерий истинности (общий) — общественно-историческая практика, опыт, научный эксперимент. Локальный критерий истинности. Критика — локальный критерий истинности; выдерживает или нет испытание критикой аргумент, довод, суждение.

3.б. Вопрос. Вопрос — мысль, выраженная в вопросительном предложении и отражающая неопределенность информации относительно предмета или действия; нацеленная на на поиск выхода из этой неопределенности (проблемы). Вопрос — высказывание, в структуре которого попеременно неопределенными становятся логический субъект, предикат, связка, само высказывание, а также, принимающее логическое значение "корректности" постановки вопроса. Кратко: Вопрос — мысль, содержащая запрос информации (см. Хинтикка. Вопрос о вопросах/ Философия и логика. - М. 1974. - С.303).

3.в. Оценка. Оценка — форма мысли, отображающая рефлексивное отношение субъекта рассуждений к своим и чужим высказываниям, а также, к предметам (вещам, объектам, процессам) внешнего и внутреннего мира. Кратко: Оценка — мысль о соответствии высказывания фактическому положению дел.

3.г. Императив. Императив (команда, приказ, требование, просьба, мольба, совет) — форма мысли, содержание которой состоит в волевой интенции той или иной интенсивности, выраженной в побудительном предложении и направленной на себя или внешнее окружение.  

4. Понятие — выражение языка в виде слова/системы предложений, обозначающее отдельный предмет или совокупность (класс, множество) сходных между собой предметов.

5. Умозаключение— процедура обоснования некоторого высказывания путем выведения его из других высказываний.

6. Субъект. Логическая система ЭДЛ - субъектная. Субъектность заложена в ней в явном виде. Чего не скажешь о традиционной формальной логике. Хотя логика, будучи знаковой системой содержит в себе субъект в неявном виде в качестве интерпретатора знака.

Ситуация употребления знака включает в себя три компоненты (по Бочарову и Маркину):

1) сам знак,
2) предмет, репрезентируемый знаком,
3) интерпретатора, использующего знак" (Бочаров В.А., Маркин В.И. Основы логики. — М., 2005. — С.15)

Интерпретатор.

'Интерпретатор' — это субъект рассуждений, который в традиционной формальной логике содержится имплицитно (скрытно в качестве интерпретатора знака), а в диалектической логике задается явно в структуре высказывания:

       А:    S (s - p),                 (1)

где А - суждение;
S (прописное) - субъект рассуждений;
(s - p) - пропозиция. s(строчное) - логический субъект;
р - предикат;
[-] - связка;
[:] - поясняющее двоеточие.

7. Диалог. Формула диалога:

А:    Si,j> (s - p),                 (2)

i,j - нижняя индексация субъектов высказывания (рассуждения);

[>] - знак квотирования (оператор генерации высказывания). 

8. Истинность. Истинность - критерий (свойство), по которому Аристотель решает относить/не относить высказывания к сфере логики. Он пишет, что "мольба" речь, но она не истинная и не ложная:

"Но не всякая речь есть высказывающая речь, а лишь та, в которой содержится истинность или ложность чего-либо; мольба, например, есть речь, но она не истинна и не ложна. Итак, прочие виды речи оставлены здесь без внимания" (Аристотель. Об истолковании // Сочинения в четырёх томах. Том 2. - М., 1978. - C. 95).

В современной математической логике критерий Аристотеля остается в силе:

"Предложения, выражающие определенные суждения, называются высказываниями. Они характеризуются тем, что могут быть истинными и ложными, и этим отличаются, например, от повелительных и вопросительных предложений" (В.А.Успенский, Н.К.Верещагин, В.Е.Плиско. Вводный курс математической логики. - М., 2002. - С.19).

9. Аргументация.

Аргументация (от лат. argumentatio - приведение аргументов) — это процедура приведения совокупности логических доводов (аргументов) или иных данных (фактов) для обоснования какого-либо выдвинутого ранее положения.

"Аргументация — это интеллектуальная познавательная деятельность, осуществляемая когнитивными агентами на основе естественного языка в форме речевого коммуникативного взаимодействия (диалога) с целью проверки аргументативной состоятельности позиций сторон", (с) Лисанюк.

В Элементарной диалектической логике аргументация - это расширение, аналог понятия "доказательство" в формальной логике.

Аргументация (ЭДЛ) — это теория межсубъектного (интерактивного) логического вывода с использованием как истинностных утверждений и отрицаний, так и не истинностных форм вопросов, оценок и императивов в совместном рассуждении.

Аргумент.

Аргумент — пара, состоящая из множества посылок и заключения. Аргумент имеет структуру:

А:      p/X,                  (8)

где p заключение, а X множество посылок.

--