Страница 23 из 34
§ 8. Отношение этих особенностей к возможности науки и наукоучения
Эти особенности обоснований, своеобразия которых мы не замечаем потому только, что мы слишком мало склонны искать проблем в повседневном, явно связаны с возможностью науки, а затем и наукоучения.
В этом отношении не достаточно того, что обоснования просто существуют. Если бы они были бесформенными и незакономерными, если бы не существовала та основная истина, которая гласит, что всем обоснованиям присуща известная «форма», свойственная не только данному hic et nunc умозаключению, но типичная для целого класса умозаключений, и что верность умозаключений всего этого класса гарантируется их формой, – если бы все это обстояло иначе, тогда не было бы науки. Тогда не имело бы никакого смысла говорить о методе, о систематически закономерном переходе от познания к познанию; и всякий прогресс знания был бы случайностью. Если бы случайно в нашем уме встретились суждения P1P2…, способные удостоверить очевидность суждения S, то нас осенило бы сознание этой очевидности. Было бы невозможно использовать существующие обоснования для будущего, для новых обоснований нового содержания. Ибо не одно обоснование не могло бы быть образцом для другого, ни одно не воплощало бы в себе типа; и, таким образом, никакая группа суждений, мыслимая как система предпосылок, не имела бы в себе ничего типичного, что (без логического опознания, без ссылки на разъясненную «форму умозаключений») могло бы навязываться сознанию в ином случае в связи с совершенно иным «содержанием» и облегчало бы приобретение нового познания. Искать доказательств какого-либо данного предложения не имело бы смысла. И как бы мы стали это делать? Должны ли мы перебрать все возможные группы положений и посмотреть, годятся ли они в качестве предпосылки для данному положению? Самый умный человек не имел бы в этом отношении никаких преимуществ перед самым глупым, да и сомнительно, имел бы он вообще перед ним какое-либо еще преимущество. Богатая фантазия, обширная память, способность к напряженному вниманию и т. п. – вещи все прекрасные, но интеллектуальное значение они имеют только для мыслящего существа, у которого обоснование и изобретение подчинены закономерным формам.
Ведь бесспорно, что в любом психическом комплексе не только элементы, но и связывающие формы действуют путем ассоциации и воспроизведения. В силу этого и может оказаться полезной форма наших теоретических мыслей и связей их. Подобно тому, как, например, форма известных посылок с особенной легкостью вызывает соответственный вывод в силу того, что сделанные раньше умозаключения той же формы оказались удачными, так и форма доказываемого положения может напомнить нам известные формы обоснования, которые когда-то дали умозаключения подобной же формы. Если это и не есть ясное и подлинное воспоминание, то все же нечто ему аналогичное, некоторого рода скрытое воспоминание, «бессознательное возбуждение» (в том смысле, о каком говорит Б. Эрдманн); во всяком случае это есть нечто, сильнейшим образом способствующее более легкому и удачному построению доказательства (и не только в тех областях, где господствуют argumenta in forma, как в математике). Почему опытный мыслитель легче находит доказательства, чем неопытный? Потому, что типы доказательств, вследствие многократного повторения, запечатлелись глубже и, следовательно, гораздо легче пробуждаются к деятельности и определяют направление мыслей. Всякое научное мышление в известной степени дает навык к научному мышлению вообще; наряду с этим, однако, надлежит признать, что математическое мышление особенно предрасполагает специально к математическому, физическое – к физическому и т. д. Первое основано на наборе типических форм, общих всем наукам, второе – на наборе других форм, которые имеют свое особое отношение к особенностям отдельных наук (и могут оказаться определенными комбинациями первых форм). С этим связаны своеобразия научного такта, предвосхищающей интуиции и догадки. Мы говорим о такте и взоре филолога, математика и т. д. Кто же обладает им? Прошедший школу долголетнего опыта филолог, математик и т. д. Известные формы предметных взаимосвязей вытекают из общей природы предметов каждой данной области, и они в свою очередь определяют типичные особенности форм обоснования, преобладающих именно в этой области. Это и есть базис для предвосхищающих научных догадок. Всякое исследование, изобретение, открытие покоится, таким образом, на закономерностях формы.
Если, согласно сказанному, упорядоченная форма создает возможность существования наук, то, с другой стороны, значительная независимость формы от области знания делает возможным наукоучение. Если бы этой независимости не было, существовали бы только соподчиненные и соответствующие отдельным наукам отдельные логики, но не общая логика, В действительности же нам необходимо и то, и другое: исследования по теории науки, в одинаковой степени касающиеся всех наук, и, как дополнение к ним, особые исследования, относящиеся к теории и методу отдельных наук и направленные на изучение особенности последних.
Таким образом, уяснение этих своеобразных черт путем сравнительного рассмотрения обоснований, можно признать небесполезным; оно проливает некоторый свет на саму нашу дисциплину, на логику в смысле наукоучения.
§ 9. Методические приемы наук суть отчасти обоснования, отчасти вспомогательные средства для обоснования
Необходимы, однако, еще некоторые дополнения, прежде всего относительно того, что мы ограничиваемся обоснованиями, между тем как ими еще не исчерпывается понятие методического приема. Но обоснования имеют первенствующее значение, которое может оправдать это предварительное ограничение нашей задачи.
А именно, можно сказать, что все научные методы, которые сами не имеют характера настоящих обоснований (будь то простых или сколь угодно сложных) либо являются сберегающими мышление сокращениями и суррогатами обоснований, которые, получив сами раз навсегда смысл и ценность путем обоснования, при практическом применении действуют как обоснования, но лишены ясного мыслительного содержания обосновании; либо же эти научные методы представляют более или менее сложные вспомогательные приемы, которые подготовляют, облегчают, удостоверяют и делают возможными будущие обоснования и, следовательно, опять-таки не могут претендовать на самостоятельное значение, равноценное значению этих основных процессов науки.
Так, например, – чтобы остановиться на второй упомянутой нами группе методов – важным предварительным требованием для упрочения обоснований вообще является соответственное выражение мыслей посредством ясно различимых и недвусмысленных знаков. Язык представляет мыслителю широко применимую систему знаков для выражения его мыслей; но, хотя никто не может обойтись без нее, она есть в высшей степени несовершенное вспомогательное средство для строгого исследования. Всем известно вредное влияние эквивокаций (двусмысленностей) на правильность умозаключений. Осторожный исследователь может пользоваться языком, лишь искусно обезопасив его; он должен определять употребляемые им термины, поскольку они лишены однозначного и точного смысла. Таким образом, в номинальном определении мы видим методический вспомогательный прием для упрочения обоснований, этих первичных и собственно теоретических операций.
То же можно сказать и о номенклатуре. Краткие и характерные обозначения важнейших и часто встречающихся понятий безусловно необходимы – чтобы упомянуть лишь об одной стороне – повсюду, где определения этих понятий через первоначальный запас выражений, уже получивших определение, заняли бы слишком много места. Ибо пространные выражения, снабженные множеством пояснительных предложений, затрудняют операции обоснований или даже делают их невыполнимыми.