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