12 ideas
| 22462 | We should speak the truth, but also preserve and pursue it [Foot] |
| 13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
| 9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
| 18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
| 18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
| 3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
| 22458 | Consequentialists can hurt the innocent in order to prevent further wickedness [Foot] |
| 22460 | Why might we think that a state of affairs can be morally good or bad? [Foot] |
| 22461 | Good outcomes are not external guides to morality, but a part of virtuous actions [Foot] |
| 22464 | The idea of a good state of affairs has no role in the thought of Aristotle, Rawls or Scanlon [Foot] |
| 22463 | Morality is seen as tacit legislation by the community [Foot] |
| 22459 | For consequentialism, it is irrational to follow a rule which in this instance ends badly [Foot] |