43 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] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 6457 | Sensations are mental, but sense-data could be mind-independent [Vesey] |
| 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] |
| 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] |
| 22704 | Immorality may or may not be an artistic defect [Davies,S] |