У меня есть вопрос, состоящий из двух частей, об определении возможного мира. Я сделаю предположение, что время напряжено.
Прежде всего, является ли возможный мир полным списком всех пропозиций, которые истинны сейчас (во время настоящего временного события), или полным списком всех временных событий и полным списком всех пропозиций, которые верны для каждого события. ? Например, если дать список утверждений, точно описывающих положение и движение каждой фундаментальной частицы в настоящий момент, и аналогичным образом описать любую дополнительную ментальную или сверхъестественную реальность в настоящий момент, будет ли этот возможный мир иным, чем аналогичный список, описывающий мгновение годичной давности, или они (вместе со всеми другими мгновениями) будут частью единого возможного мира?
РЕДАКТИРОВАТЬ: кажется, я немного неуклюже сформулировал первый вопрос; Я не хотел придавать такой особый вес событию «сейчас». Моя цель состояла в том, чтобы спросить, каковы временные рамки возможного мира. Является ли это максимальным описанием реальности во время одного гипотетического (или фактического) события или максимальным описанием гипотетической (или действительной) реальности на протяжении всей ее продолжительности?
Во-вторых, если верно последнее, является ли объективное «сейчас» частью описания возможного мира? Если два описания реальности идентичны, за исключением того, что в одном 1990 год — это сейчас, а в другом — 2000 год, составляют ли они один или два разных возможных мира?
Ваши вопросы предполагают многое. Современная концепция возможных миров восходит к работам Дэвида Льюиса. В его трактовке модального реализма миры определяются как конкретные максимальные мереологические суммы, все части которых связаны пространственно-временными отношениями.
Если вам не нравится модальный реализм (а на самом деле никто не любит), тогда, если вы все еще хотите использовать возможные миры в своей теории, один из вариантов — думать о них как о наборах предложений. Однако нет причин выбирать один из двух вариантов. Существует по крайней мере третий доступный вариант, а именно, что возможный мир — это набор предложений (вероятно, закрытых по смыслу или около того), описывающих возможный сценарий.
Что касается вашего первого варианта (список утверждений, верных на данный момент): это сделало бы возможные миры бесполезными для большинства целей. Одно из применений возможных миров — говорить о возможностях. Но если миры состоят только из наборов пропозиций, которые истинны в данный момент, то не существует возможного мира, в котором вещи были бы другими.
Что касается вашего второго варианта (множество темпоральных событий и пропозиций, истинных в каждом событии), непонятно, для чего вам нужны события. Как я указал во втором абзаце, миры могут быть просто наборами предложений. Они описывают, как все могло бы быть. Некоторые предложения касаются того, как все могло быть в прошлом. Некоторые предложения касаются того, как все могло бы быть в будущем. Некоторые предложения касаются того, что прямо сейчас все могло бы быть иначе. Например, в одном предложении говорится, что я пью чай на кухне. Это утверждение здесь ложно, но оно описывает то, что могло бы быть правдой.
Ответ на ваше редактирование: я не нашел цитаты, подтверждающей это, но я думаю, что возможный мир как набор предложений считается максимальным описанием (фактических или) возможных реальностей на протяжении всей его продолжительности. Это в некотором смысле включает и другой вариант, потому что максимальные описания отдельных событий будут частью возможного мира в первом смысле.