26 ideas
21855 | Only in the 1780s did it become acceptable to read Spinoza [Lord] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
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] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
22189 | Why abandon a theory if you don't have a better one? [Gorham] |
22190 | If a theory is more informative it is less probable [Gorham] |
22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
22193 | Consilience makes the component sciences more likely [Gorham] |
21866 | Hobbes and Spinoza use 'conatus' to denote all endeavour for advantage in nature [Lord] |
22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |