52 ideas
| 20388 | 'Necessary' conditions are requirements, and 'sufficient' conditions are guarantees [Davies,S] |
| 20389 | A definition of a thing gives all the requirements which add up to a guarantee of it [Davies,S] |
| 20391 | Feminists warn that ideologies use timeless objective definitions as a tool of repression [Davies,S] |
| 18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
| 18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
| 18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
| 18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
| 18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
| 18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
| 18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
| 18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
| 18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
| 18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
| 18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
| 18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
| 18182 | The extension of concepts is not important to me [Maddy] |
| 18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| 18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
| 18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
| 18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
| 18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
| 18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
| 18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
| 18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
| 18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| 18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
| 3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
| 2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
| 18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
| 20387 | Aesthetic experience involves perception, but also imagination and understanding [Davies,S] |
| 20385 | The faculty of 'taste' was posited to explain why only some people had aesthetic appreciation [Davies,S] |
| 20386 | The sublime is negative in awareness of insignificance, and positive in showing understanding [Davies,S] |
| 20384 | The idea that art forms are linked into a single concept began in the 1740s [Davies,S] |
| 20390 | Defining art as representation or expression or form were all undermined by the avant-garde [Davies,S] |
| 20392 | 'Aesthetic functionalism' says art is what is intended to create aesthetic experiences [Davies,S] |
| 20405 | Music may be expressive by being 'associated' with other emotional words or events [Davies,S] |
| 20403 | It seems unlikely that sad music expresses a composer's sadness; it takes ages to write [Davies,S] |
| 20393 | The 'institutional' theory says art is just something appropriately placed in the 'artworld' [Davies,S] |
| 20402 | Music is too definite to be put into words (not too indefinite!) [Davies,S] |
| 20395 | The title of a painting can be vital, and the artist decrees who the portrait represents [Davies,S] |
| 20396 | We must know what the work is meant to be, to evaluate the artist's achievement [Davies,S] |
| 20399 | Intentionalism says either meaning just is intention, or ('moderate') meaning is successful intention [Davies,S] |
| 20401 | The meaning is given by the audience's best guess at the author's intentions [Davies,S] |
| 20397 | If we could perfectly clone the Mona Lisa, the original would still be special [Davies,S] |
| 20398 | Art that is multiply instanced may require at least one instance [Davies,S] |
| 20404 | Music isn't just sad because it makes the listener feel sad [Davies,S] |
| 22704 | Immorality may or may not be an artistic defect [Davies,S] |
| 22705 | If the depiction of evil is glorified, that is an artistic flaw [Davies,S] |
| 22707 | It is an artistic defect if excessive moral outrage distorts the story, and narrows our sympathies [Davies,S] |
| 22706 | A work which seeks approval for immorality, but alienates the audience, is a failure [Davies,S] |