3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |