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