Навігація
Головна
 
Головна arrow Філософія arrow Історія і філософія науки
< Попередня   ЗМІСТ   Наступна >

Відносність "кордонів формалізації"

До цих пір, особливо від гуманітаріїв, у тому числі і філософів, можна почути заяви про те, що формалізація володіє обмеженими можливостями і неодмінно пов'язана з наявністю деякого "неформалізуємим залишку". Іноді при цьому ще підкреслюють, що "будь формалізація характеризується внутрішньою обмеженістю" - "внутрішньої", мабуть, в сенсі "органічно властивої".

Вірно, звичайно, що формалізація тільки наближено відображає "внеформальная" зміст. А це останнє нерідко несе в собі щось невиразне, неясне, а то й прямо-таки фантастичне. Тим не менш "дороговказною зіркою своїх прагнень треба обирати не образи фантазії, а чітко усвідомлює поняття", як пише класик філософії Шопенгауер. Він же зауважував, що той, хто ясно мислить, той ясно викладає. У нашому випадку з приводу "неформалізуємим залишку" можна сказати: дуже може бути, що причиною його є відсутність ясного і виразного представлення змісту цього "залишку" природною мовою.

Підчас прихильники тези про обмеженість формалізації посилаються на досягнення сучасної логіки, пов'язані з іменами К. Геделя, А. А. Маркова, А. Тарського, А. Черча. Насправді, якщо хоч трохи розібратися, такого роду посилання ми віднесемо до тих випадків, коли жартівливо помічають, що, мовляв, все вірно, тільки "з точністю навпаки"! Так, теорема Геделя про неповноту каже, що формальні математичні теорії, досить багаті за своїм змістом для того, щоб включити в себе арифметику, завжди містять в собі недовідні істинні вирази. Але що з цього випливає в плані підтвердження тези про обмеженість формалізації? Тільки те, що побудовою даної формальної системи справа не закінчується: потрібно побудувати іншу систему, що використовує, відповідно, й іншу мову. Ця друга система буде метасистемами по відношенню до вихідної. Якщо ми і її представимо у формалізованому вигляді, то і вона, очевидно, буде володіти тим же властивістю: наявністю справжніх формальних виразів, які в ній недоказові. І якщо це потрібно, ми будуємо нову систему, і т.д. Так що слово "внутрішня", будучи уточненими, зовсім не збігається зі словом "органічно притаманна", принципова.

Крім того, в міркуваннях про принципову обмеженість можливостей методів формалізації явно проглядається натяк на якусь "абсолютну" формалізацію і повністю формалізований мову, а також протиставлення формальних методів (понятих саме таким чином) і неформальних методів. Неначе нас і справді деякий незримий і всевладний авторитет примушує або користуватися виключно методами формалізації, або зовсім ними не користуватися. Насправді в науковому пізнанні широко використовуються мови, які можна кваліфікувати як "помірно (а не повністю) формалізовані мови".

Ніякі методи не володіють необмеженими можливостями, в тому числі і в сенсі існування "залишку" змісту, для них недоступного. Так що справа не в особливостях методу формалізації, а в приблизному, незавершеному характері всього нашого знання і всіх - і формальних і неформальних - методів наукового пізнання. Звичайно, уточнення наших знань за допомогою формалізації слід в часі за успіхами неформальних методів. Крім того, поки не розроблена відповідна теорія формальних перетворень, природно, немає і потрібного в тому чи іншому випадку методу формалізації, хоча якби він був, то вже можна було б приступити до обробки наявного матеріалу. Але, повторимо, немає принципової обмеженості методів формалізації, відмінної від обмеженості - в сенсі недосконалості і погрішимості - всіх взагалі методів науки. Більш того, розвиток наукового знання призводить до того, що менш повне знання замінюється більш повним, і необхідність його уточнення обумовлює те, що роль методів формалізації зростає.

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук