28 ideas
| 13939 | No possible evidence could decide the reality of numbers, so it is a pseudo-question [Carnap] |
| 12780 | We can grasp the wisdom of God a priori [Leibniz] |
| 8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
| 10718 | A natural number is a property of sets [Maddy, by Oliver] |
| 8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
| 17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
| 13936 | Questions about numbers are answered by analysis, and are analytic, and hence logically true [Carnap] |
| 8748 | Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro] |
| 8960 | Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó] |
| 12774 | Without a substantial chain to link monads, they would just be coordinated dreams [Leibniz] |
| 12777 | Monads do not make a unity unless a substantial chain is added to them [Leibniz] |
| 12782 | Monads control nothing outside of themselves [Leibniz] |
| 13933 | Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap] |
| 13934 | To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself [Carnap] |
| 13938 | A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap] |
| 12778 | There is active and passive power in the substantial chain and in the essence of a composite [Leibniz] |
| 12783 | Primitive force is what gives a composite its reality [Leibniz] |
| 12775 | Things seem to be unified if we see duration, position, interaction and connection [Leibniz] |
| 13935 | We only accept 'things' within a language with formation, testing and acceptance rules [Carnap] |
| 12776 | Every substance is alive [Leibniz] |
| 12753 | A substantial bond of powers is needed to unite composites, in addition to monads [Leibniz] |
| 12781 | A composite substance is a mere aggregate if its essence is just its parts [Leibniz] |
| 12779 | There is a reason why not every possible thing exists [Leibniz] |
| 13932 | Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap] |
| 13937 | New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap] |
| 12785 | Truth is mutually agreed perception [Leibniz] |
| 13940 | All linguistic forms in science are merely judged by their efficiency as instruments [Carnap] |
| 12784 | Allow no more miracles than are necessary [Leibniz] |