Прочь от реальности

Пример. Если А находится Там, в Ленинграде, то А не находится Здесь, в Москве.

5. Если А не принадлежит множеству возможных миров «здесь», то А принадлежит множеству возможных миров «там» и множеству возможных миров Здесь или А принадлежит множеству возможных миров «Там».

Пример. Если А не находится здесь, на столе (на стуле, совсем рядом, в комнате), то А находится там, за углом, за стеной, в соседней комнате и Здесь, в комнате, в Москве, в доме, или А находится Там, в Ленинграде, в

109

Америке и т. д. Примечание. Аналогично примеру к правилу 3 выражение «здесь в комнате» в консеквенте означает принадлежность к пространству «здесь», а выражение «Здесь в комнате» в антецеденте означает принадлежность к пространству Здесь.

6. Если А не принадлежит множеству возможных миров «там», то А принадлежит множеству возможных миров «здесь» и множеству возможных миров «Здесь» или А принадлежит множеству возможных миров «Там».

Пример. Если А не находится там, за стеной (за углом, в другом доме), то А находится здесь, на столе, на кушетке, в двух шагах от меня и находится в комнате, в доме, в Москве или А находится Там, в другом доме, в Ленинграде, в Америке.

7. Если А не принадлежит множеству возможных миров Здесь, то А принадлежит множеству возможных миров Там или не находится Нигде.

Пример. Если А не находится Здесь, в комнате, в доме, в Москве, то А находится там, в другой комнате, в соседнем доме, в Москве или не находится Нигде.

8. Если А не принадлежит множеству возможных миров «Там», то А принадлежит множеству возможных миров «Здесь» или не находится Нигде.

Пример. Если А не находится Там, в другой комнате, в соседнем доме, Ленинграде, то А находится в этой комнате, в этом доме, в Москве или не находится Нигде.

9. Если А не находится Нигде (= находится Нигде), то А не находится Здесь и не находится Там.

110

Пример. Если его нет Нигде, то его нет ни Здесь, в комнате, в доме, в Москве, ни Там, в другой комнате, в соседнем доме, в Ленинграде.

10. Если не верно, что А находится Нигде, то А находится Здесь или Там.

Пример. Если он не умер, то он Здесь, в Москве или Там, в Ленинграде.

Для универсальных термов построение логики пространства усложняется по двум причинам. Первая заключается в том, что для пропозиций с универсалиями не являются истинными аксиомы 1-10. Если дождь идет здесь, это не значит, что он не идет там, и если он идет здесь, то он может идти и там. Вторая особенность, производная от первой, заключается в необходимости введения нового понятия «Везде» как конъюнкции понятий «Здесь» и «Там».