4 ideas
16676 | Why use more things when fewer will do? [William of Ockham] |
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)] |
16675 | Every extended material substance is composed of parts distant from one another [William of Ockham] |