Теоретические методы; Аксиоматизация

Друзья, в течение этого курса мы уже неоднократно то здесь то там говорили о

теоретических методах, но делали это вскользь и не вкрадчиво. Теперь мы добрались
до комплексного изучения теоретических методов, но для этого нам необходимо
повторить основные черты теоретической науки после чего мы сможем найти место
теоретических методов среди всего разнообразия методов науки. Стоит оговориться,
что теоретическими принято считать почти все общелогические методы, например,
уже известные Вам анализ и синтез. Однако, как мы и говорили, эти методы — не
специфичны только для научного познания и могут применяться в течение жизни не
только людьми, но и высокоразвитыми животными. Теперь мы добрались до более
узконаправленных научных теоретических методов, применяемых, преимущественно,
исследователями в процессе научного познания.
Для более полного погружения в специфику теоретической науки, давайте
обратимся в монографии Валерия Павловича Кохановского. Теоретический уровень
научного познания характеризуется преобладанием рационального момента —
понятий, теорий, законов и других форм мышления и «мыслительных операций».
Живое созерцание, чувственное познание (т.е. эмпирическое) здесь не устраняется, а
становится подчиненным, но по-прежнему очень важным аспектом познавательного
процесса. Теоретическое познание отражает явления и процессы со стороны их
универсальных внутренних связей и закономерностей, достигаемых с помощью
рациональной обработки данных эмпирического знания. Эта обработка
осуществляется с помощью систем абстракций «высшего порядка» — таких как
понятия, умозаключения, законы, категории, принципы и так далее. Здесь очень важно
еще раз обратить внимание на то, что в разделение познание на “теоретическое” и
“эмпирическое” носит исключительно умозрительный характер и необходимо лишь
для наглядной классификации и разбивки методов на группы. В реальном процессе
познания, конечно, не существует никаких нерушимых граней между уровнями
познания, а теоретическое познание перетекает в эмпирическое и наоборот.
На основе эмпирических данных благодаря методам теоретической науки
происходит мысленное объединение исследуемых объектов, постижение их сущности,
«внутреннего движения», законов их существования, составляющих основное
содержание теорий — «квинтэссенции» знания на данном уровне. Важнейшая задача
теоретического знания — достижение объективной научной истины во всей ее
конкретности и полноте содержания. Мы уже неоднократно приводили примеры
взаимодействия методов теоретической и эмпирической науки — пример с
архитектором и строителем или пример с объектами, которые невозможно полноценно
исследовать эмпирическими методами (Большим взрывом или другими объектами), не
будем останавливаться на этом слишком долго, но еще раз зафиксируем очень
схематичную, но важную мысль, которая по завершении курса точно должна остаться
в вашей памяти : эмпирическая наука — про опытные исследования, теоретическая
наука — про мысленные.
Теоретический уровень исследования подразумевает вторжение в саму суть
изучаемого объекта или явления, понимание его внутренней текстуры, источников его
возникновения, устройств формирования и функционирования. Теоретические методы
исследования — это методы, цель существования которых заключается в том, чтобы
кроме установления прецедентов и определения внешних связей между ними, еще и
дать подробное объяснение, что же стало причиной их возникновения, какова
сущность их существования и тому подобное. Стоит отметить, что теоретические
методы исследования обладают одним недостатком: они не способны оказать
конкретное влияние на многообразие исследуемых явлений или же процессов, а только
позволяют определять в них скрытые закономерности, общее и значимое.
Структурными компонентами теоретического познания являются проблема,
гипотеза и теория. Проблема – это сложная теоретическая или практическая задача,
способы решения которой неизвестны или известны не полностью. Гипотеза — есть
требующее проверки и доказывания предположение о причине, которая вызывает
определенное следствие, о структуре исследуемых объектов и характере внутренних и
внешних связей структурных элементов. Теория в широком смысле — комплекс
взглядов, представлений, идей, направленных на истолкование и объяснение явления;
в более узком и специальном смысле — высшая, самая развитая форма организации
научного знания, дающая целостное представление о закономерностях и существенных
связях определенной области действительности.
Характерной чертой теоретического познания также является то, что субъект
познания имеет дело с абстрактными объектами и то, что оно характеризуется
системностью. Если отдельные эмпирические факты могут быть приняты или
опровергнуты без изменения всей совокупности эмпирического знания, то в
теоретическом знании изменение отдельных элементов знания влечет за собой
изменение всей системы знания.
 К теоретическим методам относятся: аксиоматизация (которую мы рассмотрим
очень скоро на этом занятии), гипотезизаию, формализацию, абстрагирование,
обобщение, восхождение от абстрактного к конкретному, исторический метод, метод
системного анализа и некоторые другие. Все эти методы мы более тщательно изучим
на следующих занятиях.
Ну а теперь, когда мы с вами получили некоторые теоретические знания о
теоретических методах научного познания, нам нужно начать разбирать и понимать
наиболее важные из них. И начнем мы, пожалуй, с метода аксиоматизации.
В целом аксиоматический метод (и его конкретные проявления в виде
аксиоматизации науки или даже аксиоматическое построение научного знания) — это,
прежде всего, способ построения отдельных научных теорий, разделов науки и науки в
целом, при котором какие-то положения избираются в качестве исходных и не
требующих доказательства (то есть истинных), а все остальные положения выводятся
из исходных — проще говоря, доказываются логическим путём. То есть, таким
образом, исходные положения, которые принимаются без доказательств, называются
аксиомами, а выводимые из аксиом утверждения — теоремами.
На наш взгляд невозможно изучить аксиоматический метод, да и многие
методы разного уровня познания без обращения к философии науки. Соответственно,
здесь неудивительно, что аксиоматический метод довольно подробно изучается
именно в философии науки.
Если смотреть исторически, то аксиоматический метод применялся в Древней
Греции в труде Евклида «Начала», который был написан еще в 330——320 годах до
нашей эры. Впоследствии на аксиоматическом методе была основана вся математика.
Также широко применяется аксиоматический метод и в физике. Аксиоматический
метод так или иначе проявляется в любой научной теории, которую удаётся построить
на основе математики: это связано с такой глобальной тенденцией, как математизация
научного знания, которая все сильнее проявляется в современной науке. Чтобы в ясной
степени понять эту тенденцию, можно обратиться к Аристотелевской логике или
рассуждениям Витгенштейна о языке.
Но, возвращаясь к аксиомам нужно заявить, что аксиоматическое построение
научной теории как таковое предполагает стабильность, определенную устойчивость
соответствующей части науки, иначе говоря, некоторую общепринятость
соответствующих представлений. На этой стадии теории можно придать
законченность, уточнив ее терминологический аппарат и основные выводы.
 Тем не менее, согласно современным представлениям о развитии науки, все
