Tag: modal logic

Take the sentence, 'If I will die tomorrow, then I will die tomorrow.' This has the form If p, then p, where 'p' is a placeholder for a proposition. Any sentence of this form is not just true, but logically true, i.e., true in virtue of its logical form. Now every sentence true in virtue of its…