37 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| 3646 | There is always a reason why things are thus rather than otherwise [Leibniz] |
| 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] |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| 19385 | All simply substances are in harmony, because they all represent the one universe [Leibniz] |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| 21346 | The ratio between two lines can't be a feature of one, and cannot be in both [Leibniz] |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| 13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
| 13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| 13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
| 13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
| 13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| 13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
| 17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
| 13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| 2105 | Things are infinitely subdivisible and contain new worlds, which atoms would make impossible [Leibniz] |
| 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] |
| 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] |