формализация
формализа́ция
(< форма наружность, вид)
В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования;
способы исследования, ориентированные на выявление формы (структуры) мыслей и символическое обозначение ее.
Формализованная теория понимается как система символов, представляющих последовательность логических терминов: субъекта и предиката в суждении, субъекта и предиката в силлогизме.
Выделяются следующие группы формальных символов:
1) логические символы Λ – и, V – или;
2) символы предикатов (=) и функций (+);
3) переменные (а, в, с).
На их основе создаются формальные выражения и их конечные последовательности.
Формализованная методика исследования требует использования следующих приемов решения лингвистических задач:
1) алгоритмизация;
2) графическое исчисление;
3) матричное (табличное) определение истинности функций сложных высказываний.
Словарь лингвистических терминов Жеребило