Что такое аксиома.

Словарь Ушакова

Аксиома

аксио ма , аксиомы, жен. (греч. axioma). Положение, принимаемое без доказательств (мат. ).

| Очевидная истина, утверждение, принимаемое на веру (книж. ).

Этимологический Словарь Русского Языка

Аксиома

Немецкое – Axiom.

Французское – axiome.

Латинское – axioma.

Греческое – axioma (бесспорное, общепринятое).

В русском языке слово «аксиома» известно с начала XVIII в. (1717 г.).

По мнению многих исследователей, слово было заимствовано непосредственно из латинского, хотя некоторые указывают на возможность происхождения из западноевропейских языков (немецкого или французского).

В латинском axioma восходит к греческому глаголу axioun – «признавать что-либо как достоверное». Первоисточником считается греческое существительное со значением «ценность, достоинство», «утверждение».

В современном русском языке аксиома – «неоспоримая истина, положение, которое по очевидности или общепринятости не требует доказательств».

Родственными являются:

Украинское – аксiома.

Белорусское – аксiёма.

Болгарское – аксиома.

Польское – axioma.

Чешское – axiom.

Производные: аксиоматический, аксиоматичный.

Начала Современного Естествознания. Тезаурус

Аксиома

(от греч. axioma - значимость, требование)

1) (в математике) - предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования математической теории, не является раз и навсегда законченной и совершенной и, как и сами аксиомы, изменяется и совершенствуется. К системе аксиом предъявляются требования: непротиворечивости, независимости и полноты. Аксиома также называется постулатом;

2) (в логике) - отправное, исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, т. к. является совершенно очевидным и поэтому может служить исходным для др. положений. Логическими аксиомами являются: закон тождества, закон противоречия, закон исключенного третьего (сформулированы Аристотелем) и закон достаточного основания (сформулирован Г. Лейбницем).

3) (в переносном смысле) - бесспорная, не требующая доказательств истина.

Культурология. Словарь-справочник

Аксиома

(греч. axioma – принятое положение) – положение, принимаемое без логических доказательств.

Педагогический терминологический словарь

Аксиома

(греч. axioma)

бесспорная истина, не требующая доказательств. В педагогике наиболее известны А. апперцепции и А. двойственности. А. апперцепции (см. ) констатирует зависимость всех последующих восприятий от содержания и структуры предшествующего опыта. В этой А. отражено то фундаментальное положение, что одно и то же воздействие производит несходное впечатление на разных людей из-за заведомых различий в их индивидуальном опыте. А. апперцепции объясняет сложность, мучительность внутренней работы, содержанием которой становится переоценка ценностей.

А. двойственности позволяет рассматривать и интерпретировать личность как единство психического и физического, материального и идеального в их историческом развитии и внутренней противоречивости. Человеческая природа одновременно духовна и материальна. В человеческой психике обнаруживается наличие и взаимодействие обоих начал. А. орудийно-знакового опосредования процесса усвоения культуры в ходе воспитания фиксирует тот факт, что обучать и воспитывать можно только посредством знаковых систем и через предметы, созданные человеком для человека.

(Бим-Бад Б.М. Педагогический энциклопедический словарь. - М., 2002. С. 14)

Термины Киносемиотики

АКСИОМА

(греч. axioma - принятое положение) - исходное утверждение (предложение) какой-либо научной теории, которое берется в качестве недоказуемого в данной теории и из которого (или совокупности которых) выводятся все остальные предложения теории по принятым в ней правилам вывода.

Философский словарь (Конт-Спонвиль)

Аксиома

Аксиома

♦ Axiome

Недоказуемое положение, служащее для доказательства других положений. Являются ли аксиомы истинными? Долгое время считалось, что являются. По мнению Спинозы или Канта, аксиома – это истина, очевидность которой ясна без доказательств, а потому и не нуждается в них. Современные математики и логики склонны рассматривать аксиомы как чистые конвенции или гипотезы, которые не могут быть очевидными истинами. Отныне истина заключается не в самих положениях (если аксиома не есть истина, ни одна теорема не может быть истинной), а в объединяющих их отношениях импликации или дедукции. Следовательно, аксиом в традиционном понимании термина не существует, есть лишь постулаты (Постулат). Но и это заявление – постулат, а не аксиома.

