Методы эмпирического и теоретического познания

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

имеет смысл только в совокупности "однородных" предметов, образующих класс. Сравнение предметов в классе осуществляется по признакам, существенным для данного рассмотрения, при этом предметы, сравниваемые по одному признаку, могут быть несравнимы по другому.

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

2. Научные методы теоретического исследования

1. Формализация - отображение содержательного знания в знаково-символическом виде. Формализация базируется на различении естественных и искусственных языков. Выражение мышления в естественном языке можно считать первым шагом формализации. Естественные языки как средство общения характеризуются многозначностью, многогранностью, гибкостью, неточностью, образностью и др. Это открытая, непрерывно изменяющаяся система, постоянно приобретающая новые смыслы и значения.

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

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

Значение формализации в научном познании состоит в следующем:

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

б. Она приобретает особую роль при анализе доказательств. Представление доказательства я виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность.

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

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

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

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

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

2. Аксиоматический метод - один из способов дедуктивного построения научных теорий, при котором:

а) формулируется система основных терминов науки (например, в геометрии Эвклида - это понятия точки, прямой, угла, плоскости и др.);

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

 Скачать реферат