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

Но из сказанного следует, что созданная нами выше формулировка задачи логического исследования – ответить на вопрос, чем рассуждение Галилея отличается от рассуждения Гюйгенса – по меньшей мере неточна. Более правильно здесь говорить о том, что нам нужно указать это различие, а для этого построить изображения рассуждений Галилея и Гюйгенса, а для этого, в свою очередь, построить систему общих понятий о возможных рассуждениях и средства их анализа. И именно эта последняя задача является задачей теоретического исследования в логике. Итак, мы должны сформировать систему средств, которая позволила бы нам членить всевозможные рассуждения так, чтобы в конечном счете мы могли отвечать на вопрос, чем одни из них отличаются от других.

Но откуда, собственно, мы можем взять эти общие понятия или средства? Очевидно, мы ни от кого не сможем получить их. Мы должны их выработать. И для этого, по-видимому, есть только один путь: мы должны, с одной стороны, анализировать существующие единичные рассуждения, а с другой – изменять уже существующие средства или общие понятия так, чтобы они дали нам возможность это сделать. И это исключительно сложная работа.

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

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

Всегда значительно лучше прикладывать в качестве готовых трафаретов понятия, полученные "от дяди", даже если они не очень хорошо прикладываются, чем самому вырабатывать трафареты, да еще с условием, чтобы они были лучше, чем прежние. Ведь в последнем случае мы должны анализировать реально данные единичные тексты, не имея адекватных средств, и анализировать совершенно особым образом – так, чтобы в ходе анализа выработать эти средства. Иначе говоря, мы должны так проанализировать заданные нам тексты, чтобы в результате этого получить общие понятия, которые могли бы использоваться в качестве средств для анализа других научных рассуждений.

Если вы поймете эту ситуацию, то это значит, что вы поймете ситуацию, в которую попадает всякий настоящий ученый.

Кстати, понять специфику этой работы – в этом тоже важнейшая задача нашего семинара, работы каждого из нас.

— Но ведь эти средства, которые мы вырабатываем, тоже не будут всеобщими, они будут применимы лишь для анализа рассуждений, подобных тем, которые мы анализировали. Как быть с этим?

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

— Каким образом, анализируя какой-либо объект с помощью определенных средств, мы можем выяснить, производили ли мы анализ с помощью адекватных средств и получили правильный результат или, наоборот, наши средства были неадекватными и полученный результат неверен?

Единственным критерием подобных оценок являются противоречия, несоответствия или расхождения в системе наших знании. До тех пор пока мы имеем всего лишь одну процедуру получения определенного знания об определенном объекте или группе объектов, мы никогда не можем не только сказать – истинны они или нет, но даже поставить сам этот вопрос. Возможности для всего этого впервые появляются лишь тогда, когда мы вырабатываем несколько разных процедур получения одного и того же по смыслу знания и начинаем сопоставлять их друг с другом.

Покажу это на простом примере. Представьте себе, что мы измеряем прямую линию с помощью определенного эталона – отрезка заданной длины. Предположим, мы получили численный результат – скажем, 8. Это будет характеристика измеряемого объекта относительно взятого нами эталона.