3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
490 | Everything happens by reason and necessity [Leucippus] |
11968 | The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan] |