3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
20443 | The aesthetic attitude is nothing more than paying close attention [Dickie, by Giovannelli] |