Not sure if there’s another perspective really? I hope this argument works somewhat as an introduction, although including second-order logic and all this “God” stuff might obscure the modal logic somewhat. But at least it shows how an argument using modal logic can work (especially in the second half of the post) :)
I hope this argument works somewhat as an introduction
Well, it surprisingly did. Until the moment where a predicate symbol that had only previously been applied to variables representing objects in the universe of discourse (i.e. a normal variable) was applied to a variable representing a predicate. It was at that moment that I understood that I don’t understand this stuff.
It is quite interesting!
Philosophical perspectives: https://plato.stanford.edu/entries/logic-modal/, https://plato.stanford.edu/entries/phil-multimodallogic/
Mathematical perspectives: https://bd.openlogicproject.org/bd-screen.pdf, https://ncatlab.org/nlab/show/modal+logic
Not sure if there’s another perspective really? I hope this argument works somewhat as an introduction, although including second-order logic and all this “God” stuff might obscure the modal logic somewhat. But at least it shows how an argument using modal logic can work (especially in the second half of the post) :)
Well, it surprisingly did. Until the moment where a predicate symbol that had only previously been applied to variables representing objects in the universe of discourse (i.e. a normal variable) was applied to a variable representing a predicate. It was at that moment that I understood that I don’t understand this stuff.