НИС "Современные проблемы математической логики" в ВШЭ.
Дата и время: 07.02.2025 в 16:20
Докладчик: Пиманов Артем Сергеевич -- м.н.с. сектора логики Института Философии РАН
Название : Семантика переходов как подход к проблеме детерминизма в логике ветвящегося времени
Аннотация -- Выступление является продолжением выступления, состоявшегося 22 ноября. После рассмотрения детерминистических оснований логики ветвящегося времени в работах Прайора,
имеет смысл остановится на некоторых современных модификациях онтологических структур времени, позволяющих преодолеть возражения, выдвигаемые исследователями после Прайора.
В частности, примечательны работы Джона Макфарлейна, где особое внимание уделяется определению условий адекватной репрезентации идеи открытого будущего. В его понимании ключевым условием является совмещение двух философских интуиций о детерминизме, которое можно реализовать за счет релятивизации оценки высказываний через контекст утверждения. В дальнейшем на эти работы обратил внимание Томас Мюллер, который, занимаясь вопросом отображения локальных аспектов модальной упорядоченности (в том числе и с философской точки зрения), выдвинул идею семантики переходов. Ее развитие сегодня отражается в работах Антье Румберг, где предлагается вариант семантики с наличием оператора стабильности. Получившийся вариант семантики позволяет разрешить сразу несколько основных вопросов касательно детерминизма. В частности, наличие оператора стабильности позволяет показать специфический характер проявления высказываний о случайных событиях. В свою очередь, оценка высказываний позволяет точно и непротиворечиво реализовать предложенный Прайором принцип «жди и смотри». Но, на наш взгляд, такой вариант семантики имеет ряд проблем с описанными ранее представлениями о природе будущего.