Автор: Пользователь скрыл имя, 23 Ноября 2011 в 13:38, реферат
Метод аксиоматизации. Из исходных общих положений (аксиом) логически выводятся следствия в виде лемм, теорем и законов. Впервые аксиоматический метод успешно применил Евклид. Первоначально требовались наглядность и самоочевидность аксиом, но появление неевклидовых геометрий привело к новым требованиям: непротиворечивость (не выводятся противоположные предложения), полнота (любое положение доказывается или опровергается), независимость (нет выводимых аксиом). Гильберт утвердил взгляд на аксиомы как абстрактные формы, допускающие многие интерпретации. (Гильберт, «Основания геометрии», 1899): если основные понятия заменить другими, то теория не станет ни лучше, ни хуже. Евклид допускал единственную интерпретацию аксиом. Гёдель установил неполноту арифметической системы и несуществование доказательства непротиворечивости этой системы с помощью средств, формализуемых в ней. Метод аксиоматизации позволяет систематизировать научную теорию.
Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. “Голое математическое уравнение еще не представляет физической теории, чтобы получить физическую теорию, необходимо придать математическим символам конкретное эмпирическое содержание”.
Расширяющееся использование формализации как метода теоретического познания связано не только с развитием математики. В химии, например, соответствующая химическая символика, вместе с правилами оперирования ею явилась одним из вариантов формализованного искусственного языка. Все более важное место метод формализации занимал в логике по мере ее развития. Труды Лейбница положили начало созданию метода логических исчислений. Последний привел к формированию в середине XIX в. математической логики, которая во второй половине нашего столетия сыграла важную роль в развитии кибернетики, в появлении электронных вычислительных машин, в решении задач автоматизации производства и т. д.
Язык современной науки существенно отличается от естественного человеческого языка. Он содержит много специальных терминов, выражений, в нем широко используются средства формализации, среди которых центральное место принадлежит математической формализации. Исходя из потребностей науки, создаются различные искусственные языки, предназначенные для решения тех или иных задач. Все множество созданных и создаваемых искусственных формализованных языков входит в язык науки, образуя мощное средство научного познания.
Аксиоматический метод.
При аксиоматическом построении теоретического знания сначала задается набор исходных положений, не требующих доказательства (по крайней мере, в рамках данной системы знания). Эти положения называются аксиомами, или постулатами. Затем из них по определенным правилам строится система выводных предложений. Совокупность исходных аксиом и выведенных на их основе предложений образует аксиоматически построенную теорию.
Аксиомы — это утверждения, доказательства истинности которых не требуется. Число аксиом варьируется в широких границах: от двух-трех до нескольких десятков. Логический вывод позволяет переносить истинность аксиом на выводимые из них следствия. При этом к аксиомам и выводам из них предъявляются требования непротиворечивости, независимости и полноты. Следование определенным, четко зафиксированным правилам вывода позволяет упорядочить процесс рассуждения при развертывании аксиоматической системы, сделать это рассуждение более строгим и корректным.
Чтобы задать аксиоматической систему, требуется некоторый язык. В этой связи широко используют символы (значки), а не громоздкие словесные выражения. Замена разговорного языка логическими и математическими символами, как было указано выше, называется формализацией . Если формализация имеет место, то аксиоматическая система является формальной, а положения системы приобретают характер формул. Получаемые в результате вывода формулы называются теоремами, а используемые при этом аргументы — доказательствами теорем. Такова считающаяся чуть ли не общеизвестной структура аксиоматического метода