Художественный итог Летней школы Московского центра исследования сознания о метафизике возможных миров
«Аксиома К»
Наша вера или знание о том, что нечто является необходимым, позволяют строить научные теории, посредством которых мы объясняем окружающий нас мир. Однако вопрос о том, почему нечто является необходимым, и как мы об этом можем узнать, совсем не прост; его исследованием занимается специальная наука — модальная логика. Существенный вклад в её развитие внёс С. Крипке, который предложил так называемую «семантику возможных миров».
Изображённая формула — это фундаментальный логический закон, который, в некотором смысле, отражает минимальное свойство высказываний о необходимости. Если факт q с необходимостью является следствием факта p, то необходимость p влечёт необходимость q.
Авторы работы: Беликов Александр, Беседин Артём, Бобкова Василиса, Волкова Влада, Гаврилов Максим, Лимитовская Ульяна, Логинов Евгений, Мерцалов Андрей, Тарасенко Тарас, Филатов Артём, Яков Хорев, Юнусов Артём.
