41 ideas
| 22338 | An unexamined life can be virtuous [Murdoch] |
| 22337 | Philosophy must keep returning to the beginning [Murdoch] |
| 23563 | Philosophy moves continually between elaborate theories and the obvious facts [Murdoch] |
| 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] |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| 22591 | We know perfection when we see what is imperfect [Murdoch] |
| 22709 | We should first decide what are the great works of art, with aesthetic theory following from that [Murdoch] |
| 22341 | Literature is the most important aspect of culture, because it teaches understanding of living [Murdoch] |
| 22715 | Great art proves the absurdity of art for art's sake [Murdoch] |
| 22712 | Art and morals are essentially the same, and are both identical with love [Murdoch] |
| 22347 | Appreciating beauty in art or nature opens up the good life, by restricting selfishness [Murdoch] |
| 22714 | Because art is love, it improves us morally [Murdoch] |
| 22348 | Ordinary human love is good evidence of transcendent goodness [Murdoch] |
| 22339 | Love is a central concept in morals [Murdoch] |
| 22713 | Love is realising something other than oneself is real [Murdoch] |
| 22343 | If I attend properly I will have no choices [Murdoch] |
| 22349 | Art trains us in the love of virtue [Murdoch] |
| 22340 | It is hard to learn goodness from others, because their virtues are part of their personal history [Murdoch] |
| 22346 | Moral reflection and experience gradually reveals unity in the moral world [Murdoch] |
| 22350 | Only trivial virtues can be possessed on their own [Murdoch] |
| 20765 | Man is a brave naked will, separate from a background of values and realities [Murdoch] |
| 22342 | Kantian existentialists care greatly for reasons for action, whereas Surrealists care nothing [Murdoch] |
| 22351 | Only a philosopher might think choices create values [Murdoch] |
| 22345 | Moral philosophy needs a central concept with all the traditional attributes of God [Murdoch] |