Combining Texts

All the ideas for 'Thinking About Mathematics', 'On the Happy Life' and 'Penguin Dictionary of Philosophy'

unexpand these ideas     |    start again     |     specify just one area for these texts


54 ideas

1. Philosophy / A. Wisdom / 2. Wise People
A wise man is not subservient to anything [Seneca]
     Full Idea: I do not call any man wise who is subservient to anything.
     From: Seneca the Younger (On the Happy Life [c.60], §11)
     A reaction: At the very least, a wise man should be subservient to a wiser man.
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Linguistic philosophy approaches problems by attending to actual linguistic usage [Mautner]
     Full Idea: Linguistic philosophy gives careful attention to actual linguistic usage as a method of dealing with problems of philosophy, resulting in either their solution or dissolution.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.318)
     A reaction: This approach is now deeply discredited and unfashionable, and, I think (on the whole), rightly so. Philosophy should aim a little higher in (say) epistemology than merely describing how people use words like 'know' and 'believe' and 'justify'.
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytic philosophy studies the unimportant, and sharpens tools instead of using them [Mautner]
     Full Idea: Critics of analytic philosophers accuse them of excessive attention to relatively unimportant matters, and of being more interested in sharpening tools than in using them.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.111)
     A reaction: The last part is a nice comment. Both criticisms seem to me to contain some justice, but recently things have improved (notably in the new attention paid by analytical philosophy to metaphysics). In morality analytic philosophy seems superior.
1. Philosophy / H. Continental Philosophy / 3. Hermeneutics
The 'hermeneutic circle' says parts and wholes are interdependent, and so cannot be interpreted [Mautner]
     Full Idea: The 'hermeneutic circle' consists in the fact that an interpretation of part of a text requires a prior understanding of the whole, and the interpretation of the whole requires a prior understanding of its parts.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.247)
     A reaction: This strikes me as a benign circle, solved the way Aristotle solves the good man/good action circle. You make a start somewhere, like a child learning to speak, and work your way into the circle. Not really a problem.
2. Reason / D. Definition / 4. Real Definition
'Real' definitions give the essential properties of things under a concept [Mautner]
     Full Idea: A 'real definition' (as opposed to a linguistic one) is a statement which gives the essential properties of the things to which a given concept applies.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: This is often seen as old-fashioned, Aristotelian, and impossible to achieve, but I like it and aspire to it. One can hardly be precise about which properties are 'essential' to something, but there are clear cases. Your 'gold' had better not be brass.
2. Reason / D. Definition / 7. Contextual Definition
'Contextual definitions' replace whole statements, not just expressions [Mautner]
     Full Idea: Usually in a definition the definiens (definition) can replace the definiendum (expression defined), but in a 'contextual definition' only the whole statement containing the definiens can replace the whole statement containing the definiendum.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These definitions are crucial to Frege's enterprise in the 'Grundlagen'. Logicians always want to achieve definition with a single neat operation, but in ordinary language we talk around a definition, giving a variety of possibilities (as in teaching).
2. Reason / D. Definition / 9. Recursive Definition
Recursive definition defines each instance from a previous instance [Mautner]
     Full Idea: An example of a recursive definition is 'y is an ancestor of x' is defined as 'y is a parent of x, or y is a parent of an ancestor of x'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: From this example I guess that 'ancestor' means 'friend'. Or have I misunderstood? I think we need to define 'grand-parent' as well, and then offer the definition of 'ancestor' with the words 'and so on...'. Essentially, it is mathematical induction.
2. Reason / D. Definition / 10. Stipulative Definition
A stipulative definition lays down that an expression is to have a certain meaning [Mautner]
     Full Idea: A stipulative definition lays down that a given linguistic expression is to have a certain meaning; this is why they cannot be said to be correct or incorrect.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These are uncontroversial when they are explicitly made in writing by a single person. The tricky case is where they are implicitly made in conversation by a community. After a century or two these look like facts, their origin having been lost.
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions point to an object which an expression denotes [Mautner]
     Full Idea: Ostensive definitions explain what an expression means by pointing to an object, action, event, etc. denoted by the expression.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition')
     A reaction: These will need some context. If I define 'red' simply by pointing to a red square, you might conclude that 'red' means square. If I point to five varied red objects, you have to do the work of spotting the common ingredient. I can't mention 'colour'.
2. Reason / F. Fallacies / 5. Fallacy of Composition
The fallacy of composition is the assumption that what is true of the parts is true of the whole [Mautner]
     Full Idea: The fallacy of composition is an inference relying on the invalid principle that whatever is true of every part is also true of the whole; thus, we cannot assume that because the members of a committee are rational, that the committee as a whole is.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.102)
     A reaction: This is a very common and very significant fallacy, which is perpetrated by major philosophers like Aristotle (Idea 31), unlike most of the other informal fallacies.
4. Formal Logic / E. Nonclassical Logics / 4. Fuzzy Logic
Fuzzy logic is based on the notion that there can be membership of a set to some degree [Mautner]
     Full Idea: Fuzzy logic is based upon fuzzy set-theory, in which the simple notion of membership of a set is replaced by a notion of membership to some degree.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.214)
     A reaction: The idea that something could be to some degree a 'heap of sand' sounds plausible, but Williamson and Sorensen claim that the vagueness is all in us (i.e. it is epistemological), and not in the world. This will scupper fuzzy logic.
5. Theory of Logic / B. Logical Consequence / 6. Entailment
Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner]
     Full Idea: Entailment is the modern word saying that p logically follows from q. Its simplest definition is that you cannot have both p and not-q, but this has the problem that if p is impossible it will entail every possible proposition, which seems unacceptable.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.169)
     A reaction: The word 'entail' was introduced by G.E. Moore in 1920, in preference to 'imply'. It seems clear that we need terms for (say) active implication (q must be true if p is true) and passive implication (p must be false if q is false).
5. Theory of Logic / B. Logical Consequence / 7. Strict Implication
Strict implication says false propositions imply everything, and everything implies true propositions [Mautner]
     Full Idea: Strict implication [not(p and not-q)] carries the paradoxes that a false proposition (p) implies any proposition (q), and a true proposition (q) is materially implied by any proposition (p).
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270)
     A reaction: This seems to show that we have two drastically different notions of implication; one (the logician's) is boring and is defined by a truth table; the other (the ordinary interesting one) says if you have one truth you can deduce a second.
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
'Material implication' is defined as 'not(p and not-q)', but seems to imply a connection between p and q [Mautner]
     Full Idea: 'Material implication' is a term introduced by Russell which is defined as 'the conjunction of p and not-q is false', but carries a strong implication that p implies q, and so there must be some kind of connection between them, which is misleading.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.270)
     A reaction: Mautner says statements of the form 'if p then q' are better called 'conditionals' than 'material implications'. Clearly there is a need for more precise terminology here, as the underlying concepts seem simple enough.
A person who 'infers' draws the conclusion, but a person who 'implies' leaves it to the audience [Mautner]
     Full Idea: 'Implying' is different from 'inferring', because a person who infers draws the conclusion, but a person who implies leaves it to the audience to draw the conclusion.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.279)
     A reaction: I had always taken it just that the speaker does the implying and the audience does the inferring. Of course a speaker may not know what he or she is implying, but an audience must be aware of what it is inferring.
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner]
     Full Idea: Vagueness is of great philosophical interest because it seems to be inconsistent with the view that every proposition is true or false.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.585)
     A reaction: This would explain why Williamson and Sorensen are keen to argue that vagueness is an epistemological (rather than ontological) problem. In ordinary English we are happy to say that p is 'sort of true' or 'fairly true'.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
     Full Idea: Intuitionists in mathematics deny excluded middle, because it is symptomatic of faith in the transcendent existence of mathematical objects and/or the truth of mathematical statements.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: There are other problems with excluded middle, such as vagueness, but on the whole I, as a card-carrying 'realist', am committed to the law of excluded middle.
5. Theory of Logic / G. Quantification / 1. Quantification
Quantifiers turn an open sentence into one to which a truth-value can be assigned [Mautner]
     Full Idea: In formal logic, quantifiers are operators that turn an open sentence into a sentence to which a truth-value can be assigned.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.464)
     A reaction: The standard quantifiers are 'all' and 'at least one'. The controversy is whether quantifiers actually assert existence, or whether (as McGinn says) they merely specify the subject matter of the sentence. I prefer the latter.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
     Full Idea: It is surely wise to identify the positions in the natural numbers structure with their counterparts in the integer, rational, real and complex number structures.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: The point is that this might be denied, since 3, 3/1, 3.00.., and -3*i^2 are all arrived at by different methods of construction. Natural 3 has a predecessor, but real 3 doesn't. I agree, intuitively, with Shapiro. Russell (1919) disagreed.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
     Full Idea: A sequence a1,a2,... of rational numbers is 'Cauchy' if for each rational number ε>0 there is a natural number N such that for all natural numbers m, n, if m>N and n>N then -ε < am - an < ε.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.2 n4)
     A reaction: The sequence is 'Cauchy' if N exists.
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
     Full Idea: There is a dedicated contingent who hold that the category of 'categories' is the proper foundation for mathematics.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.3 n7)
     A reaction: He cites Lawvere (1966) and McLarty (1993), the latter presenting the view as a form of structuralism. I would say that the concept of a category will need further explication, and probably reduce to either sets or relations or properties.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
     Full Idea: Zermelo said that for each number n, its successor is the singleton of n, so 3 is {{{null}}}, and 1 is not a member of 3. Von Neumann said each number n is the set of numbers less than n, so 3 is {null,{null},{null,{null}}}, and 1 is a member of 3.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: See Idea 645 - Zermelo could save Plato from the criticisms of Aristotle! These two accounts are cited by opponents of the set-theoretical account of numbers, because it seems impossible to arbitrate between them.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
     Full Idea: The structuralist vigorously rejects any sort of ontological independence among the natural numbers; the essence of a natural number is its relations to other natural numbers.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: This seems to place the emphasis on ordinals (what order?) rather than on cardinality (how many?). I am strongly inclined to think that this is the correct view, though you can't really have relations if there is nothing to relate.
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
     Full Idea: A 'system' is a collection of objects with certain relations among them; a 'pattern' or 'structure' is the abstract form of a system, highlighting the interrelationships and ignoring any features they do not affect how they relate to other objects.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: Note that 'ignoring' features is a psychological account of abstraction, which (thanks to Frege and Geach) is supposed to be taboo - but which I suspect is actually indispensable in any proper account of thought and concepts.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
     Full Idea: The thesis that principles of arithmetic are derivable from the laws of logic runs against a now common view that logic itself has no ontology. There are no particular logical objects. From this perspective logicism is a non-starter.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 5.1)
     A reaction: This criticism strikes me as utterly devastating. There are two routes to go: prove that logic does have an ontology of objects (what would they be?), or - better - deny that arithmetic contains any 'objects'. Or give up logicism.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
     Full Idea: Term Formalism is the view that mathematics is just about characters or symbols - the systems of numerals and other linguistic forms. ...This will cover integers and rational numbers, but what are real numbers supposed to be, if they lack names?
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.1)
     A reaction: Real numbers (such as pi and root-2) have infinite decimal expansions, so we can start naming those. We could also start giving names like 'Harry' to other reals, though it might take a while. OK, I give up.
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
     Full Idea: Game Formalism likens mathematics to chess, where the 'content' of mathematics is exhausted by the rules of operating with its language. ...This, however, leaves the problem of why the mathematical games are so useful to the sciences.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.2)
     A reaction: This thought pushes us towards structuralism. It could still be a game, but one we learned from observing nature, which plays its own games. Chess is, after all, modelled on warfare.
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
     Full Idea: The Deductivist version of formalism (sometimes called 'if-thenism') says that the practice of mathematics consists of determining logical consequences of otherwise uninterpreted axioms.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.2)
     A reaction: [Hilbert is the source] More plausible than Term or Game Formalism (qv). It still leaves the question of why it seems applicable to nature, and why those particular axioms might be chosen. In some sense, though, it is obviously right.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
     Full Idea: Critics commonly complain that the intuitionist restrictions cripple the mathematician. On the other hand, intuitionist mathematics allows for many potentially important distinctions not available in classical mathematics, and is often more subtle.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.1)
     A reaction: The main way in which it cripples is its restriction on talk of infinity ('Cantor's heaven'), which was resented by Hilbert. Since high-level infinities are interesting, it would be odd if we were not allowed to discuss them.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
     Full Idea: I classify conceptualists according to what they say about properties or concepts. If someone classified properties as existing independent of language I would classify her as a realist in ontology of mathematics. Or they may be idealists or nominalists.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 2.2.1)
     A reaction: In other words, Shapiro wants to eliminate 'conceptualist' as a useful label in philosophy of mathematics. He's probably right. All thought involves concepts, but that doesn't produce a conceptualist theory of, say, football.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
     Full Idea: A definition of a mathematical entity is 'impredicative' if it refers to a collection that contains the defined entity. The definition of 'least upper bound' is impredicative as it refers to upper bounds and characterizes a member of this set.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: The big question is whether mathematics can live with impredicative definitions, or whether they threaten to be viciously circular, and undermine the whole enterprise.
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactuals presuppose a belief (or a fact) that the condition is false [Mautner]
     Full Idea: A conditional is called counterfactual because its use seems to presuppose that the user believes its antecedent to be false. Some insist that the antecedent must actually be false.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: I am inclined to favour the stricter second version. "If I am on Earth then I have weight" hardly sounds counterfactual. However, in "If there is a God then I will be saved" it is not clear whether it is counterfactual, so it had better be included.
Counterfactuals are not true, they are merely valid [Mautner]
     Full Idea: One view of counterfactuals says they are not true, but are merely valid.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: This makes counterfactuals a branch of logic rather than of metaphysics. I find the metaphysical view more exciting as they are part of speculation and are beyond the capacity of computers (which I suspect they are).
Counterfactuals are true if in every world close to actual where p is the case, q is also the case [Mautner]
     Full Idea: Another view of counterfactuals (Lewis, Pollock, Stalnaker) is that they are true if at every possible world at which it is the case that p, and which is otherwise as similar as possible to the actual world, it is also the case that q.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: This seems a good way if putting if, like Lewis, you actually believe in the reality of possible worlds, because then you are saying a counterfactual is made true by a set of facts. Otherwise it is not clear what the truth-maker is here.
Counterfactuals say 'If it had been, or were, p, then it would be q' [Mautner]
     Full Idea: A counterfactual conditional (or 'counterfactual') is a proposition or sentence of the form 'If it had been the case that p, then it would have been the case that q', or 'If it were the case that p, then it would be the case that q'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.114)
     A reaction: The first statement refers to the past, but the second (a subjunctive) refers to any situation at any time. We know more about inferences that we could have made in the past than we do about what is inferable at absolutely any time.
Maybe counterfactuals are only true if they contain valid inference from premisses [Mautner]
     Full Idea: One view of counterfactuals (Chisholm, Goodman, Rescher) is that they are only true if there is a valid logical inference from p and some other propositions of certain kinds (controversial) to q.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.115)
     A reaction: The aspiration that counterfactual claims should reduce to pure logic sounds a bit hopeful to me. Logic is precise, but assertions about how things would be is speculative and imaginative.
10. Modality / C. Sources of Modality / 6. Necessity from Essence
Essentialism is often identified with belief in 'de re' necessary truths [Mautner]
     Full Idea: Many writers identify essentialism with the belief in 'de re' necessary truths
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.179)
     A reaction: I like essentialism, but I cautious about this. If I accept that I have an essential personal identity as I write this, but that it could change over time, the same principle might apply to other natural essences.
11. Knowledge Aims / B. Certain Knowledge / 3. Fallibilism
Fallibilism is the view that all knowledge-claims are provisional [Mautner]
     Full Idea: Fallibilism is the view, proposed by Peirce, and found in Reichenbach, Popper, Quine etc that all knowledge-claims are provisional and in principle revisable, or that the possibility of error is ever-present.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.194)
     A reaction: I think of this as footnote to all thought which reads "Note 1: but you never quite know". Personally I would call myself a fallibilist, and am surprise at anyone who doesn't. The point is that this does not negate 'knowledge'. I am fairly sure 2+3=5.
12. Knowledge Sources / B. Perception / 4. Sense Data / a. Sense-data theory
'Sense-data' arrived in 1910, but it denotes ideas in Locke, Berkeley and Hume [Mautner]
     Full Idea: The term 'sense-data' gained currency around 1910, through writings of Moore and Russell, but it seems to denote at least some of the things referred to as 'ideas of sense' (Locke), or 'ideas' and 'sensible qualities' (Berkeley), or 'impressions' (Hume).
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.518)
     A reaction: See also Hobbes in Idea 2356 for an even earlier version. It looks as if the concept of sense-data is almost unavoidable for empiricists, and yet most modern empiricists have rejected them. You still have to give an account of perceptual illusions.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
     Full Idea: Rationalism is a long-standing school that can be characterized as an attempt to extend the perceived methodology of mathematics to all of knowledge.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.1)
     A reaction: Sometimes called 'Descartes's Dream', or the 'Enlightenment Project', the dream of proving everything. Within maths, Hilbert's Programme aimed for the same certainty. Idea 22 is the motto for the opposition to this approach.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Observing lots of green x can confirm 'all x are green' or 'all x are grue', where 'grue' is arbitrary [Mautner, by PG]
     Full Idea: Observing green emeralds can confirm 'all emeralds are green' or 'all emeralds are grue', where 'grue' is an arbitrary predicate meaning 'green until t and then blue'. Thus predictions are arbitrary, depending on how the property is described.
     From: report of Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.225) by PG - Db (ideas)
     A reaction: This increasingly strikes me as the sort of sceptical nonsense that is concocted by philosophers who are enthralled to language instead of reality. It does draw attention to an expectation of stability in induction, both in language and in nature.
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
'All x are y' is equivalent to 'all non-y are non-x', so observing paper is white confirms 'ravens are black' [Mautner, by PG]
     Full Idea: If observing a white sheet of paper confirms that 'all non-black things are non-ravens', and that is logically equivalent to 'all ravens are black' (which it is), then the latter proposition is confirmed by irrelevant observations.
     From: report of Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.105) by PG - Db (ideas)
     A reaction: This seems to me more significant than the 'grue' paradox. If some observations can be totally irrelevant (except to God?), then some observations are much more relevant than others, so relevance is a crucial aspect of induction.
19. Language / C. Assigning Meanings / 9. Indexical Semantics
The references of indexicals ('there', 'now', 'I') depend on the circumstances of utterance [Mautner]
     Full Idea: Indexicals are expressions whose references depend on the circumstances of utterance, such as 'here', 'now', 'last month' 'I', 'you'. It was introduced by Peirce; Reichenbach called them 'token-reflexive', Russell 'ego-centric particulars'.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.272)
     A reaction: Peirce's terminology seems best. They obviously create great problems for any theory of reference which is rather theoretical and linguistic, such as by the use of descriptions. You can't understand 'Look at that!' without practical awareness.
20. Action / C. Motives for Action / 5. Action Dilemmas / b. Double Effect
Double effect is the distinction between what is foreseen and what is intended [Mautner]
     Full Idea: The doctrine of double effect is that there is a moral distinction between what is foreseen by an agent as a likely result of an action, and what is intended.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.150)
     A reaction: Abortion for a pregnancy threatening the mother's life. What always intrigues me is the effects which you didn't foresee because you couldn't be bothered to think about them. How much obligation do you have to try to foresee events?
