9 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
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] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
5040 | Necessary truths can be analysed into original truths; contingent truths are infinitely analysable [Leibniz] |
13159 | Only God sees contingent truths a priori [Leibniz] |
5039 | If non-existents are possible, their existence would replace what now exists, which cannot therefore be necessary [Leibniz] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
5041 | God does everything in a perfect way, and never acts contrary to reason [Leibniz] |