ГОСТ Р 59791—2021
П р и м е ч а н и е — Диалект может быть текстовым, графическим или иметь другую форму. По определению
диалект также является совместимым языком (подробнее см. п. 7.1).
3.8
расширяемый язык разметки extensible Common Logic Markup Language;
XCL (extensible
Common Logic Markup Language; XCL): Синтаксис XML для CL.
3.9
единица
(individual): <Интерпретации> одного элемента вселенной дискурса (3.17) интерпре
тации (3.12).
П р и м е ч а н и е — Вселенная дискурса интерпретации — это совокупность всех его единиц.
3.10
интернационализированный идентификатор ресурса;
IRI (internationalized resource
identifier; IRI): Строка символов Unicode, предназначенная для использования в качестве синтаксиса
идентификатора сети Интернет, способного поддерживать широкий спектр международных форм сим
волов.
3.11
надпись
(inscription): Линейная или графическая структура символов.
3.12
интерпретация
(interpretation): Формальное описание значений имен в словаре диалекта CL
(3.7) в терминах эталонной вселенной (3.18).
П р и м е ч а н и я
1 Интерпретация CL, в свою очередь, определяет семантические значения всех сложных выражений диа
лекта, в частности значения истинности его высказываний (3.15), утверждений и текстов.
2 Более точное описание интерпретации приведено в 6.2.
3.13
оператор
(operator): Выделенная синтаксическая роль, которую играет указанный компо
нент в пределах функционального термина (3.16).
П р и м е ч а н и е — Денотат (3.6) функционального термина в интерпретации (3.12) определяется функцио
нальным расширением денотата оператора вместе с денотатами аргументов.
3.14 предикат
(predicate): Синтаксическая роль <Common Logic>, которую играет ровно один
компонент в простом высказывании
(3.15).
П р и м е ч а н и е— Истинность простого высказывания в интерпретации (3.12) определяется относительным
расширением денотата (3.6) сказуемого с денотатами аргументов.
3.15
высказывание
(sentence): Выражение <Common Logic> в синтаксической форме традици
онной логической формулы первого порядка.
Пример
—
Простое высказывание (см. 6.1.1.15), логическое высказывание (см. 6.1.1.14) или квантор
(см. 6.1.1.13).
3.16
термин
(term): Выражение <Common Logic>, обозначающее единицу (3.9), состоящее либо
из имени, либо, рекурсивно, функционального термина, который относится к последовательности аргу
ментов, которые сами по себе являются терминами.
П р и м е ч а н и е — Языки традиционной логики первого порядка специально исключают кванторы предиката
(3.14) и использование одного и того же имени в качестве предиката и аргумента в простых высказываниях (3.15),
оба из которых разрешены (хотя и не требуются) в CL. Языки традиционной логики первого порядка подпадают
под категорию пресуппозиционного диалекта CL с дискурсивной пресуппозицией «недискурса» для всех имен,
исполь зуемых в качестве функциональных операторов (3.13) или предикатов, и «дискурса» для всех имен,
используемых в качестве аргументов функциональных терминов и простых высказываний, а также для
обязательных условий.
3.17
вселенная дискурса, область дискурса
(universe of discource): Множество всех единиц
(3.9) в интерпретации (3.12), то есть множество, по которому ранжируются кванторы.
П р и м е ч а н и е — Должна быть подмножеством исходной вселенной (3.18) и может быть идентичной ему.
3.18
исходная вселенная
(universe of reference): Набор всего необходимого для определения
значений логических выражений в интерпретации (3.12).
П р и м е ч а н и е — Должна быть надмножеством вселенной дискурса (3.17) и может быть идентичной ему.
3