Учебное пособие Харьков, хнэу, 2009 2
жүктеу/скачать 4,86 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Схема гипотетико-дедуктивного построения теории
- Сопоставление гипотетико-дедуктивного
|
Гипотеза - следствие Исходная гипотеза (гипотезы) Гипотеза - следствие Гипотеза - следствие Гипотеза - следствие Гипотеза - следствие Факты Факты Факты Факты Факты Проверка гипотез – следствий Гипотезы верхнего яруса Гипотезы нижних ярусов Рис. 11.2. Схема гипотетико-дедуктивного построения теории 206 206 Аксиоматический метод — это метод теоретического ис- следования, основанный на том, что ряд очевидных положений (акси- ом) принимается без доказательства. При этом аксиомы выступают посылками умозаключений, а следствия из них формируются чисто логическим путем на основе принципа дедукции. Широкое распростра- нение аксиоматический метод получил в математике. Аксиома – это положение, не требующие доказательства истинности. Аксиоматическое построение теории осуществляется следующим образом (рис. 11.3): 1. Сначала задается набор исходных положений, не требующих доказательства (в рамках данной системы знания). Эти положения называются аксиомами или постулатами. 2. Затем задаются правила формирования следствий из аксиом. 3. Наконец, из аксиом в соответствии с заданными правилами стро- ится система выводов. Совокупность исходных аксиом и выведенных на их основе положений образует аксиоматически построенную теорию. Выделяют три разновидности аксиоматического подхода: содержа- тельно-аксиоматический, формальный и формализованный. При содержательно-аксиоматическом построении теории в каче- стве аксиом выступают интуитивно очевидные положения. Широко из- вестным примером содержательно-аксиоматической теории является геометрия Евклида. Аналогичный подход применен и при построении экономической теории ожидаемой полезности – данная теория базиру- ется на аксиоме о том, что человек принимает экономические решения, исходя из стремления максимизировать предполагаемую выгоду. При формальном построении аксиоматической системы аксиомы вводятся формально, к ним не предъявляется требование интуитивной очевидности, они рассматриваются как своеобразные определения ис- ходных понятий (терминов) создаваемой системы (Пример 11.2). Особенностью формализованного построения аксиоматической системы является использование математической логики как средства, 207 207 обеспечивающего строгие правила вывода следствий из доказанных утверждений. При построении формализованной аксиоматической си- стемы вводятся исходные знаки - термины, определяются правила их соединения в формулы, задается перечень исходных формул (принима- емых без доказательства) и правила вывода формул-следствий. Обычная алгебра, которую учат в школе, не единственно возможная... Можно определить понятия сложения и умножения объектов и при этом отказаться от аксиом обычной алгебры, например от предположения, что результат умножения не зави- сит от порядка сомножителей. Получится другая алгебра (А. Мигдал [26]). 208 208 Рис. 11.3. Сопоставление гипотетико-дедуктивного жүктеу/скачать 4,86 Mb. Достарыңызбен бөлісу:
|