Формализованный язык

ФОРМАЛИЗОВАННЫЙ ЯЗЫК - искусственная знаковая система, предназначенная для представления некоторой теории. Формализованный язык отличается от естественных (национальных) языков человеческого общения и мышления, от искусственных языков типа Эсперанто, от «технических» языков науки, сочетающих средства определенной части естественного языка с соответствующей научной символикой (язык химии, язык обычной математики и др.), от алгоритмического языка типа обобщенного программирования и т. п.

ФОРМАЛИЗОВАННЫЙ ЯЗЫК — исчисление, которому приписана интерпретация (Интерпретация и модель). Синтаксическая часть Ф. я. (Логический синтаксис), или само исчисление, образуется чисто формально (Логистический метод). Исчисление становится Ф. я. при добавлении семантических правил, приписывающих значения (Значение и смысл) правильно построенным выражениям исчисления. Ф. я. может помимо чисто логических аксиом содержать также некоторые утверждения нелогического характера (напр., некоторые законы биологии, аксиомы арифметики и др.), тогда Ф. я.

ФОРМАЛИЗОВАННЫЙ ЯЗЫК - искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, выражения логических законов и способов правильных рассуждений средствами строящихся на его основе логик. Построение Ф.я. начинается с задания его алфавита — совокупности исходных, примитивных символов языка. В алфавит включаются логические символы (знаки логических операций и отношений, например, пропозициональные связки и кванторы), нелогические символы (параметры дескриптивных составляющих естественного языка) и технические символы (например, скобки).