|
Именно использование специальной символики позволяет устранить многозначность слов обычного, естественного языка. В формализованных рассуждениях каждый символ строго однозначен. Формализация служит основой для процессов алгоритмизации и программирования вычислительных устройств, а тем самым и компьютеризации не только научно-технического, но и других форм знания. Главное в процессе формализации состоит в том, что над формулами искусственных языков можно производить операции, получать из них новые формулы и соотношения. Тем самым операции с мыслями о предметах заменяются действиями со знаками и символами. Формализация, таким образом, есть обобщение форм различных по содержанию процессов, абстрагирование этих форм от их содержания. Она уточняет содержание путем выявления его формы и может осуществляться с 340 различной степенью полноты. Но, как показал австрийский логик и математик XX в. К. Гедель, в содержательной теории всегда остается невыявленный неформализуемый остаток. Все более углубляющаяся формализация содержания знания никогда не достигает абсолютной полноты, ибо никогда не прекращается развитие (изменение) предмета познания и знаний о нем. Это означает, что формализация внутренне ограничена в своих возможностях. Доказано, что всеобщего метода, позволяющего любое рассуждение заменить вычислением ("сосчитаем!" - мечтал Лейбниц), не существует. Теоремы Геделя дали достаточно строгое обоснование принципиальной невозможности полной формализации научных рассуждений и научного знания в целом. 2. Аксиоматический метод - способ построения научной теории, при котором в ее основу кладутся некоторые исходные положения - аксиомы (постулаты), из которых все остальные утверждения этой теории выводятся из них чисто логическим путем, посредством доказательства. Для вывода теорем из аксиом (и вообще одних формул из других) формулируются специальные правила вывода. Следовательно, доказательство в аксиоматическом методе - это некоторая последовательность формул, каждая из которых есть либо аксиома, либо получается из предыдущих формул по какому-либо правилу вывода. Аксиоматический метод - лишь один из методов построения уже добытого научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизированной содержательной теории. Известный французский физик Луи де Бройль обращал внимание на то, что "аксиоматический метод может быть хорошим методом классификации или преподавания, но он не является методом открытия" [1]. — 230 —
|