§ 4. Роль формальной логики в познании. Понятие о диалектической логике

Большой вклад в изучение мышления, теоретического познания вносит формальная логика — наука, исследующая основные формы мышления: понятие, суждение, умозаключение, доказательство. Основы формальной логики заложил в IV в. до н.э. Аристотель. Аристотелевская логика в Новое время была дополнена теорией индуктивных (правдоподобных) умозаключений. С середины XIX в. параллельно с аристотелевской (традиционной) формальной логикой начала формироваться символическая, или современная формальная логика. Из последней, в свою очередь, выделилась математическая логика как самостоятельная математическая дисциплина.

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

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

Логика способствует математизации конкретно-научного познания.

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

Наряду с формальной логикой, исследующей только формальные закономерности мышления, в философии получило определенное развитие направление, именуемое диалектической логикой, которое не следует смешивать с учением о диалектике как таковой. Это направление, начало систематическому развитию которого положил Гегель, пытается исследовать мышление на основе законов и категорий диалектики, с которыми можно познакомиться в разделе «Онтология» настоящего пособия.

Как пишет Б.В. Бирюков, «логика возникла тогда, когда в речевой коммуникации был усмотрен аспект, относящийся исключительно к его мыслительной форме» (3, с. 10–11). Надо полагать, что элементы диалектической логики также появляются там и тогда, где и когда начинает усматриваться аспект, относящийся к диалектическому аспекту мыслительного процесса. Это связано, прежде всего, с учетом диалектических особенностей предметного содержания мышления и относится в основном к самим предметам как таковым. Диалектическую логику поэтому иногда называют «содержательной» логикой (в отличие от формальной).

Формальная логика находит свой предмет во внешнем формальном выражении мышления, где конкретное содержание предмета учитывается минимально и в самом общем виде. Для конституирования диалектической логики в самостоятельную науку должны быть найдены особые — диалектические формы мышления, связанные с содержанием объекта, но не сводимые к нему, и имеющие место только в мышлении. Кроме того, если подобные формы мышления существуют, то они должны как-то проявляться на уровне внешнего, чувственного выражения, прежде всего в языке. В языке должна быть проведена некая линия, разграничивающая предмет формальной логики, с одной стороны, и предмет диалектической логики — с другой.