display all the ideas for this combination of texts
4 ideas
19370 | 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R] |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
19391 | We can assign a characteristic number to every single object [Leibniz] |