формалізація (від лат. forma - вигляд, образ)
Вираз мислення в природній мові можна вважати першим кроком Ф. Подальше її поглиблення досягається введенням в звичайну мову різного роду спеціальних знаків і створенням частково штучних і штучних мов.
Логічна Ф. направлена на виявлення і фіксацію логічної форми висновків і доказів. Повна Ф. теорії має місце тоді, коли абсолютно відволікаються від змістовного сенсу її вихідних понять і положень і перераховують всі правила логічного висновку, що використовуються в доказах. Така Ф. включає в себе три моменти: 1) позначення всіх вихідних, невизначених термінів; 2) перерахування прийнятих без доказу формул (аксіом); 3) введення правил перетворення даних формул для отримання з них нових формул (теорем).
У формалізованої теорії доказ не вимагає звернення до змісту використовуваних понять, їх змістом. Доказ є тут послідовністю формул, кожна з яких або є аксіома, або виходить з аксіом за правилами виведення. Перевірка такого докази (але не його відшукання) перетворюється в чисто механічну процедуру, яка може бути передана обчислювальній машині.
Ф. грає істотну роль в уточненні наукових понять. Багато проблем не можуть бути не тільки вирішені, але навіть сформулі-
рова, поки не будуть формалізовані пов'язані з ними міркування. Так йде справа, зокрема, з широко використовуваним поняттям алгоритму і питанням про те, чи існують алгоритмічно нерозв'язні проблеми.
Дивитися що таке "формалізація" в інших словниках:
ФОРМАЛІЗАЦІЯ - (від лат. Forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. Л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, іменування, опис) об'єктів за допомогою термінів. Напр. в природній мові роль ... ... Філософська енциклопедія
формалізація - офіціалізація Словник українських синонімів. формалізація ім. кол під синонімів: 1 • офіціалізація (3) Словник синонімів ASIS. В ... Словник синонімів
Формалізація - опис основного змісту досліджуваного явища (процесу) за допомогою т. Зв. формалізованого (формального) мови (символів і правил їх написання). У військовій теорії і практиці формалізація використовується в математичному моделюванні, ... ... Морський словник
ФОРМАЛІЗАЦІЯ - уявлення і вивчення будь-якої змістовної області знання (наукові теорії, міркування, процедура пошуку і т. П.) У вигляді формальної системи або обчислення; пов'язана з посиленням ролі формальної логіки і математичних методів в наукових ... ... Великий Енциклопедичний словник
ФОРМАЛІЗАЦІЯ - спосіб вираження змісту сукупності знань через опреленного форму знаки штучної мови. Найбільш значущою різновидом Ф. є логічна Ф. яка означає вираз уявного змісту за допомогою логічних форм. Це ... ... Новітній філософський словник
формалізація - формалізувати, зую, зуешь; ованний; сов. і несов. (Кніжн.). Уявити (влять) змістовну сторону явища у вигляді формальної системи або обчислення. Формалізована мова (система спеціалізованих мовних засобів або їх символів з точними ... ... Тлумачний словник Ожегова
ФОРМАЛІЗАЦІЯ - (від лат. Formalis перевагу форми) англ. formalization; HevbFormalisierung. 1. Подання змістовної сторони явища у вигляді формальної системи або обчислення. 2. У науковій теорії побудова логічної структури, за допомогою до рій все ... ... Енциклопедія соціології
формалізація - ФОРМАЛІЗАЦІЯ сукупність пізнавальних операцій, що забезпечує відволікання від значення понять і сенсу виразів наукової теорії з метою дослідження її логічних особливостей, дедуктивних і виражальних можливостей. В математиці і ... ... Енциклопедія епістемології і філософії науки
формалізація - і, ж. formalisation f. Подання у вигляді формальної системи ... Історичний словник галліцізмов української мови
Формалізація - [formaliza-tion] опис теорій, осмислених пропозицій і т.п. формальними засобами, перш за все символами математики і математичної логіки (але бувають випадки і такі, що символами виявляються звичайні слова, тільки бездоганно ... ... Економіко-математичний словник