Combining Texts

All the ideas for 'Structures and Structuralism in Phil of Maths', 'A Priori Knowledge' and 'After Virtue: a Study in Moral Theory'

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


51 ideas

1. Philosophy / B. History of Ideas / 5. Later European Thought
In the 17th-18th centuries morality offered a cure for egoism, through altruism [MacIntyre]
     Full Idea: It was in the seventeenth and eighteenth century that morality came generally to be understood as offering a solution to the problems posed by human egoism and that the content of morality came to be largely equated with altruism.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch.16)
     A reaction: It was the elevation of altruism that caused Nietzsche's rebellion. The sixteenth century certainly looks striking cynical to modern eyes. The development was an attempt to secularise Jesus. Altruism has a paradox: it needs victims.
1. Philosophy / B. History of Ideas / 6. Twentieth Century Thought
Twentieth century social life is re-enacting eighteenth century philosophy [MacIntyre]
     Full Idea: Twentieth century social life turns out in key part to be the concrete and dramatic re-enactment of eighteenth-century philosophy.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: This suggest a two hundred year lag between the philosophy and its impact on the culture. One might note the Victorian insistence on 'duty' (e.g. in George Eliot), alongside Mill's view that the Kantian account of it didn't work (Idea 3768).
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Philosophy has been marginalised by its failure in the Enlightenment to replace religion [MacIntyre]
     Full Idea: The failure, in the Enlightenment, of philosophy to provide what religion could no longer furnish was an important cause of philosophy losing its central cultural role and becoming a marginal, narrowly academic subject.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 4)
     A reaction: A strange way of presenting the situation. Philosophy has never aspired to furnish beliefs for the masses. Plato offered them myths. The refutation of religion was difficult and complex. There is no returning from there to a new folk simplicity.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Proof is a barren idea in philosophy, and the best philosophy never involves proof [MacIntyre]
     Full Idea: Arguments in philosophy rarely take the form of proofs; and the most successful arguments on topics central to philosophy never do. (The ideal of proof is a relatively barren one in philosophy).
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch.18)
     A reaction: He seems proud of this, but he must settle for something which is less than proof, which has to be vindicated to the mathematicians and scientists. I agree, though. Plato is the model, and the best philosophy builds a broad persuasive picture.
3. Truth / F. Semantic Truth / 2. Semantic Truth
While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]
     Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price]
     Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do?
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price]
     Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
'Analysis' is the theory of the real numbers [Reck/Price]
     Full Idea: 'Analysis' is the theory of the real numbers.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
Mereological arithmetic needs infinite objects, and function definitions [Reck/Price]
     Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / e. Peano arithmetic 2nd-order
Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price]
     Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'!
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory gives a unified and an explicit basis for mathematics [Reck/Price]
     Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price]
     Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2)
     A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / b. Varieties of structuralism
Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price]
     Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight?
There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price]
     Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6)
     A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start.
Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price]
     Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7)
     A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds..
There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price]
     Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9)
     A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price]
     Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3)
     A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations.
Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price]
     Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price]
     Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator.
Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price]
     Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5)
     A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price]
     Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity.
8. Modes of Existence / E. Nominalism / 6. Mereological Nominalism
A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price]
     Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums.
     From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4)
     A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity.
10. Modality / A. Necessity / 11. Denial of Necessity
Maybe modal sentences cannot be true or false [Casullo]
     Full Idea: Some people claim that modal sentences do not express truths or falsehoods.
     From: Albert Casullo (A Priori Knowledge [2002], 3.2)
     A reaction: I can only imagine this coming from a narrow hardline empiricist. It seems to me obvious that we make true or false statements about what is possible or impossible.
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
If the necessary is a priori, so is the contingent, because the same evidence is involved [Casullo]
     Full Idea: If one can only know a priori that a proposition is necessary, then one can know only a priori that a proposition is contingent. The evidence relevant to determining the latter is the same as that relevant to determining the former.
     From: Albert Casullo (A Priori Knowledge [2002], 3.2)
     A reaction: This seems a telling point, but I suppose it is obvious. If you see that the cat is on the mat, nothing in the situation tells you whether this is contingent or necessary. We assume it is contingent, but that may be an a priori assumption.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
Epistemic a priori conditions concern either the source, defeasibility or strength [Casullo]
     Full Idea: There are three suggested epistemic conditions on a priori knowledge: the first regards the source of justification, the second regards the defeasibility of justification, and the third appeals to the strength of justification.
     From: Albert Casullo (A Priori Knowledge [2002], 2)
     A reaction: [compressed] He says these are all inspired by Kant. The non-epistemic suggested condition involve necessity or analyticity. The source would have to be entirely mental; the defeasibly could not be experiential; the strength would be certainty.
The main claim of defenders of the a priori is that some justifications are non-experiential [Casullo]
     Full Idea: The leading claim of proponents of the a priori is that sources of justification are of two significantly different types: experiential and nonexperiential. Initially this difference is marked at the phenomenological level.
     From: Albert Casullo (A Priori Knowledge [2002], 5)
     A reaction: He cites Plantinga and Bealer for the phenomenological starting point (that some knowledge just seems rationally obvious, certain, and perhaps necessary).
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
Analysis of the a priori by necessity or analyticity addresses the proposition, not the justification [Casullo]
     Full Idea: There is reason to view non-epistemic analyses of a priori knowledge (in terms of necessity or analyticity) with suspicion. The a priori concerns justification. Analysis by necessity or analyticity concerns the proposition rather than the justification.
     From: Albert Casullo (A Priori Knowledge [2002], 2.1)
     A reaction: [compressed] The fact that the a priori is entirely a mode of justification, rather than a type of truth, is the modern view, influenced by Kripke. Given that assumption, this is a good objection.
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
To find empiricism and science in the same culture is surprising, as they are really incompatible [MacIntyre]
     Full Idea: There is something extraordinary in the coexistence of empiricism and natural science in the same culture, for they represent radically different and incompatible ways of approaching the world.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 7)
     A reaction: I would say that science is commitment to an ontology, and empiricism is a commitment to epistemology. It is a very nice point, given the usual assumption that science is an empirical activity. See Idea 7621. Strict empiricism distorts science.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
'Overriding' defeaters rule it out, and 'undermining' defeaters weaken in [Casullo]
     Full Idea: A justified belief that a proposition is not true is an 'overriding' defeater, ...and the belief that a justification is inadequate or defective is an 'undermining' defeater.
     From: Albert Casullo (A Priori Knowledge [2002], n 40)
     A reaction: Sounds more like a sliding scale than a binary option. Quite useful, though.
14. Science / A. Basis of Science / 4. Prediction
Unpredictability doesn't entail inexplicability, and predictability doesn't entail explicability [MacIntyre]
     Full Idea: Just as unpredictability does not entail inexplicability, so predictability does not entail explicability.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: The second half is not quite as obvious as the first. The location of lightning strikes is an example of the first. He gives examples of the second, but they all seem to be very complex cases which might be explained, if only we knew enough.
14. Science / B. Scientific Theories / 1. Scientific Theory
Social sciences discover no law-like generalisations, and tend to ignore counterexamples [MacIntyre]
     Full Idea: Social sciences have discovered no law-like generalisations whatsoever, ...and for the most part they adopt a very tolerant attitude to counter-examples.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: I suspect that this is as much to do with a narrow and rigid view of what 'science' is supposed to be, as a failure of the social sciences. Have such sciences explained anything? I suspect that they have explained a lot, often after the facts.
16. Persons / E. Rejecting the Self / 3. Narrative Self
I can only make decisions if I see myself as part of a story [MacIntyre]
     Full Idea: I can only answer the question 'What am I to do?' if I can answer the prior question 'Of what story or stories do I find myself a part?'.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], p.201), quoted by Michael J. Sandel - Justice: What's the right thing to do? 09
     A reaction: MacIntyre is a great champion of the narrative view of the Self. Does this mean that if you had total amnesia, but retained other faculties, you could make no decisions? Can you start a new story whenever you like?
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
AI can't predict innovation, or consequences, or external relations, or external events [MacIntyre]
     Full Idea: AI machines have four types of unpredictability: they can't predict radical innovation or future maths proofs; they couldn't predict the outcome of their own decisions; their relations with other computers would be a game-theory tangle; and power failure.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: This isn't an assertion that they lack 'free will', just a very accurate observation of how the super new machines would face exactly the same problems that we ourselves face.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / c. Purpose of ethics
The good life for man is the life spent seeking the good life for man [MacIntyre]
     Full Idea: The good life for man is the life spent in seeking for the good life for man.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch.15)
     A reaction: This contains a self-evident paradox - that success would be failure. The proposal suits philosophers more than it would suit the folk. Less seeking and more getting on with it seems good, if the activity is a 'flourishing' one.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / d. Ethical theory
We still have the appearance and language of morality, but we no longer understand it [MacIntyre]
     Full Idea: We possess simulacra of morality, we continue to use many of the key expressions. But we have - very largely, if not entirely - lost our comprehension, both theoretical and practical, of morality.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 1)
     A reaction: MacIntyre's famous (or notorious) assault on modern ethics. We obviously can't prove him wrong by spouting moral talk. Are we actually more wicked than our ancestors? There is, I think, a relativism problem in the 20th centurty, but that is different.
Unlike expressions of personal preference, evaluative expressions do not depend on context [MacIntyre]
     Full Idea: There are good reasons for distinguishing between expressions of personal preference and evaluative expressions, as the first depend on who utters them to whom, while the second are not dependent for reason-giving force on the context of utterance.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: The sceptics will simply say that in the second type of expression the speaker tries to adopt a tone of impersonal authority, but it is merely an unjustified attempt to elevate personal preferences. "Blue just IS the best colour".
Moral judgements now are anachronisms from a theistic age [MacIntyre]
     Full Idea: Moral judgements are linguistic survivals from the practices of classical theism which have lost the context provided by these practices.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 5)
     A reaction: He is sort of right. Richard Taylor is less dramatic and more plausible on this (Ideas 5065, 5066, 5077). Big claims about 'duty' have become rather hollow, but the rights and wrongs of (e.g.) mistreating children don't seem to need theism.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / b. Rational ethics
The failure of Enlightenment attempts to justify morality will explain our own culture [MacIntyre]
     Full Idea: A central thesis of this book is that the breakdown of the project (of 1630 to 1850) of an independent rational justification of morality provided the historical background against which the predicaments of our own culture can become intelligible.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 4)
     A reaction: Possibly the most important question of our times is whether the Enlightenment failed. MacIntyre's claim is followed by an appeal for a return to Aristotelian/Thomist virtues. Continentals seem to have responded by sliding into relativism.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
Mention of 'intuition' in morality means something has gone wrong with the argument [MacIntyre]
     Full Idea: The introduction of the word 'intuition' by a moral philosopher is always a signal that something has gone badly wrong with an argument.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 6)
     A reaction: For the alternative view, see Kripke (Idea 4948). If Kripke is right about logic, I don't see why the same view should have some force in morality. At the bottom of all morality is an intuition that life is worth the struggle. How do you prove that?
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
When 'man' is thought of individually, apart from all roles, it ceases to be a functional concept [MacIntyre]
     Full Idea: It is only when man is thought of as an individual prior to and apart from all roles that 'man' ceases to be a functional concept.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 5)
     A reaction: This is the one key idea at the heart of the revival of virtue ethics in modern times. It pinpoints what may be the single biggest disaster in intellectual history - the isolation of the individual. Yet it led to freedom, rights, and lots of good things.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
In trying to explain the type of approval involved, emotivists are either silent, or viciously circular [MacIntyre]
     Full Idea: In reply to the question of what kinds of approval are expressed by the feelings or attitudes of moral judgments, every version of emotivism either remains silent, or becomes viciously circular by identifying it as moral approval.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: There seems to be an underlying assumption that moral judgements are sharply separated from other judgements, of which I am not convinced. I approve of creating a beautiful mural for an old folks home free of charge, but it must be beautiful.
The expression of feeling in a sentence is in its use, not in its meaning [MacIntyre]
     Full Idea: Expression of feeling is not a function of the meaning of sentences, but of their use, as when a teacher shouts at a pupil "7 x 7 = 49!", where the expression of feeling or attitude has nothing whatsoever to do with its meaning.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: This point is what underlies the Frege-Geach problem for emotivism, and is a very telling point. Apart from in metaethics, no one has ever put forward a theory of meaning that says it is just emotion. ...Unless it concerns speakers' intentions?
Emotivism cannot explain the logical terms in moral discourse ('therefore', 'if..then') [MacIntyre]
     Full Idea: Analytical moral philosophers resist emotivism because moral reasoning does occur, but there can be logical linkages between various moral judgements of a kind that emotivism could not allow for ('therefore' and 'if...then' express no moral feelings).
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: This is the 'Frege-Geach Problem', nicely expressed, and is the key reason why emotivism seems unacceptable - it is a theory about language, but it just doesn't explain moral discourse sufficiently.
Nowadays most people are emotivists, and it is embodied in our culture [MacIntyre]
     Full Idea: To a large degree people now think, talk and act as if emotivism was true, no matter what their avowed theoretical standpoint may be. Emotivism has become embodied in our culture.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: I suspect that it is moderately educated people who have swallowed emotivism, in the same way that they have swallowed relativism; it provides an excuse for neglectly the pursuit of beauty, goodness and truth, in favour of pleasure.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Maybe we can only understand rules if we first understand the virtues [MacIntyre]
     Full Idea: Maybe we need to attend to the virtues first in the first place in order to understand the function and authority of rules.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 9)
     A reaction: I think MacIntyre's project is exactly right. Morality is about how humans should live their lives. A bunch of robots could implement a set of moral rules, or make contracts, or maximise one another's benefits. The idea of a human community comes first.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / d. Virtue theory critique
Virtue is secondary to a role-figure, defined within a culture [MacIntyre, by Statman]
     Full Idea: MacIntyre argues that the concept of virtue is secondary to that of a role-figure, where the latter is always defined by some particular tradition and culture.
     From: report of Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981]) by Daniel Statman - Introduction to Virtue Ethics §3
     A reaction: MacIntyre is much more of a relativist than Aristotle. There must be some attempt to deal with the problem of a rotten culture which throws up a corrupt role-model. We need a concept of a good culture and of individual flourishing.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character
Characters are the masks worn by moral philosophies [MacIntyre]
     Full Idea: Characters are the masks worn by moral philosophies.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 3)
     A reaction: This may be presenting character in an excessively moral way. Being lively, for example, is a very distinctive trait of character, but hardly moral. This tells us why philosophers are interested in character, but not why other people are.
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / h. Right feelings
If morality just is emotion, there are no external criteria for judging emotions [MacIntyre]
     Full Idea: If there is nothing to judgements of virtue and vice except the expression of feelings of approval and disapproval, there can be no criteria external to those feelings by appeal to which we may pass judgement upon them.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch.16)
     A reaction: The idea that there can be right and wrong feelings may be the key idea in virtue theory. See Idea 5217. A good person would be ashamed to have a bad feeling. Some emotional responses are intrinsically wicked, apart from actions.
23. Ethics / E. Utilitarianism / 1. Utilitarianism
Since Moore thinks the right action produces the most good, he is a utilitarian [MacIntyre]
     Full Idea: Moore takes it that to call an action right is simply to say that of the available alternative actions it is the one which does or did as a matter of fact produce the most good. Moore is thus a utilitarian.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 2)
     A reaction: Far be it from me to disagree with MacIntyre on this, but I would have thought that this made him a consequentialist, rather than a utilitarian. Moore doesn't remotely think that pure pleasure or happiness is the good. He's closer to Rashdall (Idea 6673).
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
There are no natural or human rights, and belief in them is nonsense [MacIntyre]
     Full Idea: There are no natural or human rights, and belief in them is one with belief in witches and in unicorns.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 6)
     A reaction: His point is that the notion of 'rights' only arises out of a community. However, while you might criticise an individual for absurdly asserting all sorts of dubious rights, no one could criticise them if they asserted the right to defend their own life.
28. God / A. Divine Nature / 4. Divine Contradictions
If God is omniscient, he confronts no as yet unmade decisions, so decisions are impossible [MacIntyre]
     Full Idea: Omniscience excludes the making of decisions. If God knows everything that will occur, he confronts no as yet unmade decisions.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: [He cites Aquinas on this] I find it very difficult to see how anyone could read the Bible (see Idea 8008) while keeping this point continually in mind, without seeing the whole book as a piece of blatant anthropomorphism.