Научные тексты как эмпирический материал изучения строения знаний и процессов мысли
    В предшествующей лекции в связи с некоторыми сомнениями, которые я высказывал по поводу изучаемого предмета, было все же много положений, в которых нечто утверждалось и подчас довольно определенно. Начиная с сегодняшней лекции положение резко меняется. Будет мало определенных и резких утверждений. Моя задача будет состоять в том, чтобы, во-первых, ставить перед вами проблемы, а во-вторых, излагать историю некоторых подходов к решению этих проблем.
    Вместе с тем я буду вам, по сути дела, излагать историю тех попыток анализа процессов мышления, которые мы предпринимаем с 1952 года. Вспомним прежде всего основной конечный результат, который мы получили на прошлой лекции. Мы отделили процессы вывода от процессов рассуждения. При этом подчеркивалось, что предметом изучения традиционной формальной логики и дальше математической логики были прежде всего процессы вывода. А если мы хотим ответить на вопрос, в чем, к примеру, ошибся Галилей, решая задачу о соударении шаров, и почему, напротив, Гюйгенс сумел решить эту проблему, то нам придется, решая этот вопрос, иметь дело не с выводом, какой исследовали бы в классической формальной логике, а с другим образованием - рассуждением.
    При этом перед нами будет всегда вставать двойная задача. Если бы у нас были какие-то средства для анализа процессов рассуждения, то мы прикладывали бы их как некоторые трафареты к тем или иным процессам рассуждения - к Галилеевым или Гюйгенсовым. И мы получали бы с помощью этих средств некоторое изображение заданных нам единичных рассуждений. Но все это можно было бы делать, если бы у нас такие средства были. Но у нас таких средств нет. И поэтому работа наша будет заключаться в том, что мы должны будем каким-то образом вырабатывать эти средства для анализа рассуждений, с помощью которых решаются различные научные проблемы.
    Что же мы имеем, приступая к этой проблеме? С одной стороны, мы имеем некоторые тексты. Будем считать, что эти тексты даны нам в любом количестве и в любом наборе и что мы можем их произвольно группировать. Что я здесь имею в виду? В частности, что мы можем взять какую-то проблему, например описание процесса соударения шаров, и смотреть, как к этому подошел Галилей. И выписать его текст, касающийся этого вопроса. Потом мы можем выписать текст Гюйгенса. Потом мы можем выбрать текст Декарта, если он нам понадобится, и мы вставим его между ними. Затем мы возьмем текст Бернулли. А дальше какой-то текст Лагранжа и т.д.
    Если нас заинтересует проблема метода дифференциального и интегрального исчисления, то мы опять можем построить такой набор текстов, начиная с Евдокса, дальше, скажем, Евклид, потом Архимед, потом Кавальери, Кеплер и т.д. И все это будут наборы текстов, относящихся фактически к одной и той же проблеме. Мы будем все эти тексты группировать и получим возможность их сопоставлять. Но на этом, фактически, заканчивается все, что мы имеем. И этого очень мало для того, чтобы двинуться дальше.
    Нужно еще ввести сюда целый ряд образований, и без этого никакая исследовательская работа невозможна. И в зависимости от того, что ввести и как ввести, мы будем строить то или иное научное исследование. ............