Filosofa.net

В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследо­вания какого-либо объекта чисто формальным путем (оперирова­ние знаками) без непосредственного обращения к этому объекту.

Другое достоинство формализации состоит в обеспечении краткости и четкости записи научной информации, что откры­вает большие возможности для оперирования ею.

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

Возможность представить те или иные теоретические положе­ния науки в виде формализованной знаковой системы имеет боль­шое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при уче­те ее содержательной стороны. «Голое матема­тическое уравнение еще не представляет физической теории, что­бы получить физическую теорию, необходимо придать математи­ческим символам конкретное эмпирическое содержание»[35].

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

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

4.4.4. Аксиоматический метод.

При аксиоматическом построении теоретического знания сна­чала задается набор исходных положений, не требующих дока­зательства (по крайней мере, в рамках данной системы знания). Эти положения называются аксиомами, или постулатами. Затем из них по определенным правилам строится система выводных предложений. Совокупность исходных аксиом и выведенных на их основе предложений образует аксиоматически построенную тео­рию.

Аксиомы — это утверждения, доказательства истинности кото­рых не требуется. Число аксиом варьируется в широких границах: от двух-трех до нескольких десятков. Логический вывод позволяет переносить истин­ность аксиом на выводимые из них следствия. При этом к аксиомам и выводам из них предъяв­ляются требования непротиворечивости, независимости и полноты. Следование опре­деленным, четко зафиксированным правилам вывода позволяет упорядочить процесс рассуждения при развертывании аксиомати­ческой системы, сделать это рассуждение более строгим и кор­ректным.

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

4.4.5. Метод гипотезы.

В методологии термин «гипотеза» используется в двух смыслах: как форма существования знания, характеризующаяся проблематичностью, недостоверностью, нуждаемостью в доказательстве, и как метод формирования и обоснования объяс­нительных предложений, ведущий к установлению законов, принци­пов, теорий. Гипотеза в первом смысле слова включается в метод гипотезы, но может употребляться и вне связи с ней.

Лучше всего представление о методе гипотезы дает ознакомление с его структурой. Первой стадией метода гипотезы является ознаком­ление с эмпирическим материалом, подлежащим теоретическому объ­яснению. Первоначально этому материалу стараются дать объяснение с помощью уже существующих в науке законов и теорий. Если таковые отсутствуют, ученый переходит ко второй стадии — выдвижению до­гадки или предположения о причинах и закономерностях данных явлений. При этом он старается пользоваться различными приемами исследования: индуктивным наведением, аналогией, моделированием и др. Вполне допустимо, что на этой стадии выдвигается несколько объяснительных предположений, несовместимых друг с другом.

Третья стадия есть стадия оценки серьезности предположения и отбора из множества догадок наиболее вероятной. Гипотеза проверяется прежде всего на логическую непротиворечивость, особенно если она имеет сложную форму и разворачивается в систему предположений. Далее гипотеза проверяется на совместимость с фундаментальными интертеоретическими принципами данной науки.

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

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

Знакомство с общей структурой метода гипотезы позволяет опре­делить ее как сложный комплексный метод познания, включающий в себя все многообразие его и форм и направленный на установление законов, принципов и теорий.

Иногда метод гипотезы называют еще гипотетико-дедуктивным методом, имея в виду тот факт, что выдвижение гипотезы всегда сопровождается дедуктивным выведением из него эмпирически прове­ряемых следствий. Но дедуктивные умозаключения — не единствен­ный логический прием, используемый в рамках метода гипотезы. При установлении степени эмпирической подтверждаемости гипотезы ис­пользуются элементы индуктивной логики. Индукция используется и на стадии выдвижения догадки. Существенное место при выдвижении гипотезы имеет умозаключение по аналогии. Как уже отмечалось, на стадии развития теоретической гипотезы может использоваться и мыс­ленный эксперимент.

Объяснительная гипотеза как предположение о законе — не един­ственный вид гипотез в науке. Существуют также «экзистенциальные» гипотезы — предположения о существовании неизвестных науке эле­ментарных частиц, единиц наследственности, химических элементов, новых биологических видов и т. п. Способы выдвижения и обоснования таких гипотез отличаются от объяснительных гипотез. Наряду с основ­ными теоретическими гипотезами могут существовать и вспомогатель­ные, позволяющие приводить основную гипотезу в лучшее соответствие с опытом. Как правило, такие вспомогательные гипотезы позже эли­минируются. Существуют и так называемые рабочие гипотезы, которые позволяют лучше организовать сбор эмпирического материала, но не претендуют на его объяснение.