Толковый словарь русского языка (Алабугина)

Вестминстерский словарь теологических терминов

Аксиома

♦ (ENG axiom)

(греч. axioma, лат. axioma - утверждение)

утверждение, к-рое не требует доказательства и, следовательно, служит предпосылкой и основой аргументации. В христианском учении такой аксиомой может быть утверждение: "Бог существует".

множество исходных положений теории, постулатов, законов, принципов, общих суждений о свойствах и отношениях ее базовых или производных абстрактных объектов. В рамках конкретной теории истинность ее аксиом принимается всегда конвенционально, условно, предположительно (как бы «в кредит»). Аксиомы большинства теорий являются синтетическими, фактуальными высказываниями (аксиомы естественно-научных, социально-гуманитарных и технических теорий). К ним предъявляются следующие методологические требования: 1) логическая независимость друг от друга (т. е. невозможность логического выведения любой аксиомы из остальных аксиом данной теории); 2) непротиворечивость (как каждой из аксиом, так и в отношениях между ними); 3) полнота (множество аксиом теории должно быть достаточным основанием для построения (в частности, логического выведения из них) всего остального множества истинных утверждений данной теории о свойствах, отношениях и законах некоторой фиксированной области ее объектов. Особо важное значение соблюдение этих требований для аксиом имеет при исследовании структуры математических и логических теорий. Эти исследования осуществляются в рамках соответствующих металогических (металогика) или метаматематических теорий (метаматематика). (См. теория, доказательство, метаматематика).

Отличное определение

Неполное определение ↓

В пятом веке до нашей эры древнегреческий философ Зенон Элейский сформулировал свои знаменитые апории, самой известной из которых является апория "Ахиллес и черепаха". Вот как она звучит:

Допустим, Ахиллес бежит в десять раз быстрее, чем черепаха, и находится позади неё на расстоянии в тысячу шагов. За то время, за которое Ахиллес пробежит это расстояние, черепаха в ту же сторону проползёт сто шагов. Когда Ахиллес пробежит сто шагов, черепаха проползёт ещё десять шагов, и так далее. Процесс будет продолжаться до бесконечности, Ахиллес так никогда и не догонит черепаху.

Это рассуждение стало логическим шоком для всех последующих поколений. Аристотель, Диоген, Кант, Гегель, Гильберт... Все они так или иначе рассматривали апории Зенона. Шок оказался настолько сильным, что "... дискуссии продолжаются и в настоящее время, прийти к общему мнению о сущности парадоксов научному сообществу пока не удалось... к исследованию вопроса привлекались математический анализ, теория множеств, новые физические и философские подходы; ни один из них не стал общепризнанным решением вопроса... " [Википедия, " Апории Зенона "]. Все понимают, что их дурят, но никто не понимает, в чем заключается обман.

С точки зрения математики, Зенон в своей апории наглядно продемонстрировал переход от величины к . Этот переход подразумевает применение вместо постоянных. Насколько я понимаю, математический аппарат применения переменных единиц измерения либо ещё не разработан, либо его не применяли к апории Зенона. Применение же нашей обычной логики приводит нас в ловушку. Мы, по инерции мышления, применяем постоянные единицы измерения времени к обратной величине. С физической точки зрения это выглядит, как замедление времени до его полной остановки в момент, когда Ахиллес поравняется с черепахой. Если время останавливается, Ахиллес уже не может перегнать черепаху.

Если перевернуть привычную нам логику, всё становится на свои места. Ахиллес бежит с постоянной скоростью. Каждый последующий отрезок его пути в десять раз короче предыдущего. Соответственно, и время, затрачиваемое на его преодоление, в десять раз меньше предыдущего. Если применять понятие "бесконечность" в этой ситуации, то правильно будет говорить "Ахиллес бесконечно быстро догонит черепаху".

Как избежать этой логической ловушки? Оставаться в постоянных единицах измерения времени и не переходить к обратным величинам. На языке Зенона это выглядит так:

За то время, за которое Ахиллес пробежит тысячу шагов, черепаха в ту же сторону проползёт сто шагов. За следующий интервал времени, равный первому, Ахиллес пробежит ещё тысячу шагов, а черепаха проползет сто шагов. Теперь Ахиллес на восемьсот шагов опережает черепаху.

Этот подход адекватно описывает реальность без всяких логических парадоксов. Но это не полное решение проблемы. На Зеноновскую апорию "Ахиллес и черепаха" очень похоже утверждение Эйнштейна о непреодолимости скорости света. Эту проблему нам ещё предстоит изучить, переосмыслить и решить. И решение нужно искать не в бесконечно больших числах, а в единицах измерения.

Другая интересная апория Зенона повествует о летящей стреле:

Летящая стрела неподвижна, так как в каждый момент времени она покоится, а поскольку она покоится в каждый момент времени, то она покоится всегда.

В этой апории логический парадокс преодолевается очень просто - достаточно уточнить, что в каждый момент времени летящая стрела покоится в разных точках пространства, что, собственно, и является движением. Здесь нужно отметить другой момент. По одной фотографии автомобиля на дороге невозможно определить ни факт его движения, ни расстояние до него. Для определения факта движения автомобиля нужны две фотографии, сделанные из одной точки в разные моменты времени, но по ним нельзя определить расстояние. Для определения расстояния до автомобиля нужны две фотографии, сделанные из разных точек пространства в один момент времени, но по ним нельзя определить факт движения (естественно, ещё нужны дополнительные данные для расчетов, тригонометрия вам в помощь). На что я хочу обратить особое внимание, так это на то, что две точки во времени и две точки в пространстве - это разные вещи, которые не стоит путать, ведь они предоставляют разные возможности для исследования.

среда, 4 июля 2018 г.

Очень хорошо различия между множеством и мультимножеством описаны в Википедии . Смотрим.

Как видите, "во множестве не может быть двух идентичных элементов", но если идентичные элементы во множестве есть, такое множество называется "мультимножество". Подобную логику абсурда разумным существам не понять никогда. Это уровень говорящих попугаев и дрессированных обезьян, у которых разум отсутствует от слова "совсем". Математики выступают в роли обычных дрессировщиков, проповедуя нам свои абсурдные идеи.

Когда-то инженеры, построившие мост, во время испытаний моста находились в лодке под мостом. Если мост обрушивался, бездарный инженер погибал под обломками своего творения. Если мост выдерживал нагрузку, талантливый инженер строил другие мосты.

Как бы математики не прятались за фразой "чур, я в домике", точнее "математика изучает абстрактные понятия", есть одна пуповина, которая неразрывно связывает их с реальностью. Этой пуповиной являются деньги. Применим математическую теорию множеств к самим математикам.

Мы очень хорошо учили математику и сейчас сидим в кассе, выдаем зарплату. Вот приходит к нам математик за своими деньгами. Отсчитываем ему всю сумму и раскладываем у себя на столе на разные стопки, в которые складываем купюры одного достоинства. Затем берем с каждой стопки по одной купюре и вручаем математику его "математическое множество зарплаты". Поясняем математику, что остальные купюры он получит только тогда, когда докажет, что множество без одинаковых элементов не равно множеству с одинаковыми элементами. Вот здесь начнется самое интересное.

В первую очередь, сработает логика депутатов: "к другим это применять можно, ко мне - низьзя!". Дальше начнутся уверения нас в том, что на купюрах одинакового достоинства имеются разные номера купюр, а значит их нельзя считать одинаковыми элементами. Хорошо, отсчитываем зарплату монетами - на монетах нет номеров. Здесь математик начнет судорожно вспоминать физику: на разных монетах имеется разное количество грязи, кристаллическая структура и расположение атомов у каждой монеты уникально...

А теперь у меня самый интересный вопрос: где проходит та грань, за которой элементы мультимножества превращаются в элементы множества и наоборот? Такой грани не существует - всё решают шаманы, наука здесь и близко не валялась.

Вот смотрите. Мы отбираем футбольные стадионы с одинаковой площадью поля. Площадь полей одинакова - значит у нас получилось мультимножество. Но если рассматривать названия этих же стадионов - у нас получается множество, ведь названия разные. Как видите, один и тот же набор элементов одновременно является и множеством, и мультимножеством. Как правильно? А вот здесь математик-шаман-шуллер достает из рукава козырный туз и начинает нам рассказывать либо о множестве, либо о мультимножестве. В любом случае он убедит нас в своей правоте.

Чтобы понять, как современные шаманы оперируют теорией множеств, привязывая её к реальности, достаточно ответить на один вопрос: чем элементы одного множества отличаются от элементов другого множества? Я вам покажу, без всяких "мыслимое как не единое целое" или "не мыслимое как единое целое".

воскресенье, 18 марта 2018 г.

Сумма цифр числа - это пляска шаманов с бубном, которая к математике никакого отношения не имеет. Да, на уроках математики нас учат находить сумму цифр числа и пользоваться нею, но на то они и шаманы, чтобы обучать потомков своим навыкам и премудростям, иначе шаманы просто вымрут.

Вам нужны доказательства? Откройте Википедию и попробуйте найти страницу "Сумма цифр числа". Её не существует. Нет в математике формулы, по которой можно найти сумму цифр любого числа. Ведь цифры - это графические символы, при помощи которых мы записываем числа и на языке математики задача звучит так: "Найти сумму графических символов, изображающих любое число". Математики эту задачу решить не могут, а вот шаманы - элементарно.

Давайте разберемся, что и как мы делаем для того, чтобы найти сумму цифр заданного числа. И так, пусть у нас есть число 12345. Что нужно сделать для того, чтобы найти сумму цифр этого числа? Рассмотрим все шаги по порядку.

1. Записываем число на бумажке. Что же мы сделали? Мы преобразовали число в графический символ числа. Это не математическое действие.

2. Разрезаем одну полученную картинку на несколько картинок, содержащих отдельные цифры. Разрезание картинки - это не математическое действие.

3. Преобразовываем отдельные графические символы в числа. Это не математическое действие.

4. Складываем полученные числа. Вот это уже математика.

Сумма цифр числа 12345 равна 15. Вот такие вот "курсы кройки и шитья" от шаманов применяют математики. Но это ещё не всё.

С точки зрения математики не имеет значения, в какой системе счисления мы записываем число. Так вот, в разных системах счисления сумма цифр одного и того же числа будет разной. В математике система счисления указывается в виде нижнего индекса справа от числа. С большим числом 12345 я не хочу голову морочить, рассмотрим число 26 из статьи про . Запишем это число в двоичной, восьмеричной, десятичной и шестнадцатеричной системах счисления. Мы не будем рассматривать каждый шаг под микроскопом, это мы уже сделали. Посмотрим на результат.

Как видите, в разных системах счисления сумма цифр одного и того же числа получается разной. Подобный результат к математике никакого отношения не имеет. Это всё равно, что при определении площади прямоугольника в метрах и сантиметрах вы получали бы совершенно разные результаты.

Ноль во всех системах счисления выглядит одинаково и суммы цифр не имеет. Это ещё один аргумент в пользу того, что . Вопрос к математикам: как в математике обозначается то, что не является числом? Что, для математиков ничего, кроме чисел, не существует? Для шаманов я могу такое допустить, но для ученых - нет. Реальность состоит не только из чисел.

Полученный результат следует рассматривать как доказательство того, что системы счисления являются единицами измерения чисел. Ведь мы не можем сравнивать числа с разными единицами измерения. Если одни и те же действия с разными единицами измерения одной и той же величины приводят к разным результатам после их сравнения, значит это не имеет ничего общего с математикой.

Что же такое настоящая математика? Это когда результат математического действия не зависит от величины числа, применяемой единицы измерения и от того, кто это действие выполняет.

Табличка на двери Открывает дверь и говорит:

Ой! А это разве не женский туалет?
- Девушка! Это лаборатория по изучению индефильной святости душ при вознесении на небеса! Нимб сверху и стрелочка вверх. Какой еще туалет?

Женский... Нимб сверху и стрелочка вниз - это мужской.

Если у вас перед глазами несколько раз в день мелькает вот такое вот произведение дизайнерского искусства,

Тогда не удивительно, что в своем автомобиле вы вдруг обнаруживаете странный значок:

Лично я делаю над собой усилие, чтобы в какающем человеке (одна картинка), увидеть минус четыре градуса (композиция из нескольких картинок: знак минус, цифра четыре, обозначение градусов). И я не считаю эту девушку дурой, не знающей физику. Просто у неё дугой стереотип восприятия графических образов. И математики нас этому постоянно учат. Вот пример.

1А - это не "минус четыре градуса" или "один а". Это "какающий человек" или число "двадцать шесть" в шестнадцатеричной системе счисления. Те люди, которые постоянно работают в этой системе счисления, автоматически воспринимают цифру и букву как один графический символ.

Что такое Аксиома? Значение слова «Аксиома» в популярных словарях и энциклопедиях, примеры употребления термина в повседневной жизни.

Аксиома Ж. – Толковый словарь Ефремовой

1. Исходное положение какой-л. научной теории, принимаемое без доказательств. 2. перен. Неоспоримое, бесспорное положение, очевидная истина, не требующая доказательств.

Аксиома Зависимости – Философский словарь

Аксиома разума религиозного человека: "Я достоверно знаю, что нахожусь в зависимости от какого-то отличающегося от меня существа" (Р.Декарт). Это не зависимость от вещей, живых существ, других людей или вселенной - их существование можно подвергнуть сомнению как одних лишь явлений, - а зависимость от самого Бога. " теряет всякий религиозный смысл, если ее истолковать в духе пантеистического натурализма и универсализма" (Б.Вышеславцев). Русская религиозная философия свидетельствует о таинственности человеческого духа в ее зависимости от таинственной глубины Бога.

Аксиома Силлогизма – Философский словарь

Осн. принцип силлогизма, сформулированный Аристотелем: “Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем”. В традиционной формальной логике значение А. с. обнаруживается в связи с операцией сведения всех силлогизмов к силлогизмам первой фигуры (Силлогистика). В совр. формальной логике вопрос об А. с. решается в контексте более широкой задачи - аксиоматизации силлогистики.

Аксиоматика Ж. – Толковый словарь Ефремовой

1. Система аксиом какой-л. науки.

Аксиоматический Метод – Философский словарь

Способ построения научной теории, при котором какие-то положения теории избираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом, называются теоремами. А. м. - особый способ определения объектов и отношений между ними (см.: Аксиоматическое определение). А. м. используется в математике, логике, а также в отдельных разделах физики, биологии и др. А. м. зародился еще в античности и приобрел большую известность благодаря "Началам" Евклида, появившимся около 330 - 320 гг. до н. э. Евклиду не удалось, однако, описать в его "аксиомах и постулатах" все свойства геометрических объектов, используемые им в действительности; его доказательства сопровождались многочисленными чертежами. "Скрытые" допущения геометрии Евклида были выявлены только в новейшее время Д. Гильбертом (1862-1943), рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержащие точное описание логических средств вывода теорем из аксиом. Доказательство в такой теории представляет собой последовательность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода. К аксиоматической формальной системе предъявляются требования непротиворечивости, полноты, независимости системы аксиом и т. д. A.M. является лишь одним из методов построения научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизируемой содержательной теории. Как показал известный математик и логик К. Гёдель, достаточно богатые научные теории (напр., арифметика натуральных чисел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности A.M. и невозможности полной формализации научного знания (см.: Гёделя теорема).

Аксиоматический Метод – Словарь логики

Способ построения научной теории, при котором какие-то положения теории избираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом, называются теоремами. А. м. - особый способ определения объектов и отношений между ними (см.: Аксиоматическое определение). А. м. используется в математике, логике, а также в отдельных разделах физики, биологии и др. А. м. зародился еще в античности и приобрел большую известность благодаря «Началам» Евклида, появившимся около 330 - 320 гг. до н. э. Евклиду не удалось, однако, описать в его «аксиомах и постулатах» все свойства геометрических объектов, используемые им в действительности; его доказательства сопровождались многочисленными чертежами. «Скрытые» допущения геометрии Евклида были выявлены только в новейшее время Д. Гильбертом (1862-1943), рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержащие точное описание логических средств вывода теорем из аксиом. Доказательство в такой теории представляет собой последовательность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода. К аксиоматической формальной системе предъявляются требования непротиворечивости, полноты, независимости системы аксиом и т. д. a.m. является лишь одним из методов построения научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизируемой содержательной теории. Как показал известный математик и логик К. Гёдель, достаточно богатые научные теории (напр., арифметика натуральных чисел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности a.m. и невозможности полной формализации научного знания (см.: Гёделя теорема).

Аксиоматический Метод – Большой Энциклопедический Словарь

способ построения научной теории в виде системыаксиом (постулатов) и правил вывода (аксиоматики), позволяющих путемлогической дедукции получать утверждения (теоремы) данной теории.

Аксиоматический Метод – Социологический словарь

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

Аксиоматический Метод – Философский словарь

Способ построения теории, при котором в ее основу кладутся некоторые исходные положения - аксиомы или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логическим путем.

Аксиоматический Метод – Философский словарь

Один из способов дедуктивного построения научных теорий, при к-ром: 1) выбирается нек-рое множество принимаемых без доказательства предложений определенной теории (аксиом); 2) входящие в них понятия явно не определяются в рамках данной теории; 3) фиксируются правила определения и правила вывода данной теории, позволяющие вводить новые термины (понятия) в теорию и логически выводить одни предложения из других; 4) все остальные предложения данной теории (теоремы) выводятся из (1) на основе (3). Первые представления об А. м. возникли в Древн. Греции (Элеаты, Платон. Аристотель, Евклид). В дальнейшем делались попытки аксиоматического изложения различных разделов философии и науки (Спиноза, Ньютон и др) Для этих исследований было характерно содержательное аксиоматическое построение определенной теории (и только ее одной), при этом осн внимание уделялось определению и =-svoboda-vybora-6366.html">выбору интуитивно очевидных аксиом Начиная со второй половины 19 в, в связи с интенсивной разработкой проблем обоснования математики и математической логики, аксиоматическую теорию стали рассматривать как формальную (а с 20-30-х гг. 20 в - как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, к-рые ей удовлетворяют. При этом осн. внимание стали обращать на установление непротиворечивости системы, ее полноты, независимости системы аксиом и т д В связи с тем что знаковые системы могут рассматриваться или вне зависимости от содержания, к-рое может быть в них представлено, или с его учетом, различаются синтаксические и семантические аксиоматические системы (лишь вторые представляют собой собственно научные знания) Это различение вызвало необходимость формулирования осн. требований, предъявляемых к ним, в двух планах синтаксическом и семантическом (синтаксическая и семантическая непротиворечивость, полнота, независимость аксиом и т д) Анализ формализованных аксиоматических систем привел к установлению их принципиальных ограниченностей, гл из к-рых является доказанная Гёделем невозможность полной аксиоматизации достаточно развитых научных теорий (напр, арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания Аксиоматизация является лишь одним из методов построения научного знания, но ее использование в качестве средства научного открытия весьма ограниченно. Аксиоматизация осуществляется обычно после того, как содержательно теория уже в достаточной мере построена, и служит целям более точного ее представления, в частности строгого выведения всех следствий из принятых посылок В последние 30-40 лет большое внимание уделяется аксиоматизации не только математических дисциплин, но и определенных разделов физики, биологии, психологии, экономики, лингвистики и др, включая теории структуры и динамики научного знания. При исследовании естественнонаучного (вообще любого нематематического) знания А. м. выступает в форме гипотетико-дедуктивно-го метода (см. также Формализация)

Аксиоматический Метод – Философский словарь

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

Аксиоматический Прил. – Толковый словарь Ефремовой

1. Соотносящийся по знач. с сущ.: аксиома, связанный с ним.

Аксиоматическое Определение – Философский словарь

Определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможных истолкований. Напр., можно попытаться дать прямое определение понятия "равенство". Но можно привести систему истинных утверждений, включающих это понятие и неявно задающих его значение: "Каждый объект равен самому себе"; "В случае любых объектов, если первый равен второму, то второй равен первому"; "Для всех объектов верно, что если первый равен второму, а второй третьему, то первый равен третьему". А. о. является частным случаем определения контекстуального. Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас понятие, является в некотором смысле неявным определением последнего. Контекст ставит понятие в связь с другими понятиями и тем самым косвенно раскрывает его содержание. Встретив в тексте на иностранном языке одно-два неизвестных слова, мы, понимая текст в целом, можем составить примерное представление и о значениях неизвестных слов. Аналогично дело обстоит и с А. о. Совокупность аксиом к.-л. теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в аксиомы понятия. Чтобы узнать, к примеру, что значат слова "масса", "сила", "ускорение" и т. п., можно обратиться к аксиомам классической механики Ньютона. "Сила равна массе, умноженной на ускорение", "Сила действия равна силе противодействия" и т. д. - эти положения, указывая связи понятия "сила" с другими понятиями механики, раскрывают его сущность. Принципиальное отличие А. о. от иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по размеру и по составу. А. о. - одна из высших форм научного определения. Не всякая теория способна определить свои исходные термины аксиоматически, для этого требуется относительно высокий уровень развития знаний об исследуемой области. Изучаемые объекты и их отношения должны быть также сравнительно просты.

Аксиоматическое Определение – Словарь логики

Определение термина через множество аксиом (постулатов), в которые он входит и которые последовательно ограничивают область его возможных истолкований. Напр., можно попытаться дать прямое определение понятия «равенство». Но можно привести систему истинных утверждений, включающих это понятие и неявно задающих его значение: «Каждый объект равен самому себе»; «В случае любых объектов, если первый равен второму, то второй равен первому»; «Для всех объектов верно, что если первый равен второму, а второй третьему, то первый равен третьему». А. о. является частным случаем определения контекстуального. Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас понятие, является в некотором смысле неявным определением последнего. Контекст ставит понятие в связь с другими понятиями и тем самым косвенно раскрывает его содержание. Встретив в тексте на иностранном языке одно-два неизвестных слова, мы, понимая текст в целом, можем составить примерное представление и о значениях неизвестных слов. Аналогично дело обстоит и с А. о. Совокупность аксиом к.-л. теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в аксиомы понятия. Чтобы узнать, к примеру, что значат слова «масса», «сила», «ускорение» и т. п., можно обратиться к аксиомам классической механики Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» и т. д. - эти положения, указывая связи понятия «сила» с другими понятиями механики, раскрывают его сущность. Принципиальное отличие А. о. от иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по размеру и по составу. А. о. - одна из высших форм научного определения. Не всякая теория способна определить свои исходные термины аксиоматически, для этого требуется относительно высокий уровень развития знаний об исследуемой области. Изучаемые объекты и их отношения должны быть также сравнительно просты.

