34 ideas
| 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] |
| 16185 | Causality indicates which properties are real [Cartwright,N] |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| 16182 | Two main types of explanation are by causes, or by citing a theoretical framework [Cartwright,N] |
| 16184 | An explanation is a model that fits a theory and predicts the phenomenological laws [Cartwright,N] |
| 16167 | Laws get the facts wrong, and explanation rests on improvements and qualifications of laws [Cartwright,N] |
| 16169 | Laws apply to separate domains, but real explanations apply to intersecting domains [Cartwright,N] |
| 16171 | The covering law view assumes that each phenomenon has a 'right' explanation [Cartwright,N] |
| 16176 | Covering-law explanation lets us explain storms by falling barometers [Cartwright,N] |
| 16177 | I disagree with the covering-law view that there is a law to cover every single case [Cartwright,N] |
| 16180 | You can't explain one quail's behaviour by just saying that all quails do it [Cartwright,N] |
| 16183 | In science, best explanations have regularly turned out to be false [Cartwright,N] |
| 20739 | Levinas took 'first philosophy' to begin with seeing the vulnerable faces of others [Levinas, by Aho] |
| 20445 | Levinas says Marxism is the replacement of individualist ethics, by solidarity and sociality [Levinas, by Critchley] |
| 16175 | A cause won't increase the effect frequency if other causes keep interfering [Cartwright,N] |
| 6781 | There are fundamental explanatory laws (false!), and phenomenological laws (regularities) [Cartwright,N, by Bird] |
| 16166 | Laws of appearances are 'phenomenological'; laws of reality are 'theoretical' [Cartwright,N] |
| 16179 | Good organisation may not be true, and the truth may not organise very much [Cartwright,N] |
| 16178 | There are few laws for when one theory meets another [Cartwright,N] |
| 16170 | To get from facts to equations, we need a prepared descriptions suited to mathematics [Cartwright,N] |
| 16181 | Simple laws have quite different outcomes when they act in combinations [Cartwright,N] |