3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
16654 | Our words and concepts don't always correspond to what is out there [William of Ockham] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |