12 ideas
| 14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
| 14968 | A weakened classical language can contain its own truth predicate [Gupta] |
| 14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
| 14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
| 8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
| 9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
| 10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
| 22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
| 22444 | A moral system must deal with the dangers and benefits of life [Foot] |
| 22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
| 22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
| 22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |