46 ideas
4642 | No fact can be real and no proposition true unless there is a Sufficient Reason (even if we can't know it) [Leibniz] |
2115 | Everything in the universe is interconnected, so potentially a mind could know everything [Leibniz] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
17292 | Avoid 'in virtue of' for grounding, since it might imply a reflexive relation such as identity [Audi,P] |
17295 | Ground relations depend on the properties [Audi,P] |
17297 | A ball's being spherical non-causally determines its power to roll [Audi,P] |
17302 | Ground is irreflexive, asymmetric, transitive, non-monotonic etc. [Audi,P] |
17303 | The best critique of grounding says it is actually either identity or elimination [Audi,P] |
17294 | Grounding is a singular relation between worldly facts [Audi,P] |
17300 | If grounding relates facts, properties must be included, as well as objects [Audi,P] |
17296 | We must accept grounding, for our important explanations [Audi,P] |
17301 | Reduction is just identity, so the two things are the same fact, so reduction isn't grounding [Audi,P] |
7644 | The monad idea incomprehensibly spiritualises matter, instead of materialising soul [La Mettrie on Leibniz] |
11857 | He replaced Aristotelian continuants with monads [Leibniz, by Wiggins] |
7843 | Is a drop of urine really an infinity of thinking monads? [Voltaire on Leibniz] |
12751 | It is unclear in 'Monadology' how extended bodies relate to mind-like monads. [Garber on Leibniz] |
19363 | Changes in a monad come from an internal principle, and the diversity within its substance [Leibniz] |
19352 | A 'monad' has basic perception and appetite; a 'soul' has distinct perception and memory [Leibniz] |
17293 | Worldly facts are obtaining states of affairs, with constituents; conceptual facts also depend on concepts [Audi,P] |
7931 | If a substance is just a thing that has properties, it seems to be a characterless non-entity [Leibniz, by Macdonald,C] |
17554 | There must be some internal difference between any two beings in nature [Leibniz] |
2112 | Truths of reason are known by analysis, and are necessary; facts are contingent, and their opposites possible [Leibniz] |
9344 | Mathematical analysis ends in primitive principles, which cannot be and need not be demonstrated [Leibniz] |
2110 | We all expect the sun to rise tomorrow by experience, but astronomers expect it by reason [Leibniz] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
17298 | Two things being identical (like water and H2O) is not an explanation [Audi,P] |
17299 | There are plenty of examples of non-causal explanation [Audi,P] |
2109 | Increase a conscious machine to the size of a mill - you still won't see perceptions in it [Leibniz] |
19362 | We know the 'I' and its contents by abstraction from awareness of necessary truths [Leibniz] |
12707 | The true elements are atomic monads [Leibniz] |
2114 | This is the most perfect possible universe, in its combination of variety with order [Leibniz] |
2113 | God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz] |