Теперь мы можем сформулировать основные законы логики пространства применительно к сингулярным термам.
1. Если А принадлежит множеству возможных миров «здесь», то А принадлежит множеству возможных миров «Здесь» и не принадлежит множеству возможных миров «там».
Пример. Если А находится здесь (сидит рядом на стуле, на кровати, за столом и т. д.), то А находится Здесь, в комнате, в доме, в городе и не находится там, под кроватью, за углом, в подворотне.
2. Если А принадлежит множеству возможных миров «там», то А принадлежит множеству возможных миров «Здесь» и не принадлежит множеству возможных миров «здесь».
Пример. Если А находится там, под кроватью, или в шкафу, или под диваном, то А находится Здесь, в комнате, Здесь, в доме. Здесь, в городе и не находится здесь, на столе, на кровати, на тумбочке.
3. Если А принадлежит множеству возможных миров «Здесь», то А принадлежит множеству возможных миров «здесь» или множеству возможных миров «там».
Пример. Если А находится Здесь, в комнате; Здесь, в Москве, то А находится здесь, в доме; здесь, в комнате, или там, под кроватью, там, на Арбате. Примечание. Использование в одной пропозиции выражений «Здесь, в комнате» и «здесь, в комнате» может показаться противоречивым. Но это не так. В антецеденте выражение «Здесь, в комнате» означает принадлежность к множеству возможных миров «Здесь», в консеквенте выражение «здесь, в комнате» означает принадлежность к множеству возможных миров «Здесь в Москве».
4. Если А принадлежит множеству возможных миров «Там», то А не принадлежит множеству возможных миров «Здесь».
Пример. Если А находится Там, в Ленинграде, то А не находится Здесь, в Москве.
5. Если А не принадлежит множеству возможных миров «здесь», то А принадлежит множеству возможных миров «там» и множеству возможных миров Здесь или А принадлежит множеству возможных миров «Там».
Пример. Если А не находится здесь, на столе (на стуле, совсем рядом, в комнате), то А находится там, за углом, за стеной, в соседней комнате и Здесь, в комнате, в Москве, в доме, или А находится Там, в Ленинграде, в
Америке и т. д. Примечание. Аналогично примеру к правилу 3 выражение «здесь в комнате» в консеквенте означает принадлежность к пространству «здесь», а выражение «Здесь в комнате» в антецеденте означает принадлежность к пространству Здесь.
6. Если А не принадлежит множеству возможных миров «там», то А принадлежит множеству возможных миров «здесь» и множеству возможных миров «Здесь» или А принадлежит множеству возможных миров «Там».
