3 ideas
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
13082 | The complete concept of an individual includes contingent properties, as well as necessary ones [Leibniz] |