Абстрактних визначень об'єкта, понять, тобто від абстрактного в

Пізнанні до конкретного в пізнанні, від цілого до частин. На цьому

Етапі як би відновлюється вихідна цілісність об'єкта, він

Відтворюється у всій багатогранності - але вже в мисленні.

Цей метод представляє собою процес пізнання, відповідно до

Якого мислення сходить спочатку від конкретного в дійсності до

Абстрактного в мисленні й від абстрактного в мисленні - до

Конкретного в мисленні.

Метод формалізації. Формалізація - це представлення

Найрізноманітніших об'єктів шляхом відображення й зображення

Їхнього змісту і структури в знаковій формі, за допомогою

Найрізноманітніших " штучних" мов, до числа яких належить мова

Математики, математичної логіки, хімії й інших наук.

Поняття " формалізація" знаходиться в тісному зв'язку з

Поняттям «абстрагування».

Явища нескінченно різноманітні, їхня систематизація стає

Можливою завдяки тому, що мислення виділяє якусь одну ознаку й

Абстрагується від інших. Одержуване в такий спосіб абстрактне

Знання стає емпіричним поняттям. Абстрагування характерно й для

Емпіричного мислення, з його допомогою виводяться емпіричні

Поняття.

Формалізація як метод дослідження має ряд достоїнств:

- забезпечує повноту огляду певної області проблем,

узагальненість підходу до їхнього вирішення;

Базується на використанні спеціальної символіки, що

забезпечує стислість і чіткість фіксаціїзнання;

Пов'язана із приписуванням окремим символам або їхнім

Системам певних значень, що дозволяє уникнути багатозначності

термінів, властивоїзвичайним мовам;

Дозволяє формувати знакові моделі об'єктів, а вивчення

Реальних речей і процесів заміняти вивченням цих моделей.

Формалізація є невід'ємною частиною формальної логіки.

Прикладом реалізації формалізації в евклідовій геометрії

Може послужити той факт, що тут є невелике число незалежно

Внесених понять і символів, таких як число, пряма, точка й

Фундаментальні правила комбінування цих понять. Разом вони

Утворять основу для побудови або визначення всіх упорядкованих

Стверджень й інших понять.

По своїй сутності формалізація близька до ідеалізації.

Ідеалізація як метод теоретичного дослідження. Щоб

Осмислити, що таке ідеалізація, необхідно усвідомити поняття

Quot; ідеальний об'єкт".

Термін " ідеальний" об'єкт був введений И.В. Кузнєцовим,

Автором праць по методології фізики [15]. Він виявив особливий

елемент структури теорії, названий ним ідеалізованим об'єктом,

Тобто абстрактною моделлю, наділеною невеликим числом дуже