Double effect acts need goodness, unintended evil, good not caused by evil, and outweighing [Mautner]
     Full Idea: It is suggested the double effect act requires 1) the act is good, 2) the bad effect is not intended, and is avoided if possible, 3) the bad effect doesn't cause the good result, 4) the good must outweigh the bad side effect.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.151)
     A reaction: It is suggested that these won't work for permissibility of an action, but they might be appropriate for blameworthiness. Personally I am rather impressed by the four-part framework here, whatever nitpicking objections others may have found.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / a. Idealistic ethics
The supreme good is harmony of spirit [Seneca]
     Full Idea: The highest good is harmony of spirit.
     From: Seneca the Younger (On the Happy Life [c.60], §08)
     A reaction: This idea is straight from Plato's Republic.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
'Essentialism' is opposed to existentialism, and claims there is a human nature [Mautner]
     Full Idea: In philosophical anthropology, the view that there is a human nature or essence is called 'essentialism'. It became current in 1946 as a contrast to Sartre's existentialist view.
     From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.179)
     A reaction: Being a fan of Aristotle, I incline towards the older view, but you cannot get away from the fact that the human brain has similarities to a Universal Turing Machine, and diverse cultures produce very different individuals.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
I seek virtue, because it is its own reward [Seneca]
     Full Idea: You ask what I seek from virtue? Virtue herself. For she has nothing better, she is herself her own reward.
     From: Seneca the Younger (On the Happy Life [c.60], §09)
     A reaction: Presumably this is the source of the popular saying that 'virtue is its own reward'. The trouble is that this doesn't seem a very persuasive thing to say to a sceptic who doubts whether being virtuous is worth the trouble.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / j. Unity of virtue
Virtue is always moderate, so excess need not be feared [Seneca]
     Full Idea: In the case of virtue excess should not be feared, since in virtue resides moderation.
     From: Seneca the Younger (On the Happy Life [c.60], §13)
     A reaction: This seems to imply that all of the virtues are unified in the one achievement of the virtuous state. It leaves the notion of 'virtue' a bit thin in content, though.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
It is shameful to not even recognise your own slaves [Seneca]
     Full Idea: Why, to your shame, are you so careless that you do not know your handful of slaves by sight?
     From: Seneca the Younger (On the Happy Life [c.60], §17)
23. Ethics / C. Virtue Theory / 4. External Goods / c. Wealth
There is far more scope for virtue if you are wealthy; poverty only allows endurance [Seneca]
     Full Idea: What doubt can there be that the wise man has greater scope for displaying his powers if he is rich than if he is poor, since in the case of poverty only one kind of virtue exists - refusal to be bowed down and crushed.
     From: Seneca the Younger (On the Happy Life [c.60], §22)
     A reaction: It is against this view that I see Jesus proposing poverty as central to virtue. But then he has the surprising view (to Seneca) that humility is a virtue. What Nietzsche calls the slaves' inversion of values.
Why does your wife wear in her ears the income of a wealthy house? [Seneca]
     Full Idea: Why does your wife wear in her ears the income of a wealthy house?
     From: Seneca the Younger (On the Happy Life [c.60], §17)
If wealth was a good, it would make men good [Seneca]
     Full Idea: Wealth is not a good; for it it was, it would make men good.
     From: Seneca the Younger (On the Happy Life [c.60], §24)
     A reaction: An immediately attractive argument, but should we assume that anything which is good will enhance our personal goodness? If goodness is a habit, then continual pursuit of wealth is the test case to examine. Seneca is right!
24. Political Theory / D. Ideologies / 5. Democracy / f. Against democracy
Unfortunately the majority do not tend to favour what is best [Seneca]
     Full Idea: Human concerns are not so happily arranged that the majority favours the better things.
     From: Seneca the Younger (On the Happy Life [c.60], §02)
     A reaction: On the whole Seneca is unimpressed by democracy, as people are rushed into decisions by the crowd, and live to regret them.