достижимости со стороны говорящего (лежит здесь, на столе; сидит рядом на стуле и т. д.).
Если мы говорим, что объект находится «там», это означает, что он находится на границе или за границей сенсорной достижимости (он стоит там, за шкафом; там, в углу и т. д.).
Если мы говорим, что объект находится «Здесь», это означает, что он находится в одном актуальном пространстве с говорящим: в одной комнате, в одном доме, на одной улице, в одном городе и т. д. Ясно, что если А находится «Здесь», то А находится «здесь» или «там» (Если А в городе, то он либо здесь, в комнате, либо там, за углом, на соседней улице, в кино и т. д.).
Если мы говорим, что объект находится «Там», это означает, что «не верно, что он находится Здесь», то есть он находится за пределами одного актуального пространства с говорящим.
Будем также разграничивать понятия «нигде» и «Нигде».
Если мы говорим, что «его нигде нет», то это означает, что его нет «нигде здесь», то есть ни «здесь, в комнате», ни «там, за углом».
Если мы говорим, что объекта нет Нигде, это означает, что его нет ни «Здесь», ни «Там», что равносильно тому, что объект вообще не существует, уничтожен, умер.
При этом анализируемые нами понятия не означают какие-то конкретные пространства, но совокупность пространств: «здесь» может означать и «здесь на столе», и «здесь на стуле», и «здесь на тумбочке», то есть в любой точке пространства, куда видит глаз говорящего, простирается его слух и может быть протянута его рука. Поэтому мы будем говорить о множестве возможных миров «здесь» и в том случае, когда А находится здесь, будем говорить, что А принадлежит множеству возможных миров «здесь».
Теперь мы можем сформулировать основные законы логики пространства применительно к сингулярным термам.
1. Если А принадлежит множеству возможных миров «здесь», то А принадлежит множеству возможных миров «Здесь» и не принадлежит множеству возможных миров «там».
2. Если А принадлежит множеству возможных миров «там», то А принадлежит множеству возможных миров «Здесь» и не принадлежит множеству возможных миров «здесь».
3. Если А принадлежит множеству возможных миров «Здесь», то А принадлежит множеству возможных миров «здесь» или множеству возможных миров «там».
4. Если А принадлежит множеству возможных миров «Там», то А не принадлежит множеству возможных миров «Здесь».
5. Если А не принадлежит множеству возможных миров «здесь», то А принадлежит множеству возможных миров «там» и множеству возможных миров Здесь или А принадлежит множеству возможных миров «Там».
Америке и т. д. Примечание. Аналогично примеру к правилу 3 выражение «здесь в комнате» в консеквенте означает принадлежность к пространству «здесь», а выражение «Здесь в комнате» в антецеденте означает принадлежность к пространству Здесь.
6. Если А не принадлежит множеству возможных миров «там», то А принадлежит множеству возможных миров «здесь» и множеству возможных миров «Здесь» или А принадлежит множеству возможных миров «Там».
7. Если А не принадлежит множеству возможных миров Здесь, то А принадлежит множеству возможных миров Там или не находится Нигде.
8. Если А не принадлежит множеству возможных миров «Там», то А принадлежит множеству возможных миров «Здесь» или не находится Нигде.
9. Если А не находится Нигде (= находится Нигде), то А не находится Здесь и не находится Там.
10. Если не верно, что А находится Нигде, то А находится Здесь или Там.
Для универсальных термов построение логики пространства усложняется по двум причинам. Первая заключается в том, что для пропозиций с универсалиями не являются истинными аксиомы 1-10. Если дождь идет здесь, это не значит, что он не идет там, и если он идет здесь, то он может идти и там. Вторая особенность, производная от первой, заключается в необходимости введения нового понятия «Везде» как конъюнкции понятий «Здесь» и «Там».
11. Если А принадлежит множеству возможных миров «Везде», то А принадлежит множеству возможных миров «здесь» и множеству возможных миров «Там».
Так же, как и при анализе других модальностей, играющих важную роль в сюжете, можно обнаружить, что пространственный сюжет начинается тогда, когда понятия меняются местами: «здесь» становится на место «Нигде», «Нигде» на место «там» и т. д. Например, А полагает, что В находится «Здесь», в то время как В находится «Там», или, наоборот, А полагает, что В находится «Там», в то время как В находится «там» (за стеной или перегородкой) и подслушивает то, что о нем говорит А. Более сильный вариант: А полагает, что В Нигде не находится, в то время как В находится Там или Здесь.
Данный тип сюжета представляет собой комбинацию из пространственной и эпистемической модальностей. Наиболее архетипический протосюжет такого типа – муж на свадьбе у своей жены. Ср. также сцену убийства Гамлетом Полония. Многочисленные ситуации, когда герой, незамеченный, подслушивает, подглядывает, приобретая ценную информацию, движущую сюжет, также основываются на пространственно-эпистемической модальности. Интересной разновидностью такого сюжета является ситуация, когда герой притворяется глухим, немым или слепым, создавая искусственную сенсорную перегородку между собой и другими персонажами, что позволяет ему пространственно-прагматически находиться «там», в то время как он находится «здесь», и использовать это также для получения информации.
Логический механизм этого пространственно-эпистемического построения можно эксплицировать, введя алетическо-эпистемический оператор, читающийся как «можно предположить, что». Если мы возьмем формулу 5 и припишем консеквенту этот оператор, то получим, что, если можно предположить, что А принадлежит множеству возможных миров «там» и множеству возможных миров «Здесь» или принадлежит множеству возможных миров «Там», то можно предположить, что А принадлежит множеству возможных миров «здесь», то есть если А не находится здесь, то можно предположить, что А находится здесь.