39 ideas
22701 | Jokes can sometimes be funny because they are offensive [Jacobson,D] |
10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
22703 | We don't often respond to events in art as if they were real events [Jacobson,D] |
22702 | Audiences can be too moral [Jacobson,D] |
22696 | 'Autonomism' says the morality is irrelevant to the aesthetics [Jacobson,D] |
22697 | Moral defects of art can be among its aesthetic virtues [Jacobson,D] |
22700 | Immoral art encourages immoral emotions [Jacobson,D] |
22699 | Moderate moralism says moral qualities can sometimes also be aesthetic qualities [Jacobson,D] |
22698 | We can judge art ethically, or rate its ethical influence, or assess its quality via its ethics [Jacobson,D] |
9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |