3 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
10245 | One geometry cannot be more true than another [Poincaré] |