Modal logic formalises modal language. The chief terms formalised are: “It’s possible that…”, “It must be the case that…”, “It should be…”.
We use modal language all the time, but it is difficult to give a satisfactory definition of it without referring back to another modal term. Modal logic gives us a definition of modal terms that avoids that problem. It doesn’t have a great deal of utility apart from that.
Latest Answers