43 ideas
| 22338 | An unexamined life can be virtuous [Murdoch] |
| Full Idea: An unexamined life can be virtuous. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: Nice. A firm rejection of the intellectualist view of virtue, to which most Greeks subscribed. Jesus would have liked this one. |
| 22337 | Philosophy must keep returning to the beginning [Murdoch] |
| Full Idea: Philosophy has in a sense to keep trying to return to the beginning. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: This is a sign that philosophy is not like other subjects, and indicates that although the puzzles are not solved, they won't go away. Also that, unlike most other subjects, the pre-suppositions are not part of the subject. |
| 23563 | Philosophy moves continually between elaborate theories and the obvious facts [Murdoch] |
| Full Idea: There is a two-way movement in philosophy, a movement towards the building of elaborate theories, and a move back again towards the consideration of simple and obvious facts. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: Nice. Without the theories there is no philosophy, but without continual reference back to the obvious facts the theories are worthless. |
| 9672 | Free logic is one of the few first-order non-classical logics [Priest,G] |
| Full Idea: Free logic is an unusual example of a non-classical logic which is first-order. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], Pref) |
| 9697 | X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets [Priest,G] |
| Full Idea: X1 x X2 x X3... x Xn indicates the 'cartesian product' of those sets, the set of all the n-tuples with its first member in X1, its second in X2, and so on. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.0) |
| 9685 | <a,b&62; is a set whose members occur in the order shown [Priest,G] |
| Full Idea: <a,b> is a set whose members occur in the order shown; <x1,x2,x3, ..xn> is an 'n-tuple' ordered set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9675 | a ∈ X says a is an object in set X; a ∉ X says a is not in X [Priest,G] |
| Full Idea: a ∈ X means that a is a member of the set X, that is, a is one of the objects in X. a ∉ X indicates that a is not in X. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9674 | {x; A(x)} is a set of objects satisfying the condition A(x) [Priest,G] |
| Full Idea: {x; A(x)} indicates a set of objects which satisfy the condition A(x). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9673 | {a1, a2, ...an} indicates that a set comprising just those objects [Priest,G] |
| Full Idea: {a1, a2, ...an} indicates that the set comprises of just those objects. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9677 | Φ indicates the empty set, which has no members [Priest,G] |
| Full Idea: Φ indicates the empty set, which has no members | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9676 | {a} is the 'singleton' set of a (not the object a itself) [Priest,G] |
| Full Idea: {a} is the 'singleton' set of a, not to be confused with the object a itself. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9679 | X⊂Y means set X is a 'proper subset' of set Y [Priest,G] |
| Full Idea: X⊂Y means set X is a 'proper subset' of set Y (if and only if all of its members are members of Y, but some things in Y are not in X) | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9678 | X⊆Y means set X is a 'subset' of set Y [Priest,G] |
| Full Idea: X⊆Y means set X is a 'subset' of set Y (if and only if all of its members are members of Y). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9681 | X = Y means the set X equals the set Y [Priest,G] |
| Full Idea: X = Y means the set X equals the set Y, which means they have the same members (i.e. X⊆Y and Y⊆X). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9683 | X ∩ Y indicates the 'intersection' of sets X and Y, the objects which are in both sets [Priest,G] |
| Full Idea: X ∩ Y indicates the 'intersection' of sets X and Y, which is a set containing just those things that are in both X and Y. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9682 | X∪Y indicates the 'union' of all the things in sets X and Y [Priest,G] |
| Full Idea: X ∪ Y indicates the 'union' of sets X and Y, which is a set containing just those things that are in X or Y (or both). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9684 | Y - X is the 'relative complement' of X with respect to Y; the things in Y that are not in X [Priest,G] |
| Full Idea: Y - X indicates the 'relative complement' of X with respect to Y, that is, all the things in Y that are not in X. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9688 | A 'singleton' is a set with only one member [Priest,G] |
| Full Idea: A 'singleton' is a set with only one member. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9689 | The 'empty set' or 'null set' has no members [Priest,G] |
| Full Idea: The 'empty set' or 'null set' is a set with no members. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.4) |
| 9690 | A set is a 'subset' of another set if all of its members are in that set [Priest,G] |
| Full Idea: A set is a 'subset' of another set if all of its members are in that set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9691 | A 'proper subset' is smaller than the containing set [Priest,G] |
| Full Idea: A set is a 'proper subset' of another set if some things in the large set are not in the smaller set | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 9694 | The 'relative complement' is things in the second set not in the first [Priest,G] |
| Full Idea: The 'relative complement' of one set with respect to another is the things in the second set that aren't in the first. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9693 | The 'intersection' of two sets is a set of the things that are in both sets [Priest,G] |
| Full Idea: The 'intersection' of two sets is a set containing the things that are in both sets. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9692 | The 'union' of two sets is a set containing all the things in either of the sets [Priest,G] |
| Full Idea: The 'union' of two sets is a set containing all the things in either of the sets | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.8) |
| 9698 | The 'induction clause' says complex formulas retain the properties of their basic formulas [Priest,G] |
| Full Idea: The 'induction clause' says that whenever one constructs more complex formulas out of formulas that have the property P, the resulting formulas will also have that property. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.2) |
| 9695 | An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order [Priest,G] |
| Full Idea: An 'ordered pair' (or ordered n-tuple) is a set with its members in a particular order. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9696 | A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets [Priest,G] |
| Full Idea: A 'cartesian product' of sets is the set of all the n-tuples with one member in each of the sets. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.10) |
| 9686 | A 'set' is a collection of objects [Priest,G] |
| Full Idea: A 'set' is a collection of objects. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9687 | A 'member' of a set is one of the objects in the set [Priest,G] |
| Full Idea: A 'member' of a set is one of the objects in the set. | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.2) |
| 9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |
| Full Idea: The empty set Φ is a subset of every set (including itself). | |
| From: Graham Priest (Intro to Non-Classical Logic (1st ed) [2001], 0.1.6) |
| 22341 | Literature is the most important aspect of culture, because it teaches understanding of living [Murdoch] |
| Full Idea: The most essential and fundamental aspect of culture is the study of literature, since this is an education in how to picture and understand human situations. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], i) | |
| A reaction: It is significant that literature belongs more clearly to a nation or community than does most music or painting. You learn about Russians from their literature, but not much from their music. |
| 22347 | Appreciating beauty in art or nature opens up the good life, by restricting selfishness [Murdoch] |
| Full Idea: The appreciation of beauty in art or nature is not only the easiest available spiritual exercise; it is also a completely adequate entry into (and not just analogy of) the good life, since it checks selfishness in the interest of seeing the real. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], II) | |
| A reaction: Not keen on 'spiritual' exercises, but I very much like 'seeing the real' as a promotion of the good life. The hard bit is to know what reality you are seeing in a work of art. [p.84] Her example is the sudden sight of a hovering kestrel. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 22339 | Love is a central concept in morals [Murdoch] |
| Full Idea: Love is a central concept in morals. ....[p.30] The central concept of morality is 'the individual' thought of as knowable by love, thought of in the light of the command 'Be ye therefore perfect'. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: This seems to be a critique of the chillier aspects of utilitarianism and Kantian duty. Love doesn't seem essential to Aristotle's concept of virtue either, and Murdoch's tradition seems to be Christian. I'm undecided about this idea. |
| 22348 | Ordinary human love is good evidence of transcendent goodness [Murdoch] |
| Full Idea: Is not ordinary human love ...striking evidence of a transcendental principle of good? | |
| From: Iris Murdoch (The Sovereignty of Good [1970], II) | |
| A reaction: Sorry to be mean, but I would say not. Love is tied up with sexual desire, and with family and tribal loyalty, and can be observed in quite humble animals. (Love, I should quickly add, is a very good thing indeed. Really). |
| 22343 | If I attend properly I will have no choices [Murdoch] |
| Full Idea: If I attend properly I will have no choices, and this is the ultimate condition to be aimed at. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: I take it this is an expression of what we now call Particularism. It is not just that every moral situation is subtly morally different, but that the particulars of the situation will lead directly to moral choices (in a 'healthy' agent). |
| 22340 | It is hard to learn goodness from others, because their virtues are part of their personal history [Murdoch] |
| Full Idea: It is the historical, individual, nature of the virtues as actually exemplified which makes it difficult to learn goodness from another person. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: A penetrating remark, which strikes me as true. When confronted with a virtuous person you might want to acquire their virtue, just as you might want them to teach you algebra, but their virtues are too bound up with their individuality. |
| 22349 | Art trains us in the love of virtue [Murdoch] |
| Full Idea: The enjoyment of art is a training in the love of virtue. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], III) | |
| A reaction: Very Aristotelian to talk of 'training'. Unfortunately it is children who have the greatest need for training, but most art is aimed at mature adults. Can you be too old to be trained by art, even if you enjoy it? |
| 22346 | Moral reflection and experience gradually reveals unity in the moral world [Murdoch] |
| Full Idea: Reflection rightly tends to unify the moral world, and increasing moral sophistication reveals increasing unity. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], II) | |
| A reaction: As an example she suggests asking what is the best type of courage. Connections to other virtues will emerge. That is a persuasive example. We all have strong views on what type of courage is the most admirable. |
| 22350 | Only trivial virtues can be possessed on their own [Murdoch] |
| Full Idea: It would be impossible to have only one virtue, unless it were a very trivial one such as thrift. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], III) | |
| A reaction: A nicely nuanced commitment to the unity of virtue. You might exhibit courage alone in a brute animal way, but the sort of courage we all admire is part of more extended virtues. |
| 22351 | Only a philosopher might think choices create values [Murdoch] |
| Full Idea: The ordinary person does not, unless corrupted by philosophy, believe that he creates values by his choices. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], III) | |
| A reaction: This looks like a swipe at Nietzsche, more than anyone. Sartre and co talk less about values, other than authenticity. Philosophy can definitely be corrupting. |
| 22342 | Kantian existentialists care greatly for reasons for action, whereas Surrealists care nothing [Murdoch] |
| Full Idea: What may be called the Kantian wing and the Surrealist wing of existentialism may be distinguished by the degree of their interest in reasons for action, which diminishes to nothing at the Surrealist end. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], I) | |
| A reaction: Presumably for all existentialists moral decisions are the most important aspect of life, since they define what you are, but the Surrealist wing seem to be nihilists about that, so they barely count as existentialists. For them life is sleepwalking. |
| 22345 | Moral philosophy needs a central concept with all the traditional attributes of God [Murdoch] |
| Full Idea: God was (or is) a single perfect transcendent non-representable and necessarily real object of attention. ....Moral philosophy should attempt to retain a central concept which has all these characteristics. | |
| From: Iris Murdoch (The Sovereignty of Good [1970], II) | |
| A reaction: This is a combination of middle Platonism (which sees the Form of the Good as the mind of God) and G.E. Moore's indefinable ideal of goodness. Murdoch connects this suggestion with the centrality of love in moral philosophy. I disagree. |