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

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

  А. И. Чёрный.