13 ideas
8964 | Entities can be multiplied either by excessive categories, or excessive entities within a category [Hoffman/Rosenkrantz] |
17879 | Axiomatising set theory makes it all relative [Skolem] |
13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
8962 | 'There are shapes which are never exemplified' is the toughest example for nominalists [Hoffman/Rosenkrantz] |
8961 | Nominalists are motivated by Ockham's Razor and a distrust of unobservables [Hoffman/Rosenkrantz] |
8963 | Four theories of possible worlds: conceptualist, combinatorial, abstract, or concrete [Hoffman/Rosenkrantz] |
22693 | The works we value most are in sympathy with our own moral views [John,E] |
22694 | We should understand what is morally important in a story, without having to endorse it [John,E] |
22695 | We value morality in art because that is what we care about - but it is a contingent fact [John,E] |
22692 | A work can be morally and artistically excellent, despite rejecting moral truth [John,E] |