3 ideas
1489 | Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel] |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |