Конспект лекций по дисциплине «Философия и методология науки» составлен на основе учебного пособия для аспирантов и магистрантов «Философия и методология науки»



Pdf көрінісі
бет84/114
Дата20.05.2022
өлшемі1.25 Mb.
#458200
түріКонспект лекций
1   ...   80   81   82   83   84   85   86   87   ...   114
elektronnyj-konspekt-filosofiya-i-metodologiya-nauki

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


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


выполняемых расчетов и простотой модификаций математических моделей для имитации 
тех или иных условий эксперимента. 
В качестве основных типов вычислительного эксперимента выделяют поисковый
прогностический, оптимизационный, диагностический и др. Особый интерес вызывает 


Достарыңызбен бөлісу:
1   ...   80   81   82   83   84   85   86   87   ...   114




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет