Идеализация
Для исследования и целей научного познания широко используются так называемые идеальные объекты, которые не существуют в действительности и вообще практически неосуществимы: точка, линия, абсолютно твердое тело, абсолютно черное тело, безвоздушное пространство и т.д.
Мысленное конструирование объектов такого рода и называется идеализацией.
Процесс конструирования идеального объекта обязательно предполагает абстрагирующую деятельность сознания. Создавая такой идеальный объект, как абсолютно твердое тело, мы абстрагируемся от способности реальных тел деформироваться под воздействием внешних сил, говоря об абсолютно черном теле, мы абстрагируемся от того факта, что все реальные тела в той или иной мере обладают способностью отражать падающий на них свет. В любом случае идеализация включает в себя момент абстрагирования, что позволяет рассматривать идеализацию как вид абстрагирования действительности.
· многоступенчатое абстрагирование. Этот способ формирования идеальных объектов широко применяется, например, в математике. Так, абстрагируясь от толщины реального объекта, мы получаем представление о плоскости; далее, лишая плоскость одного из измерений, мы получаем линию, и наконец, лишая линию единственного ее. измерения, получаем точку;
|
|
· мысленный переход к предельному случаю в развитии какого-либо свойства. Располагая, например, реальные тела в ряд соответственно увеличению их твердости, можно мысленно продолжить этот ряд и в конце его представить такое тело, которое не деформируется под действием любых сил. Это и будет "абсолютно твердое тело";
· простое абстрагирование, отбрасывание некоторых реальных свойств объектов. Это возможно в том случае, когда подобное отбрасывание реальных свойств вещи выступает как одновременное наделение этой вещи нереальными свойствами.
Формализация — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей и возможностей.
Чаще всего под формализацией понимают _ следующее.
Метод решения специальных проблем в математических и логических теориях. К числу таких проблем относятся доказательство противоречивости математических теорий, независимости аксиом, доказуемости различных положений и т.д. Эти вопросы решаются чисто формально, путем использования специальной символики, позволяющей оперировать не содержанием соответствующих теоретических утверждений, а наборами символов, формулами.