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