Русский язык богат иноязычной лексикой. И это не случайно. Появление слов из другого языка - свидетельство многообразных связей между странами и народами. Перенимая что-либо из другого языка, люди используют и слово, которым это обозначено.

Одни иноязычные слова употребляются только специалистами, другие прочно вошли в речь, став общеупотребительными. Одним из таких слов является «аксиома». Что такое аксиома. Каково значение и употребление данного слова?

Слово аксиома - греческое (axioma), в переводе с данного языка оно обозначает «значимое, принятое положение». Аксиомой называют какую-то мысль, положение, которое доказано, не требует дополнительных объяснений и используется как основа для других доказательств. Аксиома - это истина, не требующая доказательств.

Употребление слова «аксиома»

Первоначально слово было чисто научным термином. Учёные использовали его, чтобы утвердительно высказать мысль о чём-либо. Например: "Солнце движется вокруг солнца, это аксиома."
Аксиома - это истина, принимаемая на веру. Поэтому в основе любой религии лежат аксиомы, которые называют канонами религии. Например: "В основе религии лежит аксиома, что мир создан Богом."
С течением времени слово стало употребительным и в речи стало использоваться для убедительности доказательства чего-либо. Например: "Для успешной сдачи ЕГЭ выпускники должны серьёзно изучать теорию по предмету, это аксиома."

Материал о других терминах можно найти в разделе