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

Обсуждая с вами этот вопрос, мы сможем рассмотреть лишь самые общие вещи. Но в дальнейшем эта тема потребует специального анализа, в частности, мы должны будем рассмотреть две работы А.А.Зиновьева, и это, по-видимому, самое интересное из того, что сейчас существует по теории вывода. Это его книжка, защищенная в качестве докторской диссертации, и его статья "Логическое и физическое следование", опубликованная в книге "Проблемы логики научного познания". Тем из вас, кто заинтересуется этим кругом вопросов, я рекомендую прочитать эти книги, но в обратном порядке.

Я не знаю, когда именно появляется различение рассуждений и выводов. Известно только, что уже у Декарта и у картезианцев – Арно, Николя и др. это различение играло важную роль. Арно и Николь, если судить по работе Шольца, сделали даже еще один шаг – они попытались различить рассуждения и процесс мышления. Но я знаю обо всем этом только понаслышке и надеюсь когда-нибудь восполнить этот пробел. Известно также, что с понятием рассуждения работал Кондильяк. В частности, в своей книге "Логика" он пытался выяснить роль структурных изображений, например чертежей, в процессе рассуждения. Но я точно так же не знаю, что ему здесь удалось сделать.

Вообще, этот вопрос требует детального и углубленного анализа; к тому же он очень интересен. Но это дело будущего. А я, оставив в стороне историю вопроса, попробую ввести вам само понятие вывода, опираясь на простейшие, общеизвестные примеры.