Учебное пособие для вузов
 Скачать 2.92 Mb.
|
|
методыиразвитиенаучнпгозвании алфавита, правил образования и правил преобразования. В алфавите перечисляются исходные символы системы. Требования, налагаемые на эти исходные символы, таковы: они, во-первых, должны быть конструктивно жесткими, чтобы мы всегда умели эти символы как отождествлять, так и различать; во-вторых, список исходных символов должен быть задан так, чтобы всегда можно было решить, является ли данный символ исходным. Далее, как в содержательной теории ее производные понятия определяются через исходные, так и в формальной системе ее производные объекты конструируются из исходных символов. Эти производные объекты в формальной системе носят название формул и задаются при помощи правил образования. Как и к исходным символам, к правилам образования предъявляется определенное требование: они должны быть заданы так, чтобы всегда можно было решить, служит ли данная последовательность символов формулой. 1 Конечная цепь формул такая, что каждая из этих формул есть либо аксиома, либо выражение, непосредственно выводимое из предшествующих формул по правилам вывода, это называется доказательством в формальной системе. Последняя формула доказательства есть теорема. К понятию доказательства также предъявляется требование, чтобы мы могли относительно любой конечной последовательности формул решить, является ли она доказательством. К понятию теоремы такого требования не предъявляется, хотя и существуют формальные системы, в которых оно выполняется. Правилами преобразования задаются аксиомы формальной системы и правила вывода. Аксиомы и правила вывода составляют теоретическую часть формальной системы. Список аксиом, как и список исходных символов, может быть как конечным, так и бесконечным, но в том и другом случае задание аксиом должно быть таково, чтобы мы всегда могли решить, является ли данная формула аксиомой. Правила вывода задаются для того, чтобы, опираясь на аксиомы, получать новые утверждения в формальной системе. Такие доказуемые утверждения носят название теорем1. Все, что было перечислено выше, относится к исходному базису формальной системы. Для его задания необходим какой-то язык, в терминах которого можно было бы задать алфавит и сформулировать правила образования и преобразования формул формальной системы. Во всех тех случаях, когда один язык употребляется для того, чтобы с его помощью говорить о другом, первый язык называется метаязыком, а второй — языком-объектом. В качестве метаязыка обычно употребляется соответственным образом выбранная часть естественного, например русского, языка. Если в качестве метаязыка выступает какая-либо научная теория (обычно называемая интуитивной или содержательной), то конкретная формальная система, получающаяся в результате ее формализации, называется предметной теорией, а метаязык, с помощью которого и в котором изучаются свойства языка-объекта (а соответственно и выраженной с помощью этого языка теории), называется метатеорией. В метатеории используются обычные содержательно-интуитивные рассуждения, они опираются на значение и смысли выражаются в естественном языке. В метатеоретическом исследовании выделяются два основных аспекта изучения свойств и возможностей предметных теорий (формальных систем) — синтаксический и семантический. Та часть метатеории, которая изучает предметную теорию в отвлечении от того, что обозначают ее выражения, называется синтаксисом. При синтаксическом исследовании имеют дело с преобразованиями формул по строго установленным правилам, без учета того, что они обозначают, каково их отношение к конкретному содержанию теорий, какой смысл имеют правила, по которым осуществляется переход от одних формул к другим. Используемые при этом методы называются формальными, поскольку они опираются исключительно на вид и порядок символов, из которых образовано то или иное выражение. Именно эти методы представляют наивысший на сегодняшний день стандарт логико-математической точности. Вместе с тем построение формальных систем, в которых вместо содержательных выводов имеют дело с преобразованиями формул по строго установленным правилам и отвлекаются от того, что обозначают символы и их комбинации, — только одна сторона метода формализации. Формальные системы обычно строятся для представления научной теории, построенной содержательно-интуитивно, в виде таким образом упорядоченной системы утверждений об области объектов, изучаемой с ее помощью, чтобы класс истинных ее предложений отобразить в класс выводимых в формальной системе формул. Насколько достижима эта цель возможно ответить лишь после того, как формальная система получит интерпретацию. Грубо говоря, интерпретация заключается в приписывании выражениям формальной системы некоторого значения, в результате чего они превращаются в нечто такое, что может быть либо истинным, либо ложным. Операции и методы, с помощью которых задается интерпретация формальной системы, называются семантическими. Если при синтаксическом исследовании имеют дело с преобразованиями формул по строго установленным правилам, без учета того, что обозначают формулы, то в семантике, напротив, характеризуются отношения между элементами из предметной области той содержательной теории, для формализации которой предназначается данная формальная система с ее формулами (и их соотношениями). Поэтому семантические понятия, операции и методы в отличие от синтаксических, строго формальных методов и средств исследования называют содержательными. В результате последовательной формализации теории то, что раньше воспринималось как некое единое нерасчлененное целое, теперь благодаря методу формализации обнаружило сложную и вместе с тем ясную архитектонику. Это четкое расчленение формального и содержательного компонентов знания, это «раздвоение единого» явились одним из фундаментальных шагов в понимании природы научного знания. щМатематическое моделирование Математическаямодельпредставляет собой абстрактную систему, состоящую из набора математических объектов. В самом общем виде под математическими объектами современная философия математики подразумевает множества и отношения между множествами и их элементами. Различия между отдельными объектами главным образом определяются тем, какими дополнительными свойствами (т. е. какой структурой) обладают рассматриваемые множества и соответствующие отношения1. В простейшем случае в качестве модели выступает отдельный математический объект, т. е. такая формальная структура, с помощью которой можно от эмпирически полученных значений одних параметров исследуемого материального объекта переходить к значению других без обращения к эксперименту. Например, измерив окружность шарообразного предмета, по формуле объема шара вычисляют объем данного предмета. Очевидно, ценность математической модели для конкретных наук и технических приложений состоит в том, что благодаря восполнению ее конкретно-физическим или каким-либо другим предметным содержанием она может быть применена к реальности в качестве средства получения информации. С другой стороны, только благодаря тому, что нам удается подбирать такие объекты (процессы, явления), которые обладают способностью служить восполнением модели, мы можем посредством данной модели получить о них полезную информацию. 1 См.: Месарович МД. Общая теория систем и ее математические основы // Исследования но общей теории систем. М., 1969. С. 166. 2 Холл А.Д.,ФейджинР.Е.Определение понятия системы // Там же. С. 257. Как отмечают Холл и Фейджин1, для того чтобы объект можно было достаточно успешно изучать с помощью математических методов, он должен обладать рядом специальных свойств. Во-первых, должны быть хорошо известны имеющиеся в нем отношения, во-вторых, должны быть количественно определены существенные для объекта свойства (причем их число не должно быть слишком большим), и в-третьих, в зависимости от цели исследования должны быть известны при заданном множестве отношений формы поведения объекта (которые определяются законами, например, физическими, биологическими, социальными). По существу, любая математическая структура (или абстрактная система) приобретает статус модели только тогда, когда удается констатировать факт определенной аналогии структурного, субстратного или функционального характера между нею и исследуемым объектом (или системой). Другими словами, должна существовать известная согласованность, получаемая в результате подбора и «взаимной подгонки» модели и соответствующего «фрагмента реальности». Указанная согласованность существует лишь в рамках определенного интервала абстракции. В большинстве случаев аналогия между абстрактной и реальной системой связана с отношением изоморфизма между ними, определенным в рамках фиксированного интервала абстракции. Для того, чтобы исследовать реальную систему, мы замещаем ее (с точностью до изоморфизма) абстрактной системой с теми же отношениями; таким образом задача становится чисто математической. Например, чертеж может служить моделью для отображения геометрических свойств моста, а совокупность формул, положенных в основу расчета размеров моста, его прочности, возникающих в нем напряжений и т. д., может служить моделью для отображения физических свойств моста. Что же представляют собой в гносеологическом смысле математические модели, т. е. математические структуры (по выражению Н. Бурбаки), поотношению креальностинезависимо от их конкретной интерпретации? Версия номинализма, согласно которой математика есть просто язык, сам по себе не имеющий никако- Глава3.Методытворетвсшонезнания го онтологического содержания, кажется, дает слишком легкое решение вопроса. Если математические уравнения, которые мы накладываем на определенную экспериментально фиксируемую область с целью упорядочения фактуальной информации и перевода ее на точный количественный язык, — если эти уравнения есть лишь чисто ментальная конструкция ума, то чем объяснить их поразительную «предопределенность», приспособленность к фактическим ситуациям? Если об абстрактных объектах ничего не известно, кроме соотношений, которые существуют между ними в рамках формальной системы и, следовательно, их природа не дает указаний на какую бы то ни было связь с внеязы-ковой реальностью, если их единственная спецификация состоит в том, что они согласуются со структурой системы, определяемой исходными аксиомами, то все же остается вопрос: «Что побуждает нас принять за основу определенную избранную нами систему аксиом? Непротиворечивость для этого необходима, но не достаточна»1. То, что математика есть некий особый язык, используемый человеком в процессе познания, это очевидно. Поэтому уже один только перевод какой-либо качественной задачи на четкий, однозначный и богатый по своим возможностям язык математики позволяет увидеть задачу в новом свете, прояснить ее содержание. Однако математика дает и нечто большее. Характерным для математического способа познания является использование «дедуктивного звена», т. е. манипулирование с объектами по определенным правилам и получение таким путем новых результатов. И наконец, любая нетривиальная система математических объектов заключает в себе явно или неявно некоторую исходную семантику, некоторый способ «видения мира». Именно этим в первую очередь определяется ценность математического моделирования реальности. 1КлиниС.К.Введение в метаматематику. М, 1957. С. 58. Дватипаматематическихмоделей:моделиописанияимоделиобъяснения.Обращение к истории науки позволяет выделить два типа теоретических схем, основанных на двух видах математических моделей, применяемых в конкретных науках и технических приложениях, — моделях описания и моделях объяснения. В истории науки примером модели первого вида может служить схема эксцентрических кругов и эпициклов Птолемея. Математический формализм ньютоновской теории тяготения является соответствующим примером модели второго вида. Модельописанияне предполагает каких бы то ни было содержательных утверждений о сущности изучаемого круга явлений. Известно, что птолемеевская модель обеспечивала в течение почти двух тысяч лет возможность поразительно точного вычисления будущих наблюдений астрономических объектов. Ошибочность птолемеевской системы заключалась вовсе не в самой математической модели, а в том, что с используемой моделью связывались физические гипотезы, и к тому же такие, которые лишены научного содержания (в частности, тезис о «совершенном» характере движения небесных тел). Для моделей описания характерно то, что здесь соответствие между формальной и физической структурой не обусловлено какой-либо закономерностью и носит характер единичного факта. Отсюда глубина восполнения модели описания для каждого объекта или системы различна и не может быть предсказана теоретически. Задача определения глубины восполнения решается поэтому всегда эмпирически. 1 С излагаемой точкой зрения согласуется, как кажется, позиция Чапаниса. См.: ChapanisA. Man, Machines and Models. Amer. Psyhologist, 16, 113 (1961). Применимо ли понятие истины и лжи для моделей описания? В строгом смысле, по-видимому, нет. К ним применим скорее критерий полезности, чем истинности1. Модели описания бывают «хорошими» и «плохими». «Плохая» модель — это либо слишком элементарная модель (в этом случае она тривиальна), либо слишком сложная (и тогда она малоэффективна ввиду своей громоздкости). «Хорошая» модель — это модель, сочетающая в себе достаточную простоту и достаточную эффективность. Моделиобъясненияпредставляют собой качественно иной вид познавательных моделей. Речь идет о тех случаях, когда структура объекта (или система) находит себе соответствие в математическом образе в силу внутренней необходимости. Здесь модель есть уже нечто большее, чем простая эмпирическая подгонка, ибо она обладает способностью объяснения. Если математический формализм адекватно выражает физическое содержание теории и выступает моделью объяснения, то он становится не только орудием вычисления и решения задач в уже известной области опыта, но и средством генерирования новых физических представлений, средством обобщения и предсказания. Например, из уравнений Ньютона можно вывести закон сохранения импульса, из уравнений Максвелла — идею о физическом родстве электромагнитных и оптических явлений, из уравнений Дирака — существование позитрона и т. д. Этот эпистемологический феномен Ю.Б. Румер и М.С. Рыбкин1 называют «принципом гносеологического продолжения». Рассмотрим характерные гносеологические свойства моделей объяснения. ' См. Роль математических методов в физике // Вопросы философии, 1967, № 5. 2 О классификации научных обобщений по семантико-гносео-логическому признаку см. ЛазаревФ.В.,НовоселовМ.М.Обобщение. БСЭ. Т. 8. М, 1974.
Анализ показывает, что глубина восполнения модели описания может быть установлена только эмпирически для каждого отдельного случая. Что касается модели объяснения, то при ее трансформационном обобщении глубина восполнения исходной модели может быть строго установлена теоретически. Этот факт имеет фундаментальное гносеологическое значение. 1ГейзенбергВ.Роль феноменологических теорий в системе теоретической физики. УФН, т. 91, вып. 4, 1967. В одной из основных статей В. Гейзенберг1 обращает внимание на то, что в истории естествознания встречаются два типа теорий. К первому типу относит- РзздвдII.Структура,методыиразвитиепарногознания ся так называемые «феноменологические» теории. Для них характерна такая формулировка закономерностей в области наблюдаемых физических явлений, в которой не делается попытка свести описываемые связи к лежащим в их основе общим законам природы, через которые они могли бы быть понятыми. (Например, в химии — правила валентности, в оптике — формулы дисперсионной теории Друде). Ко второму типу относятся теории, которые обеспечивают «истинное познание явлений» (например, ньютонова физика, квантовая механика и др.). Гносеологическая особенность феноменологических теорий состоит в том, «что хотя они делают возможным описание наблюдаемых явлений, и, в частности, нередко позволяют очень точно предвычислить новые эксперименты или последующие наблюдения, все же они не дают истинного познания явлений»1. Существуют два рода феноменологических теорий: 1) теории первого рода используют главным образом формальные связи, например, теория Птолемея использовала чисто формальные возможности представлять периодические явления через ряды Фурье; 2) теории второго рода дают качественные формулировки того часто еще неизвестного, что обозначают через сознательно неопределенное выражение — «физическая сущность», например, феноменологическая термодинамика XIX века, опиравшаяся на понятие «энтропии». Феноменологические теории это и есть модели описания. Модели же объяснения — это то, что Гейзенберг называет теориями, дающими истинное познание явлений. В отличие от позитивизма и прагматизма Гейзенберг подчеркивает принципиальное гносеологическое различие этих двух типов теорий. 1ГейзенбергВ.Роль феноменологических теорий в системе теоретической физики. УФН, т. 91, вып. 4, 1967. С. 732. В расширении возможностей применения формальных методов исследования существенно важную роль играют компьютеры, позволяющие автоматизировать дедуктивные построения, увеличить производительность интеллектуального труда. Эвристические возможности, открываемые реконструкцией языка научной теории в полностью или частично формализованный язык, обусловлены тем обстоятельством, что формализованные теории — это качественно своеобразный тип концептуальных построений; они представляют собой исчисления, которые благодаря самой структуре и характеру исчислений открывают возможности для получения новых, порой совсем неожиданных следствий путем «чистых вычислений». К тому же формальное представление теории не ограничивается формулировкой исчисления, а предполагает изучение свойств этого исчисления и в итоге получение нетривиальных результатов1-. ' См.: Ершов ЮЛ. Некоторые вопросы применения формализованных языков для исследования философских проблем // Методологические проблемы математики. Новосибирск, 1979. С 83-88. Формализованное знание есть результат сложнейшего творческого процесса. Отталкиваясь от определенного уровня развития содержательно построенной научной теории, формализация преобразует ее, выявляет некоторые такие ее особенности, которые не были зафиксированы на содержательно-интуитивном уровне. Именно потому, что формализованная теория не является простым «переводом» содержательно построенной научной теории на искусственный формализованный язык, а предполагает, как правило, довольно длительную и сложную работу мышления, «обратное движение» от формализованной теории к содержательной нередко дает «прибавку», прирост знания по сравнению с исходной теорией, подвергшейся формализации. Такое движение заставляет искать содержательные аналоги тем или иным компонентам формализованной теории, первоначально вводимым по чисто формальным соображениям (простоты, симметричности и т. д.), и привлекает тем самым внимание исследователей к таким особенностям теории (и предмета, с ее помощью исследуемого), которые в содержательно построенной теории не были представлены в явном виде. Известно немало РазделИ.Стрртра,методыиразвитиепарногознания примеров возникновения целых научных теорий, исходным импульсом к формированию которых дали чисто формальные соображения и преобразования; наиболее известные примеры такого рода — неевклидова геометрия и теория групп. Ю.Л. Ершов приводит следующие примеры, подтверждающие, что с помощью формализации теории могут быть получены нетривиальные следствия, о которых даже не подозревали, пока ограничивались содержательно-интуитивной формулировкой теории в естественном языке. Так, формулировка аксиомы выбора первоначально не вызывала каких-либо сомнений. И только ее использование (в совокупности с другими аксиомами) в формальной системе, претендующей на аксиоматизацию и формализацию теории множеств, выявило, что она ведет к ряду парадоксальных следствий, что и поставило под сомнение возможность ее использования; аналогичные примеры известны и за пределами математики. Даже первые попытки аксиоматизации теории поля, выделения тех или иных утверждений о качестве ее аксиом приводили к получению очень большого числа следствий, пригодных для объяснения экспериментальных данных. Из области собственно философских исследований можно назвать интерполяционную теорему Крей-га — она получена чисто формально, но нашла далеко идущие применения в области исследований оснований научного знания1. ' См.: Там же. С. 86-87. Таким образом, реконструкция научной теории с помощью формализованных языков часто обладает значительными теоретико-познавательными достоинствами. Уже сейчас формальные методы исследования — необходимый компонент нашего мыслительного аппарата, способствующий движению науки к новым результатам. Имеются все основания ожидать в ближайшем будущем новых значительных достижений, связанных с применением метода формализации. Вместе с тем, подчеркивая перспективы, открывающиеся Глава3.Методытворвтичешгвнезнания перед формальными методами, нужно учитывать, что все наиболее значительные достижения, сколько-нибудь существенно связанные с формализацией, относятся к дедуктивным наукам: вне сферы математики и логики познавательные достоинства формализации не столь очевидны. Более того, существует точка зрения, согласно которой формальные методы исследования вообще не имеют познавательной ценности вне сферы математики и логики. Сужение сферы применимости формальных методов языками логики и математики, на наш взгляд, неправомерно; оно вступает в противоречие и с сегодняшней практикой научного познания. Даже тот незначительный опыт формализации языков эмпирических теорий (физических, биологических, лингвистических и т. д.), который имеется на сегодняшний день, позволяет надеяться, что использование формальных методов, лежащих в основе формализации научного знания, будет небесполезным и в данном случае, хотя достигнутые в этом направлении результаты пока не могут быть сопоставлены по своему значению и ценности с соответствующими результатами, полученными в области математики и логики. Под влиянием успешного использования методов формализации в математике, логике, лингвистике и некоторых других науках несостоятельность противопоставления формальных и неформальных компонентов в процессах движения науки к новым результатам становится все более очевидной. Современное научное знание, особенно в своих наиболее абстрактных и высокотеоретических «этажах», развивается благодаря взаимодействию формальных и неформальных методов и средств. Несмотря на то что те механизмы и процедуры, которые ведут к открытию нового в науке, не могут быть формально точно и исчерпывающе описаны, тем не менее в процессах формирования нового знания в науке формальные компоненты выполняют определенные функции, поскольку процесс получения нового знания связан не только с актом самого открытия, выдвижением новой гипотезы, предположения, но и с обоснованием выдвигаемых предположений и гипотез. Определенные стороны процедур последнего рода могут быть описаны с помощью аппарата современной формальной логики и математики, а затем и формализованы. Конечно, возможности формальных методов в этом отношении достаточно скромны. Опыт развития современной формальной логики и исследований по основаниям математики свидетельствует об их существенной ограниченности. В этих исследованиях показана невозможность построения такой формальной системы, которая охватывала бы, например, всю арифметику и в то же время была бы непротиворечивой. К. Гедель доказал, что возможности замены содержательного математического рассуждения формальным выводом ограничены и то, что понимается под процессом математического доказательства, не совпадает с применением строго фиксированных и легко верифицируемых правил вывода. Ограниченность дедуктивных и выразительных возможностей можно в известной степени преодолеть путем создания более богатых и сложных систем. В этом смысле можно утверждать, что формализация позволяет шаг за шагом приближаться ко все более полному выражению содержания через его форму. Тем не менее во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, этот процесс не может быть завершен. Таким образом, развитие современного научного знания есть процесс взаимодействия содержательных и формальных средств и методов исследования при ведущей роли первых. Анализ формирования и динамики теоретического познания, его сложной, многоступенчатой структуры убедительно подтверждает методологическую ценность такой концепции, существенным элементом которой является анализ взаимодействия содержания и формы и вытекающая отсюда взаимосвязь точного и неточного, формального и интуитивного в формировании и развитии науки. Глава3.Методытвррвтичвсквгвпознания | Рефлексия как основной метод метатеоретического познания в науке Научно-исследовательская деятельность, рассматриваемая в широком культурно-историческом контексте, включает в себя два уровня — предметный, когда активность ученого направлена на познание конкретной совокупности явлений, и рефлексивный, когда познание обращается на самое себя, В первом случае результаты деятельности выражаются в виде массива экспериментальных данных, графиков, формул, цепочки суждений, теорий и т. п., во втором — подвергаются анализу сами эти результаты. Здесь конечная цель — выявить, насколько достоверны, надежны полученные результаты, насколько они обоснованы, точны, истинны. Сосуществование и взаимодействие указанных уровней — важнейшая предпосылка, конституирующая научную рациональность. Диалектика рефлекти-руемого и нерефлектируемого знания с необходимостью обнаруживается и в самом акте рефлексии, ибо «каждая процедура рефлективного анализа предполагает некую нерефлектируемую в данном контексте рамку «неявного» обосновывающего знания»1. В зависимости от того, на каком этапе находится развитие той или иной отрасли знания и какие исследовательские задачи выдвигаются на первый план, в ней доминирует и соответствующий тип рефлексии. Первый тип — это рефлексия над |