8 ideas
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
19391 | We can assign a characteristic number to every single object [Leibniz] |
17611 | We want the essence of continuity, by showing its origin in arithmetic [Dedekind] |
10572 | A cut between rational numbers creates and defines an irrational number [Dedekind] |
17612 | Arithmetic is just the consequence of counting, which is the successor operation [Dedekind] |
19390 | Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz] |
18087 | If x changes by less and less, it must approach a limit [Dedekind] |