14 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
22462 | We should speak the truth, but also preserve and pursue it [Foot] |
21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
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] |