14 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] |
| 9944 | We understand some statements about all sets [Putnam] |
| 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] |
| 9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
| 9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
| 9940 | Maybe mathematics is empirical in that we could try to change it [Putnam] |
| 9941 | Science requires more than consistency of mathematics [Putnam] |
| 9943 | You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam] |
| 20482 | Virtue inspires Stoics, but I want a good temperament [Montaigne] |
| 20480 | There is not much point in only becoming good near the end of your life [Montaigne] |
| 20481 | Nothing we say can be worse than unsaying it in the face of authority [Montaigne] |
| 20479 | People at home care far more than soldiers risking death about the outcome of wars [Montaigne] |