точно. Таким же образом могут быть введены любые другие имена. Очевидно
также, как можно описать формальный синтаксисна.
Можно определить новый примитивный предикат обозначение:
Рrdутверждает, что сущность, обозначенная, обозначает сущность,
обозначенную(является именем для нее).
Это приводит к функции
(Обозначение =.
Обозначение:тогда является набором всех сущностей, взятых как имена
дляв проблемной области. Естественно, необходимо обеспечить приемлемый
набор аксиом, чтобы определить, какие понятия являются именами в
определенной проблемной области и какие правила применяются для их
назначения, но в любой момент, когда встречается выражение "(Принадлежит
Обозначение: )", он обозначает, что то, что обозначено, т.е. именем того, что
обозначено .
Понятие реализации чего-либо, что имеет место в воспринимаемом мире, -
основная конструкция, допускающая рассуждение о физическом мире в
концептуальныхсхемах.Реализации,рассматриваемыекакиндивиды,
связываются с определенными точками времени и пространства. Реализации
считаются мгновенными и точечными, отличимыми одна от другой и от всех
других индивидов. Чтобы описать основные свойства реализации, вводятся
примитивные предикаты, а для того, чтобы установить семантику этих свойств,
вводятся аксиомы, налагающие ограничения на эти примитивные предикаты.
Первоначальные высказывания о реализациях относятся к их местоположению
во времени и пространстве.
Но размещение во времени существенно. Единственный примитивный
предикат, достаточный для введения времени, - это
((Раньше чем) |ff Pre).
Основное отношение можно теперь определить следующим образом:
(Раньше = {Раньше чем}).
Удобно также явно определить обратное отношение:
(Позже =Раньше).
Класс всех реализаций (в смысле физического универсума) определяется как
класс всего, что участвует в отношении Раньше:
(Реализации =РаньшеРаньше).
Теперь можно ввести аксиомы, относящиеся к предикату "Раньше чем".