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