Формалізація
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Формалізація

Формалізація, представлення якої-небудь змістовної області (міркувань, доказів, процедур класифікації, пошуку інформації наукових теорій) у вигляді формальної системи, або числення . Ф., здійснювана на базі певних абстракцій, ідеалізацій і штучних символічних мов, використовується раніше всього в математиці (див. Математичний формалізм ) , а також в тих науках, в яких вживання математичного апарату досягає достатньої для цієї мети міри зрілості. Ф. передбачає посилення ролі формальної логіки як підстави теоретичних наук, оскільки в разі формалізованих теорій вже не можна задовольнятися інтуїтивним переконанням, що та або інша аргументація узгоджується з логічними правилами, засвоєними завдяки так чи інакше придбаній здібності до правильного мислення. Повністю можуть бути формалізовані лише елементарні теорії з простий логічною структурою і невеликим запасом понять (наприклад, числення висловів і вузьке числення предикатів – в логіці, елементарна геометрія – в математиці). Якщо ж теорія складна, вона принципово не може бути повністю формалізована (див. Повнота, Метатеорія ).

загрузка...

  Ф. дозволяє систематизувати, уточнити і методологічно прояснити вміст теорії, з'ясувати характер взаємозв'язку між собою різних її положень, виявити і сформулювати ще не розв'язані проблеми. Ф. як пізнавальний прийом – зокрема Ф. у вузькому «математичному» сенсі – носить відносний характер: одна і та ж теорія може бути одночасне і засобом Ф. (деякій іншій теорії і області явищ), і предметом Ф. (у «формальнішій» теорії). Так, традиційна «формальна» логіка є Ф. по відношенню до сукупності відбитих в ній закономірностей людського мислення; по відношенню ж до своїх (аксіоматичним) Ф. вона виступає як змістовна теорія предмету формалізації

.

  Літ.: Тарський А., Введення в логіку і методологію дедуктивних наук, пер.(переведення) з англ.(англійський), М., 1948; Кліні С. До., Введення в метаматематику, пер.(переведення) з англ.(англійський), М., 1957 § 15; Черч А., Введення в математичну логіку, пер.(переведення) з англ.(англійський), т. 1, М.. 1960, Введення.