(ELI5)Can someone explain me what Modal logic is? And how we use it in real life?

464 views

(ELI5)Can someone explain me what Modal logic is? And how we use it in real life?

In: Other

Anonymous 0 Comments

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.