18 ideas
| 17641 | Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell] |
| 17638 | If one proposition is deduced from another, they are more certain together than alone [Russell] |
| 17632 | Non-contradiction was learned from instances, and then found to be indubitable [Russell] |
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| 17640 | Finding the axioms may be the only route to some new results [Russell] |
| 17629 | Which premises are ultimate varies with context [Russell] |
| 17630 | The sources of a proof are the reasons why we believe its conclusion [Russell] |
| 17627 | It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell] |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| 17628 | Arithmetic was probably inferred from relationships between physical objects [Russell] |
| 17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
| 17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
| 17637 | The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell] |
| 17639 | Believing a whole science is more than believing each of its propositions [Russell] |
| 17631 | Induction is inferring premises from consequences [Russell] |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| 17633 | The law of gravity has many consequences beyond its grounding observations [Russell] |