Главная

О НАС    ПРАВОСЛАВНЫЕ НОВОСТИ РЕГИОНА     РЕЛИГИОЗНЫЕ НОВОСТИ

ГАЗЕТА "СПАС"    ВОПРОСЫ И ОТВЕТЫ    РАСПИСАНИЕ БОГОСЛУЖЕНИЙ

ЕПАРХИАЛЬНОЕ УПРАВЛЕНИЕ И ОТДЕЛЫ  
ДУХОВНЫЕ РАЗМЫШЛЕНИЯ  
КОММЕНТАРИИ К БИБЛИИ  
ПРАВОСЛАВНАЯ БИБЛИОТЕКА  
ФОТОЛЕТОПИСЬ  
ПОЧТОВАЯ РАССЫЛКА  
ХРАМЫ КАЛИНИНГРАДСКОЙ ЕПАРХИИ  
ОПРОСНИК  
КАРТА САЙТА  
АРХИВ НОВОСТЕЙ  
ВИДЕОАРХИВ  
ВНЕСТИ ПОЖЕРТВОВАНИЕ НА ХРАМ  

 
ПОИСК
ПО САЙТУ
 
 
РЕКОМЕНДУЕМ

Официальный сайт Русской Православной Церкви / Патриархия.ru

Православие.Ru

Фома-Центр / журнал Фома

Электронная библиотека


НАШ БАННЕР

 

АКСИОМАТИЧЕСКИЙ МЕТОД

 

 

Новейший философский словарь:

АКСИОМАТИЧЕСКИЙ МЕТОД (греч. axioma — значимое, принятое положение) — способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость A. M. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные ("принципы") и требующие доказательства ("доказываемые"). В своем развитии A. M. прошел три этапа. На первом этапе A. M. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат "Начала" Евклида. На втором этапе Д. Гильберт внес формальный критерий применения A. M. — требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе A. M. становится формализованным. Соответственно, изменилось и понятие "аксиома". Если на первом этапе развития A. M. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения. Помимо основных и вводимых утверждений в A. M. стал выделяться также уровень специальных правил вывода. Таким образом наравне с аксиомами и теоремами как множеством всех истинных утверждений данной теории формулируются аксиомы и теоремы для правил вывода — метааксиомы и метатеоремы. К, Геде-лем в 1931 была доказана теорема о принципиальной неполноте любой формальной системы, ибо в ней содержатся неразрешимые предложения, которые одновременно недоказуемы и неопровержимы. Учитывая накладываемые на него ограничения, А. М. рассматривается как один из основных методов построения развитой формализованной (а не только содержательной) теории наряду с гипотетико-дедуктивным методом (который иногда трактуется как "полуаксиоматический") и методом математической гипотезы. Гипотетико-де-дуктивный метод, в отличие от A. M. , предполагает построение иерархии гипотез, в которой более слабые гипотезы выводятся из более сильных в рамках единой дедуктивной системы, где сила гипотезы увеличивается по мере удаления от эмпирического базиса науки. Это позволяет ослабить силу ограничений A. M. : преодолеть замкнутость аксиоматической системы за счет возможности введения дополнительных гипотез, жестко не связанных исходными положениями теории; вводить абстрактные объекты разных уровней организации реальности, т. е. снять ограничение на справедливость аксиоматики "во всех мирах"; снять требование равноправности аксиом. С другой стороны, A. M. , в отличие от метода математической гипотезы, акцентирующего внимание на самих правилах построения математических гипотез, относящихся к неисследованным явлениям, позволяет апеллировать к определенным содержательным предметным областям. В. Л. Абушенко

 

А я знаю, что Бог есть. Но что такое есть сущность Его, поставляю это выше разумения. Поэтому как спасаюсь? Через веру. А вера довольствуется знанием, что "Бог есть" (а не что такое Он есть) "и ищущим Его воздает" (Евр. 11:6). Следовательно, сознание непостижимости Божией есть познание Божией сущности, и покланяемся постигнутому не в том отношении, какая это сущность, но в том, что эта сущность есть.

 

Св. Василий Великий

 

НАШ ОПРОС

Если бы Господь пришел в мир сегодня, о чем бы вы Его спросили?

6%
[253]

3%
[149]

58%
[2211]

31%
[1180]

Всего проголосовало:
3793 человека

Почему существует зло?
Когда наступит Конец Света?
Мне не о чем особенно спрашивать. Важнее попросить о прощении своих грехов
Как же выполнить все то, что Он нам заповедал?

ВОПРОСЫ И ОТВЕТЫ
Задать вопрос

 

КАЛЕНДАРЬ
церковный православный
и памятных дат
 
Пн Вт Ср Чт Пт Сб Вс
             
             
             
             
             
             

 

ФОТОЛЕТОПИСЬ

Фото10

 

ХРАМЫ ЕПАРХИИ
интерактивная карта
 

главная  |  о нас  |  православные новости региона  |  газета "спас"  |  вопросы и ответы

духовные размышления  |  комментарии к библии  |  православная библиотека  |  фотолетопись  |  радиопрограмма "спас"

почтовая рассылка  |  храмы калининградской епархии  |  епархиальное управление и отделы  |  архив новостей  |  образовательный мультисловарь

Видеоархив  |  Внести пожертвование на храм

E-mail: ubrus@inbox.ru

© 2005-2029 www.ubrus.org

При любом использовании материалов и новостей данного сайта, гиперссылка (hyperlink) на www.ubrus.org обязательна.