Энциклопедия эпистемологии и философии науки

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

АКСИОМАТИЧЕСКИЙ МЕТОД(от греч. axioma) — принятое положение — способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями. Впервые ярко продемонстрирован Евклидом в его «Началах», хотя понятия аксиомы и постулата упоминаются уже Аристотелем. У древних греков аксиомой называлось ясно сформулированное положение, настолько самоочевидное, что его не доказывают и кладут в основу других доказательств. Постулат — утверждение о возможности выполнить некоторое построение. Поэтому «Целое больше части» — аксиома, а «Из данной точки данным радиусом можно описать окружность» — постулат. В дальнейшем понятие аксиомы поглотило понятие постулата, поскольку не были осознаны понятия дескриптивности и конструктивности (аксиома описывает, постулат строит). Почти все аксиомы эллинской геометрии были сформулированы настолько четко и удачно, что не вызывали сомнений. Однако одно из положений Евклида, а именно пятый постулат, эквивалентный утверждению «Через точку, лежащую вне прямой, можно провести прямую, параллельную данной, и притом только одну», с самого начала вызывало сомнения. Более того, до Евклида эллины исследовали все три возможные гипотезы: 1) нельзя провести ни одной параллельной прямой, 2) можно провести больше одной и 3) можно провести лишь одну параллельную прямую; но Евклид осознанно выбрал одну формулировку, поскольку лишь в таком случае существовал квадрат и понятие подобия фигур. В дальнейшем наличие альтернатив было забыто, и пятый постулат неоднократно пытались доказать. Вплоть до 17 в. А. м. мало развивался. Евклид и Архимед сформулировали аксиомы статики и оптики, а в дальнейшем, в связи с общей тенденцией к комментаторству и канонизации, исследования перелагали, либо, в лучшем случае, анализировали старые системы аксиом. Неудивительно, что новая математика начала с отказа от А. м., и анализ бесконечно малых развивался как неформализованная теория.Была понята сомнительность аксиомы «Целое меньше части», поскольку Николай Кузанский и вслед за ним Галилей показали, что для бесконечных совокупностей целое может быть изоморфно части. Но это открытие было недооценено, потому что слишком хорошо согласовывалось с христианской религией (с концепциями различных ипостасей бесконечного Бога). Далее, неудача Спинозы в попытках вывести геометрическим, чисто рассудочным методом систему этики и метафизики показала неприменимость существующего А. м. к гуманитарным понятиям.

Возвращение к А. м. произошло в 19 в. Оно базировалось на двух открытиях — неевклидовой геометрии (переоткрывшей то, что было известно до Евклида, но потом напрочь забыто), и абстрактной алгебре. В неевклидовой геометрии ( Г а у с с, Лобачевский, Бойяи) было показано, что одно из отрицаний пятого постулата — а именно то, что через точку, лежащую вне прямой, можно провести две прямые, параллельные данной — совместимо с остальными аксиомами геометрии. Таким образом, те аксиомы и постулаты, которые создавались, чтобы описать «единственно истинное» пространство, на самом деле описывают целый класс различных пространств. В абстрактной алгебре появились новые числовые системы, причем сразу целые их семейства (напр., р-адические числа) и переменные структуры типа групп. Свойства переменных структур естественно было описывать при помощи аксиом, но теперь уже никто не настаивал на их самоочевидности, а рассматривали их просто как способ описания класса математических объектов. Напр., полугруппа определяется единственной аксиомой — ассоциативности умножения:а° (Ь ос) = (а оЬ)оС.В самой геометрии наступил черед критического переосмысления классических аксиом. Э. Паш показал, что Евклид не усмотрел еще один постулат, столь же интуитивно очевидный, как и описанные им: «Если прямая пересекает одну из сторон треугольника, то она пересечет и другую». Далее было показано, что один из признаков равенства треугольников нужно принять в качестве аксиомы, иначе теряется строгость доказательств, поскольку из остальных аксиом не следует возможность перемещения фигур. Была отброшена аксиома «Целое меньше части», как не имеющая смысла с точки зрения новой математики, и заменена на несколько положений о соотношении мер фигур. И, наконец, Д. Гильберт сформулировал новую аксиоматику геометрии, базирующуюся на высших достижениях математики 19 в.

В эллинские времена и позже понятие числа не описывалось аксиоматически. Только в конце 19 в. Дж. Пеано (Италия) дал аксиоматику натуральных чисел. Аксиоматики Пеано и Гильберта содержат по одному принципу высшего порядка, говорящему не о фиксированных понятиях, а о произвольных понятиях либо совокупностях. Напр., в арифметике — это принцип математической индукции. Без принципов высших порядков однозначное описание стандартных математических структур невозможно.

А. м. был использован для спасениятеории множествпосле нахождения связанных с неюпарадоксов.Спасение само по себе производилось не лучшим способом — латаниемпарадигмы.Те из принципов теории множеств, которые казались не приводящими к парадоксам и обеспечивали необходимые для математики построения, были приняты в качестве аксиом. Но при этом А. м. был обобщен на логику. Д. Гильберт явно сформулировал аксиомы и правила вывода классическойлогики высказываний,а П. Бернайс —логики предикатов.Ныне аксиоматическое задание является стандартным способом определения новых логик и новых алгебраических понятий.

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

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

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

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

Я Н.Непейвода

аксиоматический метод—способ построения научной теории при котором в е основу кладутся некоторые исходные положения суждения аксиомы См. Аксиомаem или Постулатыem из которых все остальные утв...Большая Советская энциклопедия II
аксиоматический метод—способ построения научной теории в виде системыаксиом постулатов и правил вывода аксиоматики позволяющих путемлогической дедукции получать утверждения теоремы данной теор...Большой энциклопедический словарь II
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Большой энциклопедический словарь III
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверж...Большой Энциклопедический словарь V
аксиоматический метод—способ построения теории при котором в ее основу кладутся некоторые исходные положения аксиомы или постулаты из которых все остальные утверждения этой теории должны выво...Глоссарий философских терминов
аксиоматический метод—способ построения науч. теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путм логич. дедукции получать утверждения теоремы данной теории....Естествознание. Энциклопедический словарь
аксиоматический метод—способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения теории вспомогательные ...Иллюстрированный энциклопедический словарь
аксиоматический метод—способ организации научного знания при которой ряд утверждений принимается без доказательства а все остальное знание выводится из них по определенным логическим правилам....Исследовательская деятельность
аксиоматический метод—способ построения науч. теории при кром в ее основе лежат некрые исходные положения суждения аксиомы или постулаты из крых все остальные утверждения этой науки теоремы д...История и философия науки. Энциклопедический словарь
аксиоматический метод—способ построения научной теории при кром в основу теории кладутся некрые исходные положения наз. аксиомамиi теории а все остальные предложения теории получаются как логи...Математическая энциклопедия
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОДstrong метод математических рассуждений основанный на логическом выводе из некоторых утверждений аксиом. Этот метод является одной из основ математич...Научно-технический энциклопедический словарь
аксиоматический метод—метод построения научной теории как системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверждения теоремы данной теории...Начала современного естествознания
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД греч. axioma значимое принятое положение способ построения теории при котором некоторые истинные утверждения избираются в качестве исходных положе...Новейший философский словарь
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Новый большой англо-русский словарь II
аксиоматический метод—аксоматичний метод...Російсько-український словник логіки
аксиоматический метод—axiomatic method...Русско-английский психологический словарь
аксиоматический метод—postulational method...Русско-английский словарь по машиностроению
аксиоматический метод—axiomatic method...Русско-английский словарь по физике
аксиоматический метод—axiomatic method...Русско-английский технический словарь
аксиоматический метод—аксяматычны метад...Русско-белорусский математический словарь
аксиоматический метод—metodo assiomatico...Русско-итальянский политехнический словарь
аксиоматический метод—аксоматичний метод...Русско-украинский политехнический словарь
аксиоматический метод—Способ исследования состоящий в том что множество элементов или объектов разбивается на части подмножества. Одна часть рассматривается как исходные положения аксиомы пос...Словарь лингвистических терминов Т.В. Жеребило
аксиоматический метод—способ построения научной теории при котором какието положения теории избираются в качестве исходных а все остальные ее положения выводятся из них чисто логическим путем ...Словарь логики
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории при котором какието положения теории избираются в качестве исходных а все остальные ее положения выводятся из них ...Словарь по логике
аксиоматический метод—способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения теории вспомогательные ...Словарь по педагогической психологии
аксиоматический метод—способ построения науч. теории при кром в е основу кладутся некрые исходные положения суждения аксиомы или постулаты из крых все остальные утверждения этой теории должны ...Советский философский словарь
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории при котором в основу теории кладутся некоторые исходные положения называемые аксиомами а все остальные положения те...Современная энциклопедия
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утвержд...Современный энциклопедический словарь
аксиоматический метод—греч. axioma значимое принятое положение способ построения теории при котором некоторые истинные утверждения избираются в качестве исходных положений аксиом из которых з...Социологическая энциклопедия
аксиоматический метод—способ организации научного в особенности теоретического знания сущность которого состоит в выделении среди всего множества истинных высказываний об определенной предметн...Философия науки
аксиоматический метод—способ построения научной теории при котором в ее основу кладутся некоторые исходные положения аксиомы или постулаты из которых все остальные утверждения этой теории долж...Философия науки и техники
аксиоматический метод—от греч. axioma принятое положение способ построения научной теории в качестве ее основы априори принимающий положения из которых все остальные утверждения теории вывод...Философия науки. Эпистемология. Методология. Культура
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения науч.em теории при котором в е основу кладутся некоторые исходные положения сужденияem аксиомы или постулаты из которых все остал...Философская энциклопедия
аксиоматический метод—см. Метод аксиоматический....Философская Энциклопедия (в 5 томах)
аксиоматический метод—один из способов дедуктивного построения научных теорий при кром выбирается некрое множество принимаемых без доказательства предложений определенной теории аксиом входя...Философский энциклопедический словарь
аксиоматический метод—способ построения научной теории при котором е основу составляют некоторые исходные положения аксиомы или постулаты из которых логически выводятся все остальные положени...Человек и общество
аксиоматический метод—АКСИОМАТИЧЕСКИЙ МЕТОД способ построения научной теории в виде системы аксиом постулатов и правил вывода аксиоматики позволяющих путем логической дедукции получать утверж...Энциклопедический словарь естествознания
аксиоматический метод—. см. МЕТОД АКСИОМАТИЧЕСКИЙ. Antinazi.Энциклопедия социологии...Энциклопедия социологии