области науки время от времени испытывают потрясения, которые называются
научные революции или смена парадигм. В итоге в процессе развития любой отрасли
науки выделяются отрезки спокойного развития, а также отрезки взрывообразного
развития, связанного с пересмотром ее основ. Данная концепция развития науки была
введена в книге Томаса Куна «Структура научных революций». Но нам нужно
понимать, что аксиоматизация научных знаний может произойти только в период
спокойного развития (то есть «нормальной науки» в терминологии Куна), а не в период
смены парадигмы соответствующего раздела науки.
Вообще, говоря об этапах становления аксиоматического метода нужно
обозначить, что выделяемые в философии науки этапы становления такового тесно
связаны с развитием понимания понятия аксиомы.
Так или иначе, выделяют три периода, в которые аксиомы понимались по-
разному. В первый период, который начался еще в Древней Греции, где и
было впервые сформулировано определение аксиомы, под аксиомами стали
пониматься положения, которые будучи совершенно очевидными, интуитивно ясными
для всех, не нуждаются в доказательстве. И в целом, подобное понимание аксиом
преобладало вплоть до XIX века до построения неевклидовых геометрийю
После появления работ Лобачевского, показавших, что в основание геометрии
могут быть положены разные системы аксиом, появилось новое понимание аксиомы.
Аксиомы стали трактоваться как такие положения теории, которые при данном ее
построении как дедуктивной теории принимаются за исходные независимо от того,
насколько они просты и интуитивно очевидны. Примечательно, что при таком подходе
аксиомы перестают носить характер абсолютных истин, а становятся зависимыми от
того, какая теория строится на их основе. В целом это и стало главным тезисом второго
этапа понимания аксиом.
Третий же этап, идущий с конца XIX — начала XX века, связан с программой
формалистического обоснованя математики, появившейся в работах Давида Гильберта
и его последователей, которые стали придавать аксиомам строго формальный
характер. Аксиомами становятся даже не предложения содержательной теории, а
наборы формул, из которых по формально определенным правилам вывода, выводятся
другие формулы теории, которая становится, таким образом, исчислением формул.
Ну и таким образом, с учетом перечисленных этапов понимания аксиомы,
выделяют три периода становления аксиоматического метода, а именно:
содержательная аксиоматизация, полуформальная аксиоматизация и формальная
аксиоматизация.
Эти три этапа соответствуют кризисам в математике, связанных с пересмотром
ее парадигмы. Иногда первые два этапа рассматриваются как один (так предлагал,
например, Сергей Петрович Новиков в книге «Элементы математической логики»).
Здесь стоит уточнить, что существуют некоторые прогнозы, согласно которым в ходе
дальнейшей математизации науки роль аксиоматического метода будет возрастать, а
объем аксиоматизированных знаний — увеличиваться.
По Василию Яковлевичу Перминову полная математизация теории — это
момент ее развития, когда она может быть полностью аксиоматически построена. То
есть полностью математизированная теория консервируется в своих исходных
принципах и ее дальнейшее развитие происходит за счет увеличения области
приложения и развития математических средств. А консервация теории, в свою
очередь, говорит об ограничении аспекта исследования через саму форму теории и
делает необходимым появления более общих теорий, расширяющих предмет
исследования.
Полная математизация некоторых теорий, по-видимому, достигнута лишь в
физике. Василий Яковлевич Перминов делает вывод, что полная математизация всего
знания невозможна, однако это не противоречит тому, что отдельные области научного
знания приобретут законченную математическую форму.
Ну и в целом, нам здесь понятно, что обыденное представление аксиомы, как
какого-то неопровержимого знания значительно устарело. Это, само собой,
проявляется не только в математике. Однако именно в точных науках это
демонстрируется лучше всего.
Итак, подводя итог нашему сегодняшнему занятию, следует сказать, что
теоретические методы в целом и метод аксиоматизации в частности являются,
вероятно самым мощным инструментом, когда-либо созданным человеком и мы
продолжим его изучать чтобы понимать куда эту мощь применять. Именно поэтому на
следующих занятиях мы будем изучать и другие теоретические методы.