37 ideas
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 18617 | Substances, unlike aggregates, can survive a change of parts [Mumford] |
| 18618 | Maybe possibilities are recombinations of the existing elements of reality [Mumford] |
| 18619 | Combinatorial possibility has to allow all elements to be combinable, which seems unlikely [Mumford] |
| 18620 | Combinatorial possibility relies on what actually exists (even over time), but there could be more [Mumford] |
| 12157 | Kant gave form and status to aesthetics, and Hegel gave it content [Kant, by Scruton] |
| 20346 | The aesthetic attitude is a matter of disinterestedness [Kant, by Wollheim] |
| 18547 | Only rational beings can experience beauty [Kant, by Scruton] |
| 20408 | With respect to the senses, taste is an entirely personal matter [Kant] |
| 20409 | When we judge beauty, it isn't just personal; we judge on behalf of everybody [Kant] |
| 20411 | Saying everyone has their own taste destroys the very idea of taste [Kant] |
| 22711 | The beautiful is not conceptualised as moral, but it symbolises or resembles goodness [Kant, by Murdoch] |
| 4025 | Kant saw beauty as a sort of disinterested pleasure, which has become separate from the good [Kant, by Taylor,C] |
| 20412 | Beauty is only judged in pure contemplation, and not with something else at stake [Kant] |
| 22046 | The mathematical sublime is immeasurable greatness; the dynamical sublime is overpowering [Kant, by Pinkard] |
| 21458 | The sublime is a moral experience [Kant, by Gardner] |
| 5643 | Aesthetic values are not objectively valid, but we must treat them as if they are [Kant, by Scruton] |
| 20410 | The judgement of beauty is not cognitive, but relates, via imagination, to pleasurable feelings [Kant] |