Формальная и диалектическая логика

Обращаясь к истории, мы находим, что уже Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики — проблему отражения реальных противоречий в понятиях, проблему соотношения отдельного и общего, вещи и понятия о ней и т.д. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница. Однако как относительно самостоятельная логическая наука, качественно отличная от формальной логики своим подходом к мышлению, диалектическая логика стала оформляться лишь в конце XVIII — начале XIX в. И это также связано прежде всего с прогрессом наук. В их развитии все более четко обозначивался новый этап: из наук о сложившихся, «готовых» предметах они все более превращались в науки о процессах, о происхождении и развитии этих предметов, а также о той связи, которая объединяла их в одно великое целое.

Господствовавший до этого метафизический метод исследования и мышления, связанный с изолированным рассмотрением предметов и явлений действительности, вне их связи, изменения и развития, вступал во все более глубокое противоречие с достижениями наук. Велением времени становился новый, более высокий, диалектический метод, основанный на принципах всеобщей связи, изменения и развития. Этому способствовало также все более динамичное развитие общества, все рельефнее демонстрировавшее взаимосвязь и взаимодействие всех сторон общественной жизни, реальные противоречия между ними (вспомним в этой связи надвигавшуюся Великую французскую буржуазную революцию 1789 г.).

В таких условиях во весь рост вставал вопрос о закономерностях диалектического мышления. Первым, кто попытался сознательно ввести диалектику в логику, был немецкий философ И. Кант (1724-1804). Обозревая многовековую историю развития логики, начиная с Аристотеля, он прежде всего подвел итоги этого развития. В отличие от некоторых своих предшественников Кант не отрицал ее достижений. Наоборот, считал философ, логика добилась известных успехов, и этими успехами она обязана «определенности своих границ», а сами ее границы обусловлены тем, что она есть «наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления...».

Но в этом несомненном достоинстве логики Кант обнаружил и ее основной недостаток — ограниченные возможности как средства действительного познания и проверки его результатов. Поэтому наряду с «общей логикой», которую Кант впервые в ее истории назвал также «формальной логикой» (и это название закрепилось за ней вплоть до настоящего времени), необходима специальная, или «трансцендентальная» логика (от лат. transcendens — выходящий за пределы чего-либо, в данном случае за пределы опыта). Главную задачу этой логики он усматривал в исследованиях таких, по его мнению, действительно основных форм мышления, как категории, т. е. предельно общие понятия. «Мы не можем мыслить ни одного предмета иначе как с помощью категорий...». Они служат условием всякого опыта, поэтому якобы носят априорный, доопытный характер. Таковы категории пространства и времени, количества и качества, причины и следствия, необходимости и случайности и другие диалектические категории, применение которых-де не подчиняется требованиям законов тождества и противоречия.

Кант впервые обнажил действительно противоречивый, глубоко диалектический характер человеческого мышления. В этой связи он стремился выработать соответствующие рекомендации ученым. Заложив, таким образом, принципы новой логики, центральной проблемой которой становилась проблема диалектического противоречия, Кант, однако, не дал ее систематического изложения. Он не раскрыл также ее действительного соотношения с формальной логикой, более того, попытался противопоставить одну другой.

Грандиозную попытку выработать целостную систему новой, диалектической логики предпринял другой немецкий философ — Г. Гегель (1770-1831). В своем основополагающем труде «Наука логики» он прежде всего раскрыл фундаментальное противоречие между наличными логическими теориями и действительной практикой мышления, которое к тому времени достигло значительных высот. Средством разрешения этого противоречия и стало создание им — правда, в своеобразной, религиозно-мистической форме — системы новой логики. В фокусе ее — диалектика мышления во всей его сложности и противоречивости. Гегель заново подверг исследованию природу мышления, его законы и формы. В этой связи он пришел к выводу, что «диалектика составляет природу самого мышления, что в качестве рассудка оно должно впадать в отрицание самого себя, в противоречие». Свою задачу мыслитель видел в том, чтобы найти способ разрешения этих противоречий. Гегель подверг жесточайшей критике прежнюю, обычную логику за ее связь с метафизическим методом познания. Но в этой своей критике зашел так далеко, что отверг ее принципы, основанные на законе тождества и законе противоречия. Извратив действительное соотношение формальной логики и логики диалектической, он тем самым нанес первой тяжелый удар, существенно затормозил ее последующее развитие.

Проблемы диалектической логики, ее соотношения с формальной нашли дальнейшую конкретизацию и развитие в трудах философов и ученых Германии К. Маркса (1818-1883) и Ф. Энгельса (1820-1895). Используя богатейший мыслительный материал, накопленный философией, естественными и общественными науками, они создали качественно новую, диалектико-материалистическую систему, которая нашла воплощение в таких произведениях, как «Капитал» К. Маркса, «Анти-Дюринг» и «Диалектика природы» Ф. Энгельса и др. С этих общефилософских позиций Маркс и Энгельс и оценивали специальное «учение о мышлении и его законах» — логику и диалектику. Они не отрицали значения формальной логики, не считали ее «бессмыслицей», но подчеркивали ее исторический характер. Так, Энгельс отмечал, что теоретическое мышление каждой эпохи — это исторический продукт, принимающий в различные времена очень различные формы и вместе с тем очень различное содержание. «Следовательно, наука о мышлении, как и всякая другая наука, есть историческая наука, наука об историческом развитии человеческого мышления».

Теория законов мышления, по Энгельсу, отнюдь не есть какая-то раз и навсегда установленная истина, как это связывает со словом «логика» обывательская мысль: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров».

Что касается диалектической логики, то уже Аристотель «исследовал существеннейшие формы диалектического мышления». Говоря о новейшей немецкой философии, которая нашла свое завершение в Гегеле, Энгельс считал ее «величайшей заслугой» возвращение к диалектике как высшей форме мышления. В то же время Маркс и Энгельс показали глубокое качественное отличие своей диалектики от гегелевской: гегелевская была идеалистической, а марксистская — материалистической, рассматривающей мышление, его формы и законы как отражение внешнего мира.

Раскрывая действительное соотношение между формальной и диалектической логикой, Энгельс показал, что они не исключают друг друга. Формальная логика необходима, но недостаточна. Поэтому необходима также диалектическая логика. Возражая против того, чтобы считать формальную логику и тем более диалектику инструментом простого доказывания, он подчеркивал: «Даже формальная логика представляет собой прежде всего метод для отыскания новых результатов, для перехода от известного к неизвестному; и то же самое, только в гораздо более высоком смысле, представляет собой диалектика, которая к тому же, прорывая узкий горизонт формальной логики, содержит в себе зародыш более широкого мировоззрения». Энгельс сравнивал соотношение формальной и диалектической логики с соотношением элементарной и высшей математики — математики постоянных величин и математики переменных величин.

Становление диалектической логики как науки продолжалось в разных странах и в конце XIX в., а также на протяжении всего XX в.

В России разработку отдельных проблем диалектической логики, ее соотношения с логикой формальной осуществили Г. Плеханов (1856-1918) и В. Ленин (1870-1924). Так, Плеханов, выступая против тех, кто отвергал диалектическую логику, следующим образом раскрывал ее соотношение с формальной логикой: «Как покой есть частный случай движения, так и мышление по правилам формальной логики (согласно «основным законам» мысли) есть частный случай диалектического мышления». Диалектика, считал он, «не отменяет формальной логики, а только лишает ее законы приписываемого им метафизиками абсолютного значения ».

Критика приведенных выше определений - по ссылке http://philosophystorm.org/k-voprosu-o-raznitse-mezhdu-formalnoi-i-dialekticheskoi-logikoi#comments.

Оттуда же:

"Терминологическое различение диалектики, полагаю, надо проводить по нескольким направлениям:

А. Диалектическая логика. У диалектической логики фиксирую три лексических значения.

1. (философское) Логика с большой буквы. В этом смысле ДЛ охватывает собой:
   • диалектическую онтологию,
   • диалектическую гносеологию и
   • диалектическую методологию.
2. Формальная диалектическая логика. Это то, что предлагает В.И. Моисеев (логика переменной несовместимости), А.А. Ивин (коннексивная диалектическая логика), Решер (см. здесь) и Ваше предложение ("в полном соответствии с матапаратом логики предикатов").
3. Элементарная диалектическая логика - наука о правильных рассуждения с включенным продуктивным противоречием как источником развития мысли. Это мой вариант (ТФЛ + диалектика = ЭДЛ).
4. Диалектическая логика как методология.

Б. Диалектика.

1. Диалектика как античное искусство правильных диалогических рассуждений.
2. Марксистская диалектика - учение о наиболее общих законах развития в природе обществе и мышлении.
3. Формальная диалектика широких западных исследований.
4. Диалектика как методология.

В. Формальная логика.

1. Аристотелевская силлогистика.
2. Формальная логика как устоявшаяся учебная дисциплина. Это и есть ТФЛ (традиционная формальная логика).
3. Математическая формальная логика:
   • Классическая формальная логика высказываний.
   • Классическая формальная логика предикатов.
4. Неклассическая формальная логика:
   • логика вопросов;
   • логика оценок;
   • логика императивов;
   • логика времени;
   • паранепротиворечивая логика.
5. Формальная логика как метод.

Дано.

Г. Определение ЭДЛ.

Элементарная диалектическая логика (ЭДЛ) - теоретическая модель естественных рассуждений с включенным противоречием высказываний, выражающим ту или иную насущную проблему и подлежащим разрешению по правилам диалектики с использованием суждений, вопросов, оценок и императивов.

Элементарная диалектическая логика пересекается с А, Б и В. Наука и метод друг другу не альтернатива. Когда наука или учение усвоены и освоены, то они становятся методом. Или органоном, как последователи назвали учение Аристотеля".