Формализация

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

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

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

Обычно выделяют три качественно различных этапа или стадии развития представлений о существе аксиоматического метода. Первый — этап содержательных аксиоматик, длившийся с появления «Начал» Евклида и до работ Н.И. Лобачевского по неевклидовым геометриям. Второй — этап становления абстрактных (или, по другой терминологии, формальных) аксиоматик, начавшийся с появления неевклидовых геометрий и кончившийся с работами Д. Гильберта по основаниям математики (1900— 1914 гг.). Третий — этап формализованных аксиоматик, начавшийся с появлением первых работ Гильберта по основаниям математики и продолжающийся до сих пор. С наибольшей полнотой как достоинства, так и недостатки первоначальной стадии развития аксиоматического метода выражены в знаменитых «Началах» Евклида (III в. до н. э.).

Изложение геометрии Евклид начинает с перечисления некоторых исходных положений, а все остальные стремится так или иначе вывести из них. Далее, среди множества всех геометрических понятий, употребляемых им, он выделяет такие, которые считает за исходные, а все остальные стремится определить через них. Класс исходных положений (аксиом и постулатов) и класс исходных геометрических понятий Евклид рассматривает в качестве интуитивно ясных, самоочевидных — таков тот важнейший критерий, по которому происходит разбиение всего множества геометрических понятий и положений на исходные и производные. Все другие утверждения теории Евклид выводит логическим путем из аксиом и постулатов.

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

Яндекс.Метрика