Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики

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