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

171 views

[ad_1]

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

In: Other
[ad_2]

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.