Блог

Я был бы признателен за помощь в том, как интерпретировать модель Крипке.

Я хочу определить, в каком из миров s_1-s_6 существует отрицание p ($neg p$), но не знаю, как думать о пустом мире или мире, содержащем как p, так и q, которые в данном случае применимы к мирам s_4 и s_6. Верно ли для этих двух, что они содержат $neg p$?

Если я должен догадаться, пустой мир должен содержать отрицание p, поскольку p вообще не существует в мире, но в мире, который содержит как p, так и q, я еще более разделен. Действительно ли отрицание p может существовать в мире, если в мире существуют как p, так и не-p?