59 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] |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| 20391 | Feminists warn that ideologies use timeless objective definitions as a tool of repression [Davies,S] |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| 594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| 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] |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| 2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |