Так, например, – чтобы остановиться на второй упомянутой нами группе методов – важным предварительным требованием для упрочения обоснований вообще является соответственное выражение мыслей посредством ясно различимых и недвусмысленных знаков. Язык представляет мыслителю широко применимую систему знаков для выражения его мыслей; но, хотя никто не может обойтись без нее, она есть в высшей степени несовершенное вспомогательное средство для строгого исследования. Всем известно вредное влияние эквивокаций (двусмысленностей) на правильность умозаключений. Осторожный исследователь может пользоваться языком, лишь искусно обезопасив его; он должен определять употребляемые им термины, поскольку они лишены однозначного и точного смысла. Таким образом, в номинальном определении мы видим методический вспомогательный прием для упрочения обоснований, этих первичных и собственно теоретических операций.
То же можно сказать и о номенклатуре. Краткие и характерные обозначения важнейших и часто встречающихся понятий безусловно необходимы – чтобы упомянуть лишь об одной стороне – повсюду, где определения этих понятий через первоначальный запас выражений, уже получивших определение, заняли бы слишком много места. Ибо пространные выражения, снабженные множеством пояснительных предложений, затрудняют операции обоснований или даже делают их невыполнимыми.
С подобной же точки зрения можно рассматривать и метод классификации и т. д.
Примерами первой группы методов могут служить столь плодотворные алгоритмические методы, своеобразная функция которых состоит в том, чтобы посредством искусственного порядка механических операций с чувственными знаками сберегать нам возможно больше чисто дедуктивной умственной работы. Как ни поразительны результаты этих методов, все же смысл и оправдание их вытекают лишь из сущности обосновывающего мышления. Сюда относятся также и механические в буквальном смысле методы – вспомним аппараты для механического интегрирования, счетные машины и т. п., – затем методические приемы для установления объективно значимых опытных суждений, как, например, разнообразные методы, необходимые для определения положения звезды, электрического сопротивления, инертной массы, показателя преломления, постоянной силы тяжести и т. д. Каждый такой метод представляет совокупность приемов, выбор и порядок которых определяется связью обоснования, которая показывает раз навсегда, что такого рода приемы, хотя бы и слепо выполняемые, необходимо дают объективно верное суждением.
Но довольно примеров. Ясно, что каждый действительный успех познания совершается в обосновании; к последнему примыкают, следовательно, все те методические действия и искусственные приемы, о которых, наряду с обоснованиями, говорит логика. В силу этого отношения они и приобретают типический характер, который составляет ведь существенный признак идеи метода. Их типичность, кстати сказать,