Necessities and Necessary Truths : A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions ∗

In philosophical logic necessity is usually conceived as a sentential operator rather than a predicate. An intensional sentential operator does not allow one to express quantified statements such as ‘There are necessary a posteriori propositions’ or ‘All laws of physics are necessary’ in first-order logic in a straightforward way, while they are readily… CONTINUE READING