206
206
Аксиоматический метод
— это метод теоретического ис-
следования, основанный на том, что ряд очевидных положений (акси-
ом) принимается без доказательства. При этом аксиомы выступают
посылками умозаключений, а следствия из них формируются чисто
логическим путем на основе принципа дедукции. Широкое распростра-
нение аксиоматический метод получил в математике.
Аксиома
– это положение, не требующие доказательства
истинности.
Аксиоматическое построение теории осуществляется следующим
образом (рис. 11.3):
1. Сначала задается набор исходных положений, не требующих
доказательства (в рамках данной системы знания). Эти положения
называются аксиомами или постулатами.
2. Затем задаются правила формирования следствий из аксиом.
3.
Наконец, из аксиом в соответствии с заданными правилами стро-
ится система выводов. Совокупность исходных аксиом и выведенных на их
основе положений образует аксиоматически построенную теорию.
Выделяют три разновидности аксиоматического подхода: содержа-
тельно-аксиоматический, формальный и формализованный.
При
Достарыңызбен бөлісу: 
