Грачеву: Ещё раз попробую пояснить Вам, что гегелевское понимание логики заключается в банальном отождествлении (совпадении) её с диалектикой , т.е. с предельно обобщенным процессом познания, представляющим собой возникновение и разрешение объектно-субъектной противоречивости. С этим же совпадает и так называемая "спекулятивная философия". Причем все это отражено в моей записи, а вот почему Вы этого не видите, разбирайтесь сами.
Полагаю, терминологическое различение диалектики и диалектической логики надо проводить по нескольким направлениям:
А. Диалектическая логика. У диалектической логики фиксирую три лексических значения.
1. (философское ) Логика с большой буквы . В этом смысле ДЛ охватывает собой диалектическую онтологию, диалектическую гносеологию и диалектическую методологи.
2. Формальная диалектическая логика. Это то, что предлагает В.И. Моисеев (логика переменной несовместимости ), А.А. Ивин (коннексивная диалектическая логика), Решер (см. здесь ) и предложение ("в полном соответствии с матапаратом логики предикатов").
3. Элементарная диалектическая логика - наука о правильных рассуждения с включенным продуктивным противоречием как источником развития мысли. Это мой вариант.
4. Диалектическая логика как методология . (требования ДЛ сформулированы у Ленина в последней его брошюре)
Б. Диалектика.
1. Диалектика как античное искусство правильных диалогических рассуждений.
2. Марксистская диалектика - учение о наиболее общих законах развития в природе обществе и мышлении.
3. Формальная диалектика широких западных исследований.
4. Диалектика как методология.
В. Формальная логика.
1. Аристотелевская силлогистика.
2. Формальная логика как устоявшаяся учебная дисциплина. Это и есть ТФЛ (традиционная формальная логика).
3. Математическая формальная логика:
а) Классическая формальная логика высказываний.
б) Классическая формальная логика предикатов.
4. Неклассическая формальная логика.
а) логика вопросов;
б) логика оценок;
в) логика императивов;
г) логика времени;
д) паранепротиворечивая логика.
5. Формальная логика как метод.
Элементарная диалектическая логика пересекается с А, Б и В . Наука и метод друг другу не альтернатива. Когда наука или учение усвоены и освоены, то они становятся методом. Или органоном, как случилось с аналитикой Аристотеля.
--