3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
20363 | Leaves are unequal, but we form the concept 'leaf' by discarding their individual differences [Nietzsche] |