27 ideas
2104 | No reason could limit the quantity of matter, so there is no limit [Leibniz] |
2098 | The principle of sufficient reason is needed if we are to proceed from maths to physics [Leibniz] |
3646 | There is always a reason why things are thus rather than otherwise [Leibniz] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
19385 | All simply substances are in harmony, because they all represent the one universe [Leibniz] |
21346 | The ratio between two lines can't be a feature of one, and cannot be in both [Leibniz] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |
2106 | The only simple things are monads, with no parts or extension [Leibniz] |
2102 | Atomism is irrational because it suggests that two atoms can be indistinguishable [Leibniz] |
2105 | Things are infinitely subdivisible and contain new worlds, which atoms would make impossible [Leibniz] |
20965 | Leibniz upheld conservations of momentum and energy [Leibniz, by Papineau] |
2103 | The idea that the universe could be moved forward with no other change is just a fantasy [Leibniz] |
2100 | Space and time are purely relative [Leibniz] |
2107 | No time exists except instants, and instants are not even a part of time, so time does not exist [Leibniz] |
2101 | If everything in the universe happened a year earlier, there would be no discernible difference [Leibniz] |
22894 | If time were absolute that would make God's existence dependent on it [Leibniz, by Bardon] |
2099 | The existence of God, and all metaphysics, follows from the Principle of Sufficient Reason [Leibniz] |