(от греч . axioma — значимое, принятое положение ) — исходное, принимаемое без доказательства положение к.-л. теории , лежащее в основе доказательств других ее положений. еся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384—322 до н. э.) считал, что А. ( начала ) не требуют доказательства по причине своей ясности и просто ты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него , попытка обоснования которых могла только подорвать их очевидность. Переосмысление проблемы обоснования А. изменило и содержание самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе , а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А. Критерии выбор а А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. — это просто одна из тех формул, из которых выводятся остальные доказуемые формулы. Если , однако , теория еще не определена однозначно, выбор ее А. может диктоваться и содержательными соображениями.
Что такое Аксиома? Значение слова Аксиома в словаре логики
Аксиома - (от греч. axioma — значимое, принятое положение) — исходное, принимаемое без доказательства положение к.-л. теории, лежащее в основе доказательств других ее положений. еся в особом доказательстве в силу его самоочевидности, наглядности, ясности и т. п. Так, Аристотель (384—322 до н. э.) считал, что А. (начала) не требуют доказательства по причине своей ясности и простоты. Древнегреческий математик Евклид (III в. до н. э.) рассматривал принятые им геометрические А. как самоочевидные истины, достаточные для выведения всех других истин геометрии. Нередко А. трактовались как вечные и непреложные истины, известные до всякого опыта и не зависящие от него, попытка обоснования которых могла только подорвать их очевидность. Переосмысление проблемы обоснования А. изменило и содержание самого термина «А.». А. являются не исходным началом познания, а скорее его промежуточным результатом. Они обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней есть одновременно и подтверждение ее А. Критерии выбора А. меняются от теории к теории и являются во многом прагматическими, учитывающими соображения краткости, удобства манипулирования, минимизации числа исходных понятий и т. п. В частности, в формальном исчислении, класс теорем которого уже известен, А. — это просто одна из тех формул, из которых выводятся остальные доказуемые формулы. Если, однако, теория еще не определена однозначно, выбор ее А. может диктоваться и содержательными соображениями.
Значение слова Аксиома в других словарях:
- Что такое Аксиома? Энциклопедический словарь
- Определение термина Аксиома? Словарь Даля
- Толкование слова Аксиома? Словарь Ожегова
- Что означает слово Аксиома? Философский словарь
- Что означает термин Аксиома? Социологический словарь
- Что такое Аксиома? Политический словарь
- Определение термина Аксиома? Энциклопедия Кольера
- Толкование слова Аксиома? Энциклопедия Брокгауза и Ефрона
- Что означает слово Аксиома? Словарь иностранных слов
- Что означает термин Аксиома? Этимологический словарь Фасмера
- Что такое Аксиома? Толковый словарь Ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Аргументации Теория - теория, изучающая те многообразные дискуссионные приемы, которые ...
- Аргумент К Скромности - ссылка в ходе спора на какойто авторитет, ...
- Аргумент К Незнанию - или невежеству, ссылка на неосведомленность оппонента в ...
- Аргумент К Аудитории - попытка опереться на мнения, чувства и настроения ...
- Аргумент - (лат. argumentum) — суждение (или совокупность взаимосвязанных суждений), ...
- Аподиктический - (от греч. apodeiktikos — доказательный, убедительный) безусловно ...
- Антиномия Рассела - одна из наиболее известных логических антиномий, обнаруженная ...
- Символика Логическая - система знаков (символов), используемая в логике для ...
- Разрешения Проблема - или: Разрешимости проблема, — проблема нахождения для данной ...
- Закон Дистрибутивности - (от англ. distribution распределение, размещение) общее ...
- Интуиционистская Логика - одна из наиболее важных ветвей логики неклассической, ...
- Логика Норм - см.: Деонтическая логика. ...
- Категорическое Суждение - (в традиционной логике) суждение, в котором предикат утверждается ...
- Дистрибутивные И Коллективные Свойства. Д. - с. общие свойства, принадлежащие каждому элементу множества ...
- Класс, Множество (В Логике И Математике) - конечная или бесконечная совокупность объектов, выделенная по ...