Реферат по дисциплине «Методология научного познания» на тему «Моделирование как метод научного познания.
Метод математической гипотезы»
23
(количество листов)
ИСПОЛНИТЕЛЬ: | |
________________ |
"__"_________2015 г. |
Москва - 2015
Оглавление
Введение 3
Глава 1. Моделирование как метод научного познания 4
Сущность метода моделирования. 4
Цели моделирования. 8
Требования к модели. 8
Оценка моделей. 10
Классификация моделей. 11
Глава 2. Метод математической гипотезы. 16
Сущность математической гипотезы и область ее применения. 16
Некоторые принципы отбора математических гипотез. 21
Заключение 24
Литература 25
Введение
Ежедневно каждый человек сталкивается с множеством моделей каких-то предметов. Даже в детстве ребенок играет с кубиками – моделями геометрических фигур. Но термин «модель» употребляется не только по отношению к предметам. А также к процессам и явлениям. К примеру, привычки человека, его повадки, поведение, речь – это все модель поведения. Даже жизненный опыт человека, его представления о мире является примером модели. Таким образом, модель - это упрощенное представление о реальном объекте, процессе или явлении.
Сложно представить человеческую жизнедеятельность без использования различного рода моделей. Однако особую важность модель и процесс ее создания, изучения и применения – моделирование, имеют для науки. Моделирование является неотъемлемым инструментом в таких разделах науки как физика, химия, биология, кибернетика, не говоря уже о многих технических науках. Именно поэтому моделирование как способ научных исследований вызывает такой интерес философии и методологии познания.
Целью данной работы является анализ сущности методов моделирования и метода математической гипотезы. В работе будут рассмотрены основные принципы и концепции обоих методов, перечислены основные цели моделирования, классификация моделей. А также рассмотрены принципы отбора математических гипотез. Главной задачей работы является написание сравнительной характеристики данных методов на основе изученного материала.
Глава 1. Моделирование как метод научного познания.
Сущность метода моделирования.
Моделирование в научных исследованиях стало применяться еще в глубокой древности и постепенно захватывало все новые области научных знаний: техническое конструирование, строительство и архитектуру, астрономию, физику, химию, биологию и, наконец, общественные науки. Большие успехи и признание практически во всех отраслях современной науки принес методу моделирования ХХв. Однако методология моделирования долгое время развивалась независимо отдельными науками. Отсутствовала единая система понятий, единая терминология. Лишь постепенно стала осознаваться роль моделирования как универсального метода научного познания.
Термин "модель" широко используется в различных сферах человеческой деятельности и имеет множество смысловых значений. Рассмотрим только такие "модели", которые являются инструментами получения знаний.
Модель - это такой материальный или мысленно представляемый объект, который в процессе исследования замещает объект-оригинал так, что его непосредственное изучение дает новые знания об объекте-оригинале.[2] Под моделированием понимается процесс построения, изучения и применения моделей. Оно тесно связано с такими категориями, как абстракция, аналогия, гипотеза и др. Процесс моделирования обязательно включает и построение абстракций, и умозаключения по аналогии, и конструирование научных гипотез.
В широком смысле моделирование - многоплановый метод исследования, один из путей познания. Оно предполагает исследование реально существующих предметов, явлений, социальных процессов, органических и неорганических систем.[1] А это значит, что сферы применения моделирования, по существу, неограниченны. Ими охватываются все процессы. Но это вовсе не означает, что моделирование является единственным и исчерпывающим методом познания, хотя моделирование присуще всякому познавательному процессу.
Общество не может разумно развиваться, не анализируя себя, различные стороны своей деятельности, не контролируя себя, не заглядывая вперед. Но для того чтобы этот анализ был эффективным, он должен опираться на точные, объективные данные, т.е. необходима информационная база, социальная информация. Совокупность проблем, поддающаяся количественному анализу, может быть формализована, выражена языком цифр и обработана на ЭВМ с помощью математического моделирования. Но далеко не все процессы общества поддаются количественному измерению и контролю. Социальные отношения отличаются исключительной сложностью, в них взаимодействуют самые различные факторы, взаимовлияние которых друг на друга неоднозначно, вариативно; причинно-следственные связи, их интенсивность и характер подвижны и неопределенны. К тому же следует учитывать, что все социальные процессы осуществляются людьми, а поступки, мысли, чувства людей не могут иметь числового отображения.
Отсюда - объективно необходимыми становятся различные методы анализа качественного содержания процессов в социальной сфере. А значит, необходимы и самые различные модели, функциями которых являются:
углубление познания действующих систем, объектов;
определение основных параметров, путей дальнейшего их совершенствования;
проведение сравнительного анализа оригинала и модели, выявление качественных характеристик.
Главная особенность моделирования в том, что это метод опосредованного познания с помощью объектов-заместителей. Модель выступает как своеобразный инструмент познания, который исследователь ставит между собой и объектом и с помощью которого изучает интересующий его объект.[3] Именно эта особенность метода моделирования определяет специфические формы использования абстракций, аналогий, гипотез, других категорий и методов познания.
Необходимость использования метода моделирования определяется тем, что многие объекты (или проблемы, относящиеся к этим объектам) непосредственно исследовать или вовсе невозможно, или же это исследование требует много времени и средств.
Процесс моделирования включает три элемента:
1) субъект (исследователь),
2) объект исследования,
3) модель, опосредствующую отношения познающего субъекта и познаваемого объекта.
Пусть имеется или необходимо создать некоторый объект А. Мы конструируем (материально или мысленно) или находим в реальном мире другой объект В - модель объекта А. Этап построения модели предполагает наличие некоторых знаний об объекте-оригинале. Познавательные возможности модели обуславливаются тем, что модель отражает какие-либо существенные черты объекта-оригинала. Вопрос о необходимости и достаточной мере сходства оригинала и модели требует конкретного анализа. Очевидно, модель утрачивает свой смысл как в случае тождества с оригиналом (тогда она перестает быть оригиналом), так и в случае чрезмерного во всех существенных отношениях отличия от оригинала.
Таким образом, изучение одних сторон моделируемого объекта осуществляется ценой отказа от отражения других сторон. Поэтому любая модель замещает оригинал лишь в строго ограниченном смысле. Из этого следует, что для одного объекта может быть построено несколько "специализированных" моделей, концентрирующих внимание на определенных сторонах исследуемого объекта или же характеризующих объект с разной степенью детализации.
На втором этапе процесса моделирования модель выступает как самостоятельный объект исследования. Одной из форм такого исследования является проведение "модельных" экспериментов, при которых сознательно изменяются условия функционирования модели и систематизируются данные о ее "поведении". Конечным результатом этого этапа является множество знаний о модели R.
На третьем этапе осуществляется перенос знаний с модели на оригинал формирование множества знаний S об объекте. Этот процесс переноса знаний проводится по определенным правилам. Знания о модели должны быть скорректированы с учетом тех свойств объекта-оригинала, которые не нашли отражения или были изменены при построении модели. Мы можем с достаточным основанием переносить какой-либо результат с модели на оригинал, если этот результат необходимо связан с признаками сходства оригинала и модели. Если же определенный результат модельного исследования связан с отличием модели от оригинала, то этот результат переносить неправомерно.
Четвертый этап практическая проверка получаемых с помощью моделей знаний и их использование для построения обобщающей теории объекта, его преобразования или управления им.
Для понимания сущности моделирования важно не упускать из виду, что моделирование - не единственный источник знаний об объекте. Процесс моделирования "погружен" в более общий процесс познания. Это обстоятельство учитывается не только на этапе построения модели, но и на завершающей стадии, когда происходит объединение и обобщение результатов исследования, получаемых на основе многообразных средств познания.
Моделирование циклический процесс. Это означает, что за первым четырехэтапным циклом может последовать второй, третий и т.д. При этом знания об исследуемом объекте расширяются и уточняются, а исходная модель постепенно совершенствуется. Недостатки, обнаруженные после первого цикла моделирования, обусловленные малым знанием объекта и ошибками в построении модели, можно исправить в последующих циклах. В методологии моделирования, таким образом, заложены большие возможности саморазвития.
Один и тот же объект может иметь множество моделей, а разные объекты могут описываться одной моделью[4].
Цели моделирования.
Учитывая остроту и сложность социальных процессов, моделирование преследует следующие цели:
С одной стороны отобразить состояние проблемы на данный, момент;
Выявить наиболее острые "критические" моменты, "узлы" противоречий;
С другой стороны определить тенденции развития и те факторы, влияние которых может скорректировать нежелательное развитие;
Активизировать деятельность государственных общественных и иных организаций и лиц в поисках оптимальных вариантов разрешения социальных задач.
Требования к модели.
Целесообразно выделить две группы требований. Во-первых, модель должна быть более простой, более удобной, давать новую информацию об объекте, способствовать усовершенствованию самого объекта. Во-вторых, модель должна способствовать определению или улучшению характеристик объекта, рационализации способов построения его, управлению или познанию объекта. Следовательно, правомерно при разработке модели говорить об ее подобии объекту-оригиналу, при котором, с одной стороны, соблюдается жесткая целенаправленность, увязка ее параметров с ожидаемыми результатами, а с другой - обеспечивается достаточная "свобода" модели, для того чтобы она была способной к преобразованию в зависимости от конкретных условий и обстоятельств, могла быть альтернативной, иметь в запасе наибольшее число вариантов.
В целом модель должна соответствовать следующим требованиям. Модель должна:
Удовлетворять требованиям полноты, адекватности и эволюционности.
Обеспечивать возможность включения достаточно широкого диапазона изменений, добавлений, чтобы было возможно последовательное приближение к модели, удовлетворяющей исследователя по точности воспроизведения социального объекта, явления, процесса.
Быть достаточно абстрактной, чтобы допускать варьирование большим числом переменных, но не настолько абстрактной, чтобы возникали сомнения в надежности и практической полезности полученных на ней результатов.
Удовлетворять условиям, ограничивающим время решения задачи.
Ориентироваться на реализацию с помощью существующих возможностей, т.е. быть осуществимой на данном уровне развития общества. Модель должна обеспечивать получение новой полезной информации о социальном объекте (явлении, процессе) в плане поставленной задачи исследования.
Строиться с использованием установившейся терминологии.
Предусматривать возможность проверки ее истинности, полноты соответствия ее изучаемому социальному объекту, явлению, процессу.
Одновременно и средством, и объектом исследования, заменяющим оригинал.
Оценка моделей.
Параметры оценки моделей могут быть различными. Один из них - прогрессивность модели, означающая, насколько она по целому ряду моментов является лидирующей. Определение качества модели не такая простая задача, особенно когда речь идет о моделях социальной сферы. Прогрессивность модели определяется характеристиками свойств модели, применимой в той или иной сфере в зависимости от целей и задач исследователей. В качестве главных критериев выступают: новизна отражения (интуитивное отражение, качественное описание, наглядная имитация, системное воспроизведение), распространенность, уровень разработанности. Уровень творческого решения с помощью модели означает степень выполнения гносеологической (познавательной, объяснительной) и эвристической (прогностической, творческой) функций. Последовательность нарастания этих возможностей, т.е. творческого решения, следующая:
определение (различение, распознавание), классифицирование известных фактов, предметов, событий, упорядочение их и решение простых задач, усовершенствование простейших модельных представлений;
реализация гносеологических и эвристических потенций разработанной модели, осуществление научного прогноза качественно новых фактов, событий и их практического использования. Уровень использования модели характеризуется такими показателями:
определена цель применения модели;
углублено знание по тем или иным аспектам применения модели в социальной сфере;
используется в системе научного знания, в системе подготовки кадров, в учебных заведениях.
Не менее важным является рассмотрение структуры моделей. В структуру моделей входят три основных компонента: совокупность направлений развития объекта познания, побудительные силы развития, факторы внешних воздействий. При исследовании важно зафиксировать степень реализованного воздействия всех основных компонентов на предыдущем этапе познания объекта, что может быть осуществлено при ретроспективном анализе.
Классификация моделей.
Признаки классификаций моделей:
1) по области использования;
2) по фактору времени;
3) по отрасли знаний;
4) по форме представления
1) Классификация моделей по области использования:
Учебные модели – используются при обучении. Это могут быть наглядные пособия, различные тренажеры, обучающие программы.
Опытные модели – это уменьшенные или увеличенные копии проектируемого объекта. Используют для исследования и прогнозирования его будущих характеристик.
Например, модель корабля исследуется в бассейне для изучения устойчивости судна при качке, модель автомобиля «продувается» в аэродинамической трубе с целью исследования обтекаемости кузова, модель сооружения используется для привязки здания к конкретной местности и т.д.
Научно – технические модели - создаются для исследования процессов и явлений. К таким моделям можно отнести, например, прибор для получения грозового электрического разряда или стенд для проверки телевизоров.
Игровые модели – это военные, экономические, спортивные, деловые игры. Эти модели как бы репетируют поведение объекта в различных ситуациях, проигрывая их с учетом возможной реакции со стороны конкурента, союзника или противника. С помощью игровых моделей можно оказывать психологическую помощь больным, разрешать конфликтные ситуации.
Имитационные модели непросто отражают реальность с той или иной степенью точности, а имитируют ее. Эксперименты с моделей проводят при разных исходных данных. По результатам исследования делаются выводы. Такой метод подбора правильного решения получил название (метод проб и ошибок). Например, для выявления побочных действий лекарственных препаратов их испытывают в серии опытов над животными.
2) Классификация моделей по фактору времени:
Статические – модели, описывающие состояние системы в определенный момент времени (единовременный срез информации по данному объекту). Например, обследование учащихся в стоматологической поликлинике дает состояние их зубов в данный момент времени: соотношение молочных и постоянных, наличие пломб, дефектов и т.п.
Динамические – модели, описывающие процессы изменения и развития системы (изменения объекта во времени). Примеры: описание движения тел, развития организмов, процесс химических реакций.
При строительстве дома рассчитывают прочность его фундамента, стен, балок и устойчивость их к постоянной нагрузке. Это статическая модель здания. Но надо так же обеспечить противодействие ветрам, движению грунтовых вод, сейсмическим колебаниям и другим, изменяющимся во времени факторам. Эти вопросы можно решить с помощью динамических моделей.
Таким образом, один и тот же объект можно охарактеризовать и статической и динамической моделью.
3) Классификация моделей по отрасли знаний
- это классификация по отрасли деятельности человека: математические, биологические, химические, социальные, экономические, исторические и тд.
4) Классификация моделей по форме представления:
Материальные – это предметные (физические) модели. Они всегда имеют реальное воплощение. Отражают внешнее свойство и внутреннее устройство исходных объектов, суть процессов и явлений объекта-оригинала. Это экспериментальный метод познания окружающей среды. Примеры: детские игрушки, скелет человека, чучело, макет солнечной системы, школьные пособия, физические и химические опыты
Абстрактные (нематериальные) – не имеют реального воплощения. Их основу составляет информация. Это теоретический метод познания окружающей среды. По признаку реализации они бывают: мысленные и вербальные; информационные
Мысленные модели формируются в воображении человека в результате раздумий, умозаключений, иногда в виде некоторого образа. Это модель способствует сознательной деятельности человека. Примером мысленной модели является модель поведения при переходе через дорогу. Человек анализирует ситуацию на дороге (какой сигнал подает светофор, как далеко находятся машины, с какой скоростью они движутся и т.п.) и вырабатывается модель поведения. Если ситуация смоделирована правильно, то переход будет безопасным, если нет, то может произойти дорожно-транспортное происшествие.
Вербальные (от лат. verbalis – устный) – мысленные модели, выраженные в разговорной форме. Используется для передачи мыслей.
Чтобы информацию можно было использовать для обработки на компьютере, необходимо выразить ее при помощи системы знаков, т.е. формализовать. Правила формализации должны быть известны и понятны тому, кто будет создавать и использовать модель. Поэтому наряду с мысленными и вербальными моделями используют более строгие – информационные модели.
Информационные модели – целенаправленно отобранная информация об объекте, которая отражает наиболее существенные для исследователя свойства этого объекта.
Типы информационных моделей:
Табличные – объекты и их свойства представлены в виде списка, а их значения размещаются в ячейках прямоугольной формы. Перечень однотипных объектов размещен в первом столбце (или строке), а значения их свойств размещаются в следующих столбцах (или строках)
Иерархические – объекты распределены по уровням. Каждый элемент высокого уровня состоит из элементов нижнего уровня, а элемент нижнего уровня может входить в состав только одного элемента более высокого уровня
Сетевые – применяют для отражения систем, в которых связи между элементами имеют сложную структуру
По степени формализации информационные модели бывают образно-знаковые и знаковые.
Ярким примером образно-знаковой модели является географическая карта. Цвет и форма материков, океанов, гор, изображенных на карте, сразу подключает образное мышление. По цвету на карте сразу можно оценить рельеф. Например, с голубым цветом у человека ассоциируется вода, с зеленым цветущий луг, равнина. Карта изобилует условными обозначениями. Зная этот язык, человек может получить достоверную информацию об интересующем его объекте. Информационная модель в этом случае будет результатом осмысления сведений, полученных при помощи органов чувств и информации, закодированной в виде условных изображений.
То же можно сказать о живописи. Неискушенный зритель воспримет картину душой в виде образной модели. Но существуют некоторые художественные языки, соответствующие различным живописным жанрам и школам: сочетание цветов, характер мазка, способы передачи воздуха, объема и т. д. Человеку, знающему эти условности, легче разобраться в том, что имел в виду художник, особенно если произведение не относится к реализму. При этом общее восприятие картины (информационная модель) станет результатом осмысления информации как в образной, так и в знаковой формах.
Еще один пример такой модели — фотография. Фотоаппарат позволяет получить изображение оригинала. Обычно фотография дает нам довольно точное представление о внешнем облике человека. Существуют некоторые признаки (высота лба, посадка глаз форма подбородка), по которым специалисты могут определить характер человека, его склонность к тем или иным поступкам. Этот специальный язык формируется из сведений, накопленных в области физиогномики и собственного опыта. Знающие врачи, взглянув на фото незнакомого человека, увидят признаки некоторых заболеваний. Задавшись разными целями, по одной и той же фотографии можно получить различные информационные модели. Они будут результатом обработки образной информации, полученной при разглядывании фотографии, и информации, сложившейся на основе знания специального профессионального языка.
По форме представления образно-знаковых моделей среди них можно выделить следующие группы:
• геометрические модели, отображающие внешний вид оригинала (рисунок, пиктограмма, чертеж, план, карта, объемное изображение);
• структурные модели, отражающие строение объектов и связи их параметров (таблица, граф, схема, диаграмма);
• словесные модели, зафиксированные (описанные) средствами естественного языка;
• алгоритмические модели, описывающие последовательность действий.
Знаковые модели можно разделить на следующие группы:
• математические модели, представленные математическими формулами, отображающими связь различных параметров объекта, системы или процесса;
• специальные модели, представленные на специальных языках (ноты, химические формулы и т. п.);
• алгоритмические модели, представляющие процесс в виде программы, записанной на специальном языке.
Глава 2. Метод математической гипотезы.
Сущность математической гипотезы и область ее применения.
Одной из наиболее распространенных форм выражения количественных зависимостей между различными величинами являются математические уравнения. Если мы попытаемся так или иначе изменить данное уравнение, то из него можно получить целый ряд новых следствий, которые могут оказаться или совпадающими с экспериментом, или противоречащими ему. По этим следствиям мы можем судить о правильности первоначального нашего предположения или гипотезы, сформулированной в виде некоторого уравнения. При этом, конечно, подразумевается, что исходное уравнение, которое затем подверглось изменению, описывает определенную зависимость между реальными величинами[6].
Академик С.И.Вавилов, впервые в нашей литературе поставивший вопрос о математической гипотезе, следующим образом характеризует ее сущность: «Положим, что из опыта известно, что изученное явление зависит от ряда переменных и постоянных величин, связанных между собой приближенно некоторым уравнением. Довольно произвольно видоизменяя, обобщая это уравнение, можно получить другие соотношения между переменными. В этом и состоит математическая гипотеза, или экстраполяция. Она приводит к выражениям, совпадающим или расходящимся с опытом, и соответственно этому применяется дальше или отбрасывается».
В качестве примера математических гипотез можно указать на такие фундаментальные гипотезы, с помощью которых была создана квантовая механика. Известно, что М.Бори и В.Гейзенберг взяли за основу канонические уравнения Гамильтона для классической механики, предположив, что их математическая форма должна остаться той же самой и для атомных частиц. Но вместо обычных чисел они ввели в эти уравнения величины иной природы—матрицы. Так возник матричный вариант квантовой механики.
В отличие от них Э.Шредингер в качестве исходного взял волновое уравнение классической физики, но стал иначе интерпретировать его члены. В этих целях он использовал известную в то время гипотезу Луи де Бройля о том, что всякой материальной частице соответствует некоторый волновой процесс. Благодаря такой новой интерпретации возник волновой вариант квантовой механики. Впоследствии удалось установить эквивалентность матричного и волнового вариантов.
Рассматривая способ, с помощью которого был получен формализм квантовой механики, П.Дирак отмечает, что обобщение классических уравнений физики «настолько естественно и изящно, что создается чувство уверенности в правильности теории».
Из приведенных примеров видно, что проблематический момент в методе математической гипотезы состоит в том, что некоторую закономерность, выраженную в виде определенного математического уравнения, переносят с известной области явлений на неизвестную.
Всякий же перенос отношений, свойств или закономерностей с исследованной области явлений на другие, неизвестные явления представляет типичный случай неполной, или проблематической, индукции, посредством которой и происходит главным образом расширение знания в опытных науках. Не случайно поэтому математическую гипотезу называют также математической экстраполяцией.
Разумеется, что подобный перенос всегда сопровождается некоторой модификацией первоначального уравнения. И.В.Кузнецов в статье «О математической гипотезе» указывает на четыре основных способа такой модификации:
(1) изменяется тип, общий вид уравнения;
(2) в уравнение подставляются величины иной природы;
(3) изменяются и тип уравнения, и тип величин;
(4) изменяются граничные, предельные условия.
Соответственно способу модификации можно анализировать различные конкретные примеры математических гипотез, которые встречаются в истории теоретического естествознания и прежде всего в физике.
Когда говорят об экстраполяции некоторой закономерности с помощью математической гипотезы, то всегда имеют в виду экстраполяцию определенной математической зависимости, выражается ли она с помощью формулы, уравнения или как-либо иначе. Поэтому кажется целесообразным так расширить понятие о математической гипотезе, чтобы оно охватывало любые типы отношений, которые изучаются в математике.
Наиболее подходящей для этой цели является концепция математической структуры, так как с современной точки зрения математику можно рассматривать «как скопление абстрактных форм — математических структур»[5]. Для характеристики таких структур важно, во-первых, указать одно или несколько отношений, в которых находятся ее элементы; во-вторых, точно сформулировать в аксиомах те требования, которым должны удовлетворять эти отношения. Конкретная природа самих элементов, специфический характер отношений, в которых они находятся, не существенны для математического исследования. С такой более общей точки зрения математическую гипотезу можно определить как экстраполяцию определенной математической структуры с изученной области явлений на новую, неизученную.
Иногда вместо структуры предпочитают говорить, в особенности физики, о математическом формализме. Хотя наиболее распространенной формой представления абстрактных математических структур в теоретическом естествознании обычно являются различные типы уравнений и их систем, тем не менее, в принципе допустимо использование и других структур, в частности теоретико-групповых и теоретико-множественных.
Перенося определенную математическую гипотезу на неисследованную область явлений, мы по сути дела выдвигаем гипотезу о том, что эта структура будет сохраняться и в новой области. Чтобы убедиться в справедливости нашего предположения, важно вывести из гипотезы все необходимые следствия, в том числе такие, которые можно проверить экспериментально. Для этого требуется определенным образом интерпретировать как следствия, так и саму гипотезу. Однако именно такая интерпретация составляет едва ли не самую трудную часть исследования.
«Легче открыть математическую форму, необходимую для какой-нибудь основной физической теории,— пишет П.Дирак, — чем ее интерпретацию». Основная причина этого состоит в том, что число возможных абстрактных математических структур заведомо меньше числа различных конкретных интерпретаций, которые могут иметь такие структуры. Это вполне понятно, поскольку каждая математическая структура представляет абстракцию от самых различных по содержанию реальных систем. Поэтому, отмечает Дирак, число основных идей, среди которых происходит выбор, в чистой математике ограничено, в то время как при физической интерпретации могут обнаружиться чрезвычайно неожиданные вещи.
Таким образом, гипотеза о возможной математической структуре изучаемых явлений служит чрезвычайно ценным эвристическим средством в руках исследователя.
Она открывает возможность для целенаправленных поисков необходимой интерпретации, а затем и построения теории исследуемых явлений. На примере математической гипотезы можно показать, как существенно изменилась роль математики в современной науке вообще и в естествознании в особенности. Если раньше математические методы использовались преимущественно для обработки данных наблюдения и эксперимента, а затем установления функциональной связи между исследуемыми величинами процесса, то теперь ее абстрактные структуры нередко применяются для поисков конкретных естественнонаучных закономерностей. Другими словами, если раньше математика обеспечивала естествознание методами для количественной обработки изучаемых явлений и оформления его теорий, то теперь она помогает также находить закономерности, которыми управляются эти явления, и тем самым способствует построению его теорий.
Эта эвристическая функция современной математики особенно ярко проявляется в широком использовании аксиоматического метода и опирающихся на него математических структур. Если ученый убеждается в том, что исследуемые им отношения удовлетворяют аксиомам некоторой математической структуры, то он может сразу же воспользоваться всеми теоремами, которые из них логически вытекают. Однако главная трудность здесь, как мы видели, состоит в том, чтобы верно угадать математическую структуру. Фактически исследователь очень редко располагает готовой интерпретацией имеющейся в его распоряжении математической структуры. Поэтому поиски как самой структуры, так и ее интерпретации ведутся по тем следствиям, которые вытекают из предполагаемых структур. Именно здесь и проявляется весьма важная роль математической гипотезы как эвристического средства исследования.
Наибольшее применение метод математической гипотезы в настоящее время находит в теоретической физике. И это не случайно. Если классическая физика оперировала наглядными модельными представлениями, то в современной физике для такой наглядной интерпретации часто недостаточно привычных образов. Действительно, мы можем наглядно представить и материальные частицы, и волны классической физики, но трудно составить наглядный образ микрочастицы, которая объединяла бы в себе свойства и корпускул и волн. Ведь в нашем обычном представлении корпускулы и волны выступают как полярные противоположности. Иначе говоря, по мере того как в сферу нашего познания попадают явления микро и мегамира, для их представления у нас нет наглядных образов. Поэтому, чтобы исследовать закономерности микроявлений или процессов, совершающихся в мегамире, приходится отказываться от привычных наглядных представлений и обращаться к абстрактным методам современной математики. Пример современной физики показывает, насколько эффективным является такой метод. Математическая гипотеза, основанная на экстраполяции абстрактных математических структур на новые области познания, служит одним из действенных методов логико-математического исследования.
Некоторые принципы отбора математических гипотез.
Чтобы убедиться в обоснованности гипотезы, необходимо, как уже отмечалось, получить из нее следствия и проверить их на опыте. Существуют ли какие-либо другие приемы и принципы, с помощью которых можно выдвигать или, по крайней мере, отбирать гипотезы, отказываться от гипотез явно ненадежных? Поскольку гипотеза логически не вытекает из данных опыта, то бессмысленно пытаться искать какие-то логические каноны, с помощью которых можно безошибочно создавать новые гипотезы в науке. 3адача логики здесь чисто критическая. Формирование новых гипотез — творческий процесс, его нельзя уложить в заданные схемы. Тем не менее, было бы ошибкой рассматривать этот процесс как иррациональный.
Обобщая многовековой опыт научного познания, исследователи накопили большой ценный материал, относящийся как к психологии, так и методологии научного познания. В различных науках этот опыт выступает в виде некоторых предварительных, эвристических принципов, с которыми ученые так или иначе должны считаться при выборе гипотез. Поскольку математические гипотезы наибольшее применение находят в теоретической физике, то в дальнейшем мы будем говорить о принципах отбора гипотез именно в данной науке.
Многие исследователи отмечают, что выдвижение математических гипотез в теоретической физике в известной мере регулируется некоторыми принципами физического и методологического характера, которые ограничивают свободу выбора. К числу таких принципов отбора обычно относят законы сохранения (заряда, массы, энергии и т.д.), принцип ковариантности уравнений при определенных преобразованиях, в особенности принцип соответствия. Роль всех этих принципов достаточно убедительно продемонстрирована в процессе создания основных теорий современной физики.
Руководствуясь идеей о единстве материи и взаимосвязи различных форм ее существования, физик, естественно, будет рассчитывать, что такие фундаментальные законы и принципы, как законы сохранения и принцип ковариантности уравнений, будут иметь место и во вновь создаваемой теории[5]. Что касается принципа соответствия, то его эвристическое значение достаточно ясно.
Действительно, если существует преемственность в развитии теории, то при обобщении и развитии ее понятий и принципов вполне разумно требовать, чтобы уравнения старой теории могли быть получены из новой в качестве некоторого предельного или частного случая.
Такое соответствие действительно обнаруживается между классической механикой и теорией относительности, с одной стороны, классической и квантовой механикой — с другой. Это обстоятельство в значительной мере учитывалось творцами новых физических теорий, хотя в явном виде сам принцип соответствия был впервые сформулирован лишь Н. Бором.
Кроме чисто физических принципов отбора подходящих математических гипотез существуют и другие эвристические принципы, которые с успехом могут быть использованы при отборе любых научных гипотез. Отметим здесь только принципы простоты и математического изящества уравнений, с помощью которых выражаются те или иные гипотезы. П. Дирак настолько высоко ценит последний принцип, что считает математическую красоту (важнейшим регулятивным критерием отбора гипотез и теорий. Требование, чтобы гипотеза могла быть исследована существующими логико-математическими методами, настолько сильно довлеет над исследователем, что часто он предпочитает строить менее сильные гипотезы, лишь бы получить возможность применить к ним известный математический аппарат. Без этого оказывается невозможным получить из гипотезы следствия, которые можно было проверить на опыте.
Когда говорят о простоте гипотез, то имеют в виду прежде всего не онтологический, а теоретико-познавательный и методологический аспекты. Речь здесь должна идти скорее о простоте знаковых, или семиотических, систем, с помощью которых выражается та или иная гипотеза. Само понятие простоты можно рассматривать с трех точек зрения. Синтаксическое представление о простоте связано со стройностью, согласованностью различных компонентов гипотезы. При прочих равных условиях мы всегда предпочтем выбрать гипотезу, которая синтаксически будет проще, так как ее легче исследовать существующими логико-математическими методами.
Семантическая концепция простоты существенным образом зависит от возможности эмпирической интерпретации гипотезы. Прагматическая простота связана с практическими соображениями по разработке и проверке гипотезы. Как правило, ученый предпочитает иметь дело с гипотезой, которая легче поддается математической разработке, так как в этом случае из нее можно получить точные количественные следствия. Учитывая необходимость экспериментальной проверки гипотез, ученый часто выбирает ту из них, проверку следствий из которой можно осуществить с помощью более простого эксперимента.
В практической работе исследователь нередко может столкнуться с ситуацией, в которой соображения простоты одного вида могут противоречить соображениям простоты другого вида. В этих, как и во всех других случаях, основным регулятором отбора будут выступать соображения, касающиеся основной функции гипотезы: чтобы она могла объяснить те опыты и наблюдения, из анализа и обобщения которых возникла. Никакая простота или ложно понятая «экономия мышления» в духе Э. Маха сама по себе не в состоянии гарантировать надежность гипотезы.
Заключение
Метод моделирования является крайне важным не только для процессов жизнедеятельность, но и для науки в целом. Можно сделать вывод, что метод моделирования является одним из самых наглядных, надежных и объективных методов научного исследования. Данный метод позволяет максимально объективно и всесторонне анализировать многие процессы и явления в большинстве направлений науки. В данном реферате была раскрыта сущность данного метода, приведены его цели, перечислены возможные критерии создаваемых моделей.
Также в данной работе был описан метод математической гипотезы, который характерен преимущественно для точных дисциплин с большим арсеналом математических средств. Данный метод состоит в переносе закономерности, выраженной математическим выражением, из известной области в неизвестную путем видоизменения уравнения. Это позволяет вывести целый ряд следствий, которые можно проверить экспериментально.
На мой взгляд, оба этих метода научного познания чрезвычайно важны для научных исследований в разных областях. Однако метод моделирования может быть применен в более широкой области направлений, как научных, так и нет. Можно сказать, что это базовый метод, без которого невозможно обойтись во многих дисциплинах. Также преимуществом метода моделирования является наглядность и возможность на основе созданных моделей прогнозировать конечный результат. В свою очередь, метод математической гипотезы применяется в основном в точных науках. Наибольшей популярностью данный метод пользуется в области физики. Но основным преимуществом метода математической гипотезы является то, что он приводит к появлению множества новых концепций и закономерностей в неизвестной области, к которой данный метод применяется. Появление новых теорий, которые можно проверить эмпирическим путем, является фундаментом для новых открытий. Данный факт очень важен для развития науки.
Литература
Глинский Б. А. Моделирование как метод научного исследования. М., 1965;
Штофф В. А. О роли модели в познании Л., 1963
Штофф. В.А. Моделирование и философия. М.-Л., «Наука», 1965.
Самарский А. А., Михайлов А. П. Математическое моделирование: Идеи. Методы. Примеры. — М.: Наука, 1997.
Константинов Ф. В. Математическая гипотеза. Философская Энциклопедия (1960—1970).
Степин В.С., Елсуков А.Н. Методы научного познания. Мн., 1974