@exploringlove: not to prove barcan's but just one of the trilemma either u impose a structural implication (girard regress incoming) or u put box diamond box or box box at the ante or u just make your claim counterfactuals which will be infinite i think this apply to every single modal argument making ontologic claim or whatso or probably for compsci #philosophy

◇□†☦🇮🇷☭⃠⚛️ :

do you think barcan is true for every case?

Soichi :

I'm NOT accepting barcan bro please 😭 plus the counterfactual view would get ya possibilist ontology where barcan would be valid wouldn't it

Monroe :

Egoist :

wtf does sequent metatrilemma mean

Atherian :

yeah yeah box diamond type shi