формализованный язык - определение в словаре-справочнике по философии

Поиск по словарю

Философия: что такое формализованный язык

формализованный язык - это:

формализованный язык — исчисление, к-рому приписана интерпретация (интерпретация и модель). синтаксическая часть ф. я. (логический синтаксис), или само исчисление, образуется чисто формально (логистический метод). исчисление становится ф. я. при добавлении семантических правил, приписывающих значения (значение и смысл) правильно построенным выражениям исчисления. ф. я. может помимо чисто логических аксиом содержать также нек-рые утверждения нелогического характера (напр., нек-рые законы биологии, аксиомы арифметики и др.), тогда ф. я. дедуктивно описывает соответствующую содержательную область. ф. я. благодаря своим дедуктивным средствам дает возможность проводить строгое рассуждение и получать новые дедуктивно выводимые следствия, непосредственно не содержащиеся в принятых аксиомах. т. обр., ф. я. является аппаратом вывода и доказательства в формализуемых научных дисциплинах. роль ф. я. велика в связи с попытками осуществления автоматизации научного рассуждения посредством электронных машин (кибернетика).

Узнать значение "формализованный язык" онлайн

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина формализованный язык

Директ 1 блок