Явное представление ссылок. Представление функциями. Примеры.

Явное представление ссылок

Символы объектного языка, такие как Жак_2, Мари_4 и Книга_22, введены для того, чтобы избежать двусмысленности ссылок на вполне определенных людей и книгу. Фраза «Жак посылает книгу Мари» указывает определенное «почтовое событие» (или «действие отправления»), на которое желательно иметь возможность ссылаться в дальнейшем. Следовательно, придется дать ему имя индивидуума Посылка_8 и указать, что оно -- часть множества событий с именем совокупности посылки. Перевод фразы на бинарные предикаты выглядит так:

Отправитель (Посылка_8, Жак_2)

Получатель (Посылка_8, Мари_4)

Объект (Посылка_8, Книга_22)

Элем(Посылка_8, посылки)

Предикатное имя Элем означает «есть элемент такого-то множества»

Представление функциями

Отношения между значением Посылка_8 и аргументами тернарного предиката Посылка можно выразить также функциями на множестве почтовых посылок (одной переменной). Функция называется также функциональной формой. Фраза «Жак посылает книгу Мари» выражается в терминах функций следующей формой:

Равно (отправитель (Посылка_8), Жак_2)

Равно (получатель (Посылка_8), Мари_4)

Равно (объект (Посылка_8), Книга_22)

Элем (Посылка_8, посылки).

Предикат Равно представляет отношение равенства. Это выражение используют определенные на множестве «посылок» функции, значения которых представляют конкретизации, касающиеся Посылки_8.

Примеры

Рассмотрим фразы той же синтаксической формы, что и «Жак посылает книгу Мари», но с кванторами

По-русски: Жак посылает что-то каждому (всем одно и то же),

Логически: Посылка (Жак_2, х, у).

По-русски: Жак посылает что-то каждому (но не обязательно всем одно и то же)

Логически-1: Посылка (Жак_2, х, у),

Логически-2: Посылка (Отправитель (посылка, Жак_2) Получатель (посылка,х) Объект (посылка,у)),

Логически-3: (Отправитель z(Жак_2) Получатель (z,x) Объект(z,y) Эм (z, посылки)).

Три представления фразы «Жак посылает что-то каждому» соответствует трем представлениям фразы «Жак посылает книгу Мари».

Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.