интересно, а сколько есть модальностей не сводимых к друг к другу?
и как "существование" соотносится с модальностями?
например,
существование
X есть-is-exists
отрицание
X нет-is not-doesn't exist
модальности
X is necessary
отрицание
X is not necessary-unnecessary что семантически похоже на то что X is possible, если он не обязателен, то по крайней мере возможен
далее
X is possible
отрицание
X is not possible-impossible что семантически означает что X невозможен ни в одном из миров, и это как раз похоже на противоположность X is necessary
получается есть 3 модальности и 2 состояния существования - necessary,unnecessary=possible,impossible и is, is not.

потом
если X is, то X может быть necessary, и может быть possible, но не может быть impossible раз он есть (ну и не может быть is понятное дело)
если X is not, то X может быть possible, то есть где то вероятно появиться, может быть impossible, так как его вообще может нигде не быть, но он не может быть necessary, ведь если бы он был necessary, то он бы автоматом существовал.
если X necessary, то он is, он possible, но не может быть is not и не может быть impossible
если X possible/unnecessary, то он может is, может is not, но не может быть impossible, а вот может или не может он быть necessary - хз, мне интуитивно кажется что следствия тут нет.
если X impossible, то он может быть is not, но не может быть is, necessary и possible

вроде всё перебрал, извиняюсь за немного шизу, может быть моя семантическая-layman лингвистическая интуиция соответствует какой то из моделей модальной логики, а может это полная хуйня

еще можно подумать можно ли к модальности possible припихнуть и определить more likely/less likely.

(Reply to this) (Parent) (Thread)

второй параграф можно наверное графически изобразить как схему

(Reply to this) (Parent)

https://plato.stanford.edu/entries/formal-epistemology/

(Reply to this) (Parent)

Мне кажется вы правильно рассуждаете.

Но я отметил бы, что существуют много не эквивалентных модальностей с разными отношениями возможности.

(Reply to this) (Parent)