Юрий Курносов - Философия аналитики

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

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

Становление диалектической логики как науки продолжалось в разных странах и в конце XIX в., а так же на протяжении всего XX в. В России разработку отдельных проблем диалектической логики, её соотношения с логикой формальной осуществили Г. Плеханов и В. Ленин.

В последние десятилетия в нашей стране предпринято немало более или менее плодотворных попыток систематического изложения диалектической логики. Разработки идут в двух магистральных направлениях. С одной стороны, это раскрытие закономерностей отражения в человеческом мышлении развивающейся действительности, её объективных противоречий, а с другой – раскрытие закономерностей развития самого мышления, его собственной диалектики.

Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был заменить аристотелевский «Органон» в качестве орудия познания. Критически оценивая значимость форм выводов, в которых используется уже готовое знание, Ф. Бэкон стремился разработать приёмы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершенный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием «Индуктивные методы установления причинных связей».

Вопросами логики занимались и внесли определенный вклад в её развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц, И. Кант и другие. Примечательно, что Г. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логических связей, что привело к созданию специального раздела логики – алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями Г. Фреге, Б. Рассела – А. Уайтхэда сложился особый метод исследования логических отношений и форм выводов – метод формализации . Суть этого метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые возможности этой науки и положило начало её интенсивному развитию под названием «символическая логика».