9 ideas
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
22330 | Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock] |
18045 | Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor] |
18044 | Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor] |
18046 | Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |