Словарь логики - аксиома
Аксиома
(от греч. axioma — значимое, принятое положение) — исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. еся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384—322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты.
Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность.
Переосмысление проблемы обоснования А. изменило и содержание самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А.Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. — это просто одна из тех формул, из которых выводятся остальные доказуемые формулы.
Если, однако, теория еще не определена однозначно, выбор ее А. может диктоваться и содержательными соображениями. .Вопрос-ответ:
Самые популярные термины
1 | 372 | |
2 | 368 | |
3 | 362 | |
4 | 337 | |
5 | 336 | |
6 | 331 | |
7 | 327 | |
8 | 324 | |
9 | 323 | |
10 | 322 | |
11 | 318 | |
12 | 316 | |
13 | 312 | |
14 | 310 | |
15 | 309 | |
16 | 308 | |
17 | 307 | |
18 | 307 | |
19 | 303 | |
20 | 297 |