6. Традиционная и современная логика

История логики охватывает около двух с половиной тысячелетий. «Старше» формальной логики, пожалуй, только философия и математика.

В длинной и богатой событиями истории развития логики отчётливо выделяются два основных этапа. Первый – от древнегреческой логики до возникновения во второй половине прошлого века современной логики. Второй – с этого времени до наших дней.

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

Кант не заметил, что ещё с XVII в. стали назревать предпосылки для научной революции в логике. Именно в это время получила ясное выражение идея представить доказательство как вычисление, подобное вычислению в математике.

Эта идея связана главным образом с именем немецкого философа и математика Г.Лейбница (1646-1716). По Лейбницу, вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими, не допускающими разночтения правилами, и его нельзя оспорить. Лейбниц мечтал о времени, когда умозаключение будет преобразовано в вычисление. Когда это случится, споры, обычные между философами, станут так же невозможны, как невозможны они между вычислителями. Вместо спора они возьмут в руки перья и скажут: «Будем вычислять».

Идеи Лейбница не оказали, однако, заметного влияния на его современников. Энергичное развитие логики началось позже, в XIX в.

Немецкий математик и логик Г.Фреге (1848-1925) в своих работах стал применять формальную логику для исследования оснований математики. Фреге был убеждён, что «арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никакого обоснования». Пытаясь свести математику к логике, он реконструировал последнюю. Логическая теория Фреге – провозвестник всех нынешних теорий правильного рассуждения.