I’m not sure modal logic’s creators ever intended it as an explanation of “necessity” and “possibility”. It was always a description of how the two things (and other similar modalities) should behave. Kripke semantics has more of an ‘explanation’ flavor, but it is also a description.
The thought that we (LW participants interested in these things) will be lead astray by a slight exposure to the forbidden topic is kinda offending. I mean, we already have a satisfactory explanation and understanding of “possibility”, don’t we?
I’m not sure modal logic’s creators ever intended it as an explanation of “necessity” and “possibility”. It was always a description of how the two things (and other similar modalities) should behave. Kripke semantics has more of an ‘explanation’ flavor, but it is also a description.
The thought that we (LW participants interested in these things) will be lead astray by a slight exposure to the forbidden topic is kinda offending. I mean, we already have a satisfactory explanation and understanding of “possibility”, don’t we?