Выявленные приёмы, инварианты, эвристики, статагеммы решения творческих задач…
Последовательность эвристикПоследовательность эвристик, приёмов
X
«Почему опытный мыслитель легче находит доказательства, чем неопытный? Потому, что типы доказательств, вследствие многократного повторения, запечатлелись глубже и, следовательно, гораздо легче пробуждаются к деятельности и определяют направление мыслей.
Всякое научное мышление в известной степени даёт навык к научному мышлению вообще; наряду с этим, однако, надлежит признать, что математическое мышление особенно предрасполагает специально к математическому, физическое - к физическому и т.д. Первое основано на наборе типических форм, общих всем наукам, второе - на наборе других форм, которые имеют своё особое отношение к особенностям отдельных наук (и могут оказаться определенными комбинациями первых форм). С этим связаны своеобразия научного такта, предвосхищающей интуиции и догадки.
Мы говорим о такте и взоре филолога, математика и т. д. Кто же обладает им? Прошедший школу долголетнего опыта филолог, математик и т.д. Известные формы предметных взаимосвязей вытекают из общей природы предметов каждой данной области, и они в свою очередь определяют типичные особенности форм обоснования, преобладающих именно в этой области. Это и есть базис для предвосхищающих научных догадок. Всякое исследование, изобретение, открытие покоится, таким образом, на закономерностях формы.
Если, согласно сказанному, упорядоченная форма создаёт возможность существования наук, то, с другой стороны, значительная независимость формы от области знания делает возможным наукоучение. Если бы этой независимости не было, существовали бы только соподчиненные и соответствующие отдельным наукам отдельные логики, но не общая логика.
В действительности же нам необходимо и то, и другое: исследования по теории науки, в одинаковой степени касающиеся всех наук, и, как дополнение к ним, особые исследования, относящиеся к теории и методу отдельных наук и направленные на изучение особенности последних.
Таким образом, уяснение этих своеобразных черт путём сравнительного рассмотрения обоснований, можно признать небесполезным; оно проливает некоторый свет на саму нашу дисциплину, на логику в смысле наукоучения.
§ 9. Методические приёмы наук суть отчасти обоснования, отчасти вспомогательные средства для обоснования
Необходимы, однако, ещё некоторые дополнения, прежде всего относительно того, что мы ограничиваемся обоснованиями, между тем как ими ещё не исчерпывается понятие методического приёма. Но обоснования имеют первенствующее значение, которое может оправдать это предварительное ограничение нашей задачи.
А именно, можно сказать, что все научные методы, которые сами не имеют характера настоящих обоснований (будь то простых или сколь угодно сложных) либо являются сберегающими мышление сокращениями и суррогатами обоснований, которые, получив сами раз навсегда смысл и ценность путём обоснования, при практическом применении действуют как обоснования, но лишены ясного мыслительного содержания обосновании; либо же эти научные методы представляют более или менее сложные вспомогательные приёмы, которые подготовляют, облегчают, удостоверяют и делают возможными будущие обоснования и, следовательно, опять-таки не могут претендовать на самостоятельное значение, равноценное значению этих основных процессов науки.
Так, например, - чтобы остановиться на второй упомянутой нами группе методов - важным предварительным требованием для упрочения обоснований вообще является соответственное выражение мыслей посредством ясно различимых и недвусмысленных знаков. Язык представляет мыслителю широко применимую систему знаков для выражения его мыслей; но, хотя никто не может обойтись без неё, она есть в высшей степени несовершенное вспомогательное средство для строгого исследования.
Всем известно вредное влияние эквивокаций (двусмысленностей) на правильность умозаключений. Осторожный исследователь может пользоваться языком, лишь искусно обезопасив его; он должен определять употребляемые им термины, поскольку они лишены однозначного и точного смысла. Таким образом, в номинальном определении мы видим методический вспомогательный приём для упрочения обоснований, этих первичных и собственно теоретических операций.
То же можно сказать и о номенклатуре. Краткие и характерные обозначения важнейших и часто встречающихся понятий безусловно необходимы - чтобы упомянуть лишь об одной стороне - повсюду, где определения этих понятий через первоначальный запас выражений, уже получивших определение, заняли бы слишком много места. Ибо пространные выражения, снабжённые множеством пояснительных предложений, затрудняют операции обоснований или даже делают их невыполнимыми.
С подобной же точки зрения можно рассматривать и метод классификации и т. д.
Примерами первой группы методов могут служить столь плодотворные алгоритмические методы, своеобразная функция которых состоит в том, чтобы посредством искусственного порядка механических операций с чувственными знаками сберегать нам возможно больше чисто дедуктивной умственной работы.
Как ни поразительны результаты этих методов, всё же смысл и оправдание их вытекают лишь из сущности обосновывающего мышления. Сюда относятся также и механические в буквальном смысле методы - вспомним аппараты для механического интегрирования, счётные машины и т. п., - затем методические приёмы для установления объективно значимых опытных суждений, как, например, разнообразные методы, необходимые для определения положения звезды, электрического сопротивления, инертной массы, показателя преломления, постоянной силы тяжести и т. д. Каждый такой метод представляет совокупность приёмов, выбор и порядок которых определяется связью обоснования, которая показывает раз навсегда, что такого рода приёмы, хотя бы и слепо выполняемые, необходимо дают объективно верное суждением. Но довольно примеров. Ясно, что каждый действительный успех познания совершается в обосновании; к последнему примыкают, следовательно, все те методические действия и искусственные приемы, о которых, наряду с обоснованиями, говорит логика. В силу этого отношения они и приобретают типический характер, который составляет ведь существенный признак идеи метода».
Эдмунд Гуссерль, Пролегомены к чистой логике, в Сб.: Антология реалистической феноменологии, М., «Институт философии, теологии и истории святого Фомы», 2006 г., с. 120-122.