13 ideas
| 10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
| 10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| 10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
| 9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
| 9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
| 17488 | Empiricist theories are sets of laws, which give explanations and reductions [Glennan] |
| 17493 | Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan] |
| 17487 | Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan] |
| 17489 | Mechanisms are either systems of parts or sequences of activities [Glennan] |
| 17490 | 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan] |
| 17491 | Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan] |
| 17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |