восхождение от абстрактного к конкретному, исторический, метод
системного анализа
Аксиоматический метод -
способ исследования,
который состоит в том,
что некоторые утверждения (аксиомы, постулаты) принимаются без
доказательств и затем по определенным логическим правилам из них
выводятся остальные знания.
Гипотетический метод -
способ исследования с использованием
научной гипотезы, т. е. предположения о причине, которая вызывает данное
следствие, или о существовании некоторого явления или предмета.
Разновидностью этого метода является гипотетико-дедуктивный
способ исследования, сущность которого состоит в создании системы
дедуктивно связанных между собой гипотез, из которых выводятся
утверждения об эмпирических фактах.
В структуру гипотетико-дедуктивного метода входит:
1) выдвижение догадки (предположения) о причинах и закономерностях
изучаемых явлений и предметов;
2) отбор из множества догадок наиболее вероятной, правдоподобной;
3) выведение из отобранного предположения (посылки) следствия
(заключения) с использованием дедукции;
4) экспериментальная проверка следствий, выведенных из гипотезы.
Формализация - отображение явления или предмета в знаковой форме
какого-либо искусственного языка (например, логики, математики, химии),
созданного для точного выражения мыслей с целью исключения
неоднозначного понимания, и изучение этого явления или предмета путем
операций с соответствующими знаками. Использованиe искусственного
формализованного языка в научном исследовании позволяет устранить такие
недостатки
естественного
языка,
как
многозначность,
неточность,
неопределенность. При формализации вместо рассуждений об объектах
исследования оперируют со знаками (формулами). Путем операций с
формулами искусственных языков можно получать новые формулы,
доказывать истинность какого-либо положения.
Формализация
является
основой
для
алгоритмизации
и
программирования, без которых не может обойтись компьютеризация знания
и процесса исследования.
Достарыңызбен бөлісу: