Конспект лекций по дисциплине «Философия и методология науки» составлен на основе учебного пособия для аспирантов и магистрантов «Философия и методология науки»
жүктеу/скачать 1.25 Mb. Pdf көрінісі
|
| аксиоматического метода, который широко применятся не только в математике, где в
первую очередь обнаруживает свою продуктивность, но и в тех естественнонаучных дисциплинах, где используется метод формализации (пример, в физике). При аксиоматическом построении научного знания изначально задается набор независимых друг от друга исходных аксиом или постулатов, т.е. утверждений, доказательство истинности которых в данной системе знания не требуется и не обсуждается. Из аксиом по определенным формальным правилам строится система выводов. Совокупность аксиом и выведенных на их основе предложений образует аксиоматически построенную теорию. Такая теория может быть использована для модельного представления уже не одного, а нескольких классов явлений, для характеристики не одной, а нескольких предметных областей. Отыскание правил соотнесения аксиом формально построенной системы знания с определенной предметной областью называется интерпретацией. Эвристика аксиоматического метода позволяет выстраивать теоретическую систему знания до того, как подвергнута экспликации соответствующая ей область действительности, а затем отыскивать эту область в процессе интерпретации теории, что значительно расширяет прогностические функции научного исследования. В современном естественнонаучном познании примером формальных аксиоматических систем являются фундаментальные физические теории, что влечет за собой ряд специфических проблем их интерпретации и обоснования (особенно применительно к теоретическим построениям неклассической и постнеклассической науки). Когда в качестве правил выведения следствий из аксиом используются положения математической логики, аксиоматический метод приводит к построению формализованных аксиоматических систем – абстрактных знаковых моделей, интерпретируемых на различных классах объектов. Таким путем создаются научные теории большой степени общности, отличающиеся стройной и прозрачной логической структурой. В силу специфики аксиоматически построенных систем теоретического знания, для их обоснования особое значение приобретают внутритеоретические критерии истинности. К ним следует отнести требование непротиворечивости теории и ее полноты. Первое требование предполагает, что в аксиоматической теории должны отсутствовать логические противоречия, из системы независимых аксиом не должны вытекать исключающие друг друга положения; второе – сводится к требованию достаточных оснований для доказательства или опровержения любого положения, сформулированного в рамках ее содержания. Особое место в современном теоретическом исследовании принадлежит методу вычислительного эксперимента, широкое использование которого началось в последние десятилетия двадцатого века благодаря стремительному развитию информационно- компьютерной базы научного поиска. Вычислительный эксперимент – это эксперимент над математической моделью объекта на ЭВМ, сущность которого заключается в том, что по одним параметрам модели вычисляются другие ее характеристики и на этой основе делаются выводы о свойствах явлений, репрезентированных математической моделью. Основные этапы вычислительного эксперимента включают в себя: 1) построение математической модели изучаемого объекта в тех или иных условиях. Как правило, она представлена системой уравнений высокого порядка; 2) определение вычислительного алгоритма решения базовой системы уравнений; 3) построение программы реализации поставленной задачи для ЭВМ. Вычислительный эксперимент, базирующийся на триаде «математическая модель – алгоритм – программа», носит междисциплинарный характер, объединяя в едином цикле деятельность теоретиков, специалистов в области прикладной математики и программистов. На основе накопленного опыта математического моделирования, банка вычислительных алгоритмов и программного обеспечения вычислительный эксперимент позволяет быстро и эффективно решать сложные исследовательские задачи практически в любой области математизированного научного знания – от анализа фундаментальных проблем науки (например, проблемы управляемого термоядерного синтеза), расчетов в области космической техники и наукоемких технологий (расчетов траекторий движения и аэродинамических параметров космических летательных аппаратов, диагностики плазмы, технологий создания материалов с заданными свойствами, разработок в области вычислительной томографии) до исследования глобальных экологических проблем, гео- и астрофизических явлений (моделирования климатических процессов и их трансформаций под воздействием факторов антропогенного и техногенного характера). Обращение к вычислительному эксперименту позволяет резко снизить стоимость научных разработок и интенсифицировать процесс научного поиска, что обеспечивается многовариантностью выполняемых расчетов и простотой модификаций математических моделей для имитации тех или иных условий эксперимента. В качестве основных типов вычислительного эксперимента выделяют поисковый, прогностический, оптимизационный, диагностический и др. Особый интерес вызывает жүктеу/скачать 1.25 Mb. Достарыңызбен бөлісу:
|