hgr

в одной еще неизданной книге очень серьезный автор пишет:
==================
Время как свойство представляется динамическим временным рядом "было - есть - будет" ("прошлое - настоящее - будущее") и характеризуется направленностью, или "стрелой времени"; время как отношение представляется статическим временным рядом "раньше - одновременно - позже" и не имеет направления.
Пространство как свойство - это "здесь" или "там"; пространство как отношение - это выражения типа "А дальше В", "А совпадает с В" и "А ближе В".
===================
по-моему, тут во всех случаях только сравнительные модальности: спатиотемпоральное "здесь -- там" (и третий член триады "ни здесь ни там").

настоящее -- это темпоральное "здесь". для прошлого или будущего нужно выбрать "там", и тогда для будущего или прошлого останется "ни здесь ни там".

"здесь" и "там" -- тоже сравнительные модальности: здесь это вам не там! -- т.е. они определяются лишь как бинарная оппозиция.
"А дальше В" подразумевают (неявно) "здесь" -- точку отсчета, *откуда* "дальше". вводятся Там-1 и Там-2, но по отношению к единому Здесь. т.е. усложнение той же самой схемы бинарных отношений.

абсолютными спатиотемпоральными модальностями должны быть только те категории, которые обычно и используются в разработанных (начиная от Прайора и фон Вригта) логиках пространства и времени (абсолютных): для времени это "всегда", "никогда", "иногда", для пространства -- "везде, нигде, кое-где (где-то)".

стрела времени в логике получается только за счет казуальности (так, в логике времени у Прайора вышел жесткий детерминизм). наши интуитивные представления о необратимости времени, кажется, не должны существовать на уровне логических категорий, а могут только вноситься в аксиоматику. интуитивно мне кажется, что это соотносится с выводом Геделя о том, что из ОТО Эйнштейна следует обратимость времени.