Словари

Архитектурный словарь
Бизнес словарь
Биографический словарь
Медицинский словарь
Морской словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь Даля
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Строительный словарь
Финансовый словарь
Энциклопедический словарь
Этнографический словарь


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

Словарь логики

    (всего слов: 420)

Аксиома

(от греч. axioma — значимое, принятое положение)  — исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. еся в особом доказательстве в силу его самоочевидности, нагляд­ности, ясности и т. п. Так, Аристотель (384—322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей яс­ности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самооче­видные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их оче­видность. Переосмысление проблемы обоснования А. изменило и содер­жание самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосно­вываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А. Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимиза­ции числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. — это просто одна из тех формул, из которых выводятся остальные доказуе­мые формулы. Если, однако, теория еще не определена однознач­но, выбор ее А. может диктоваться и содержательными соображе­ниями.


назад