Маючи в своєму розпорядженні, наприклад, реальні тіла в ряд відповідно збільшенню твердості, можна подумки продовжити цей ряд і в кінці його уявити таке тіло, яке не деформується під дією будь-яких сил. Це і буде "абсолютно тверде тіло"; просте абстрагування, відкидання деяких реальних властивостей об'єктів. Це можливо в тому випадку, коли подібне відкидання реальних властивостей речі виступає як одночасне наділення цієї речі нереальними властивостями. Перераховані способи утворення ідеальних об'єктів різняться лише тими сторонами розумової діяльності, на яких безпосередньо акцентується увага дослідника і які тому в кожному окремому випадку видаються головними, провідними. [4] Формалізація "Формалізація", "формальний" - це слова, які у повсякденному життя зазвичай використовуються як негативна характеристика якостей, діяльності і відносин людини. Що ж стосується науки, то в ній ці терміни наповнені іншим змістом. Вони характеризують певний підхід до дослідження різних об'єктів, відомий під назвою методу формалізації. Формалізація-сукупність пізнавальних операцій, що забезпечує відволікання від значення понять і сенсу виразів наукової теорії з метою дослідження її логічних особливостей, дедуктивних і виражальних можливостей. Формалізм - це перевага, що віддається формі перед змістом у різних сферах людської діяльності. Він проявляється в неухильне проходженні правилами етикету, ритуалу навіть у тих випадках, коли життєва ситуація робить це безглуздим, в схилянні перед буквою закону при зневазі до його духу. Термін "формалізація" неоднозначний, часто він вживається істотно різних сенсах. Найчастіше під формалізацією розуміють наступне. 1. Метод вирішення спеціальних проблем в математичних і логічних теоріях. До числа таких проблем відносяться доказ суперечливості математичних теорій, незалежності аксіом, доказовою різних положень і т.д. Ці питання вирішуються чисто формально, шляхом використання спеціальної символіки, що дозволяє оперувати не змістом відповідних теоретичних тверджень, а наборами символів, формулами. Тут ми маємо справу з формалізацією у вузькому, або спеціальному, розумінні цього слова. 2. Під формалізацією в широкому сенсі слова розуміється метод вивчення найрізноманітніших об'єктів шляхом відображення їх змісту та структури в знаковій формі, за допомогою найрізноманітніших "штучних" мов, до числа яких належить, наприклад, мову математики, математичної логіки, хімії, радіотехніки і ряду інших наук. Дослідження спеціальної символіки в цих науках є одним з необхідних і все більш прогресуючих методів відображення дійсності. З елементами формалізації ми зустрічаємося вже в школі, коли при вирішенні певного завдання відволікаємося від конкретного змісту невідомого і розглядаємо його просто як якийсь "X" у рівнянні. Навіть цього достатньо, щоб відчути силу формального підходу. Переваги цього методу полягають в наступному: формалізація забезпечує повноту огляду певної частини проблем, узагальненість...
