14 ideas
| 8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
| 10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
| 10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
| 10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
| 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] |
| 8070 | It would be better to point to failings of character, than to moral wrongness of actions [Anscombe] |
| 8065 | 'Ought' and 'right' are survivals from earlier ethics, and should be jettisoned [Anscombe] |
| 8069 | Between Aristotle and us, a Judaeo-Christian legal conception of ethics was developed [Anscombe] |
| 17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |