47 ideas
| 6123 | Empirical investigation can't discover if holes exist, or if two things share a colour [Merricks] |
| Full Idea: Ontology is not empirical, but ontologists do make discoveries; empirical investigation won't discover that holes exist; we see that two things are the same colour, but a philosopher must resolve whether one universal is present in both. | |
| From: Trenton Merricks (Objects and Persons [2003], Pref) | |
| A reaction: This is one of the best, simplest and clearest statements I have encountered of the autonomy of philosophy. One may, of course, respond by saying 'who cares?', but then who cares about quarks, or the economy of the Spanish Empire? |
| 10170 | 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. |
| 10166 | 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? |
| 10175 | 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. |
| 10165 | '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. |
| 10174 | 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. |
| 10164 | 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'! |
| 10172 | 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. |
| 10167 | 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. |
| 10169 | 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? |
| 10179 | 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. |
| 10181 | 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.. |
| 10182 | 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? |
| 10168 | 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. |
| 10178 | 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. |
| 10176 | 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. |
| 10177 | 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. |
| 10171 | 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. |
| 6143 | Prolonged events don't seem to endure or exist at any particular time [Merricks] |
| Full Idea: That events endure is difficult to reconcile with the claim that, say, the American Civil War existed; for such an event seems never to have been 'wholly present' at any single time. | |
| From: Trenton Merricks (Objects and Persons [2003], §3 n14) | |
| A reaction: A nice problem example for those who, like Kim, want their ontology to include events. Personally I am happy to allow some vagueness here. The Civil War only became an 'event' on the day it finished. An event's time need not be an instant. |
| 6135 | A crumbling statue can't become vague, because vagueness is incoherent [Merricks] |
| Full Idea: Some would say that annihilating grains of stone from the statue of David (playing the 'Sorites Game') could never make its identity vague, because metaphysical vagueness is simply unintelligible. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.II) | |
| A reaction: He cites Russell, Dummett and Lewis in support. But Russell is a logical atomist, and Lewis says identity is composition. It strikes me as obvious that identity can be vague; the alternative is the absurdities of the Sorites paradox. |
| 6145 | Intrinsic properties are those an object still has even if only that object exists [Merricks] |
| Full Idea: Intrinsic properties are, by and large, those properties that an object can exemplify even if that object and its parts (if any) are the only objects that exist. | |
| From: Trenton Merricks (Objects and Persons [2003], §4.I) | |
| A reaction: This leads to all sorts of properties that seemed intrinsic turning out to be relational. In what sense would a single object have mass, or impenetrability? |
| 10173 | 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. |
| 6124 | I say that most of the objects of folk ontology do not exist [Merricks] |
| Full Idea: I argue against the existence of most of the objects alleged to exist by what we might call 'folk ontology'. | |
| From: Trenton Merricks (Objects and Persons [2003], §1) | |
| A reaction: This is the programme for Merricks's heroic book, denying (quite plausibly) the need for large objects in our ontology. It seems that ontology must multiply its entities prodigiously, or else be austere in the extreme. Is there no middle way? |
| 6134 | Is swimming pool water an object, composed of its mass or parts? [Merricks] |
| Full Idea: Some - such as those who endorse unrestricted composition or those who believe in a kind of entity called 'a mass' - say that 'the water in the swimming pool' refers to a big material object. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.I) | |
| A reaction: A well-chosen example to support his thesis that large objects don't (strictly) exist. We certainly must not say (in Quine fashion) that we must accept the ontology of our phrases. I cut nature at the joints, and I say a pool is an obvious joint. |
| 6125 | We can eliminate objects without a commitment to simples [Merricks] |
| Full Idea: Eliminativism about physical objects does not require a commitment to (or against) simples. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.I) | |
| A reaction: His strategy is to eliminate objects in favour of whatever it is (an unknown) to which objects actually reduce. His point seems to be clearly correct, just as I might eliminate 'life' from my ontology, without quite knowing what it is. |
| 14229 | Merricks agrees that there are no composite objects, but offers a different semantics [Merricks, by Liggins] |
| Full Idea: Merricks agrees with van Inwagen that there are no composite objects, but disagrees with him about the semantics of talk about material objects. | |
| From: report of Trenton Merricks (Objects and Persons [2003]) by David Liggins - Nihilism without Self-Contradiction 4 | |
| A reaction: Van Inwagen has one semantics for folk talk, and another semantics 'for the philosophy room'. Merricks seems to have an error theory of folk semantics (i.e. the folk don't understand what they are saying). |
| 6142 | The 'folk' way of carving up the world is not intrinsically better than quite arbitrary ways [Merricks] |
| Full Idea: It is hard to see why the folk way of carving up the material world should - barring further argument - be elevated to a loftier status than the unrestricted compositionist way. | |
| From: Trenton Merricks (Objects and Persons [2003], §3.III) | |
| A reaction: There are some right ways to carve up the world, though there is also the capacity to be quite arbitrary, if it is useful, or even amusing. Thus Cyprus is an island (fact), Britons are a nation (useful), and Arsenal fans are sad (amusing). |
| 14472 | If atoms 'arranged baseballwise' break a window, that analytically entails that a baseball did it [Merricks, by Thomasson] |
| Full Idea: Given the proper understanding of 'arranged baseballwise', the fact that atoms arranged baseballwise are causally relevant to a shattering analytically entails that a baseball is. | |
| From: report of Trenton Merricks (Objects and Persons [2003], 3) by Amie L. Thomasson - Ordinary Objects 01.3 | |
| A reaction: This is the key argument of Thomasson's book. Presumably, following Idea 14471, 'I bought some atoms arranged baseballwise' is held to entail 'I bought a baseball'. That seems to beg the question against Van Inwagen and Merricks. |
| 14469 | Overdetermination: the atoms do all the causing, so the baseball causes no breakage [Merricks] |
| Full Idea: The Overdetermination Argument: a baseball is irrelevant to whether its atoms shatter a window, the shattering is caused by the atoms in concert, the shattering is not overdetermined, so if the baseball exists it doesn't cause the shattering. | |
| From: Trenton Merricks (Objects and Persons [2003], 3) | |
| A reaction: An obvious thought is that no individual atom does any sort of breaking at all - it is only when they act as a team, and an appropriate name for the team is a 'baseball', and the team is real. |
| 6137 | Clay does not 'constitute' a statue, as they have different persistence conditions (flaking, squashing) [Merricks] |
| Full Idea: A statue is not identical with its constituent lump of clay because they have different persistence conditions; the statue, but not the lump, could survive the loss of a few smallish bits, and the lump, but not the statue, could survive being squashed. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.III) | |
| A reaction: I don't see why a lump can't survive losing a few bits (if the lump never had a precise identity), but it is hard to argue that squashing is a problem. However, presumably the identity (or constitution) between lump and statue is not a necessity. |
| 6127 | 'Unrestricted composition' says any two things can make up a third thing [Merricks] |
| Full Idea: If my dog and the top half of my tree compose an object, this is defended under the title of 'unrestricted (universal) composition', the thesis that any two things compose something. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.II) | |
| A reaction: David Lewis is cited amongst those defending this thesis. My intuition is against this thesis, because I think identity is partly dictated by nature, and is not entirely conventional. You can force an identity, but you feel the 'restriction'. |
| 6131 | Composition as identity is false, as identity is never between a single thing and many things [Merricks] |
| Full Idea: One of the most obvious facts about identity is that it holds one-one (John and Mr Smith) and perhaps many-many (John+Mary and Mr Smith+Miss Jones), but never one-many. It follows that composition as identity (things are their parts) is false. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
| A reaction: This assumes that 'having identity' and 'being identical to' are the same concept. I agree with his conclusion, but am not convinced by the argument. I'm not even quite clear why John and May can't be identical to the Smiths. |
| 6132 | Composition as identity is false, as it implies that things never change their parts [Merricks] |
| Full Idea: Composition as identity implies that no persisting object ever changes its parts, which is clearly false, so composition as identity is false. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
| A reaction: Presumably Lewis can say that when a thing subtly changes its parts, it really does lose its strict identity, but becomes another 'time-slice' or close 'counterpart' of the original object. This is a coherent view, but I disagree. I'm a believer. |
| 6141 | There is no visible difference between statues, and atoms arranged statuewise [Merricks] |
| Full Idea: If we imagine a world like ours except that, while there are atoms arranged statuewise in that world, there are no statues, ...no amount of looking around could distinguish that imagined world from ours. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.V) | |
| A reaction: This is one of his arguments for ontological eliminativism about physical objects. If we accept the argument, it will wreak havoc with our entire ontology, and we will end up anti-realists. I say you have to see statues - you just can't miss them. |
| 6130 | 'Composition' says things are their parts; 'constitution' says a whole substance is an object [Merricks] |
| Full Idea: Composition as identity claims that a single object is identical with the many parts it comprises; constitution as identity says that a single object (a statue) is identical with a single object (clay) that 'constitutes' it. | |
| From: Trenton Merricks (Objects and Persons [2003], §1 n11) | |
| A reaction: The constitution view has been utilised (by Lynn Rudder Baker) to give an account of personal identity as constituted by a human body. Neither sounds quite right to me; the former view misses something about reality; the latter doesn't explain much. |
| 6138 | It seems wrong that constitution entails that two objects are wholly co-located [Merricks] |
| Full Idea: Many philosophers deny that two numerically distinct physical objects could be 'wholly co-located'. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.III) | |
| A reaction: A fish can be located in a river; the Appenines can be located in Italy. If you accept the objection you will probably have to accept identity-as-composition, or object-eliminativism. One object can have two causal roles, supporting two identities. |
| 6128 | Objects decompose (it seems) into non-overlapping parts that fill its whole region [Merricks] |
| Full Idea: Intuitively, an object's parts at one level of decomposition are parts of that object that do not overlap and that, collectively, fill the whole region the object fills. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.II) | |
| A reaction: A nice case where 'intuition' must be cited as the basis for the claim, and yet it is hard to see how anyone could possibly disagree. Exhibit 73 in favour of rationalism. This ideas shows the structure of nature and the workings of our minds. |
| 6136 | Eliminativism about objects gives the best understanding of the Sorites paradox [Merricks] |
| Full Idea: I say we should endorse eliminativism about physical objects, because it offers the most plausible understanding of what occurs during the Sorites Game (eliminating grains of a thing one at a time). | |
| From: Trenton Merricks (Objects and Persons [2003], §2.II) | |
| A reaction: That is one route to go in explaining the paradox (i.e. by saying there never was a 'heap' in the first place). I suspect a better route is to say that heaps really exist as natural phenomena, but they suffer from vague identity and borderline cases. |
| 6133 | If my counterpart is happy, that is irrelevant to whether I 'could' have been happy [Merricks] |
| Full Idea: The existence of someone in another world who is a lot like me, but happier, is irrelevant to whether I - this very person - could have been happier, even if we call that other-worldly someone 'my counterpart'. | |
| From: Trenton Merricks (Objects and Persons [2003], §1.IV) | |
| A reaction: He says this is a familiar objection. I retain a lingering deterministic doubt about whether it ever makes to sense to say that I 'could' have been happy, given that I am not. It does seem to make sense to say that I was close to happiness, but missed it. |
| 6150 | The 'warrant' for a belief is what turns a true belief into knowledge [Merricks] |
| Full Idea: The 'warrant' for a belief is that, whatever it is, that makes the difference between mere true belief and knowledge. | |
| From: Trenton Merricks (Objects and Persons [2003], §7.II) | |
| A reaction: Hence a false belief could be well justified, but it could never be warranted. This makes warrant something like the externalist view of justification, a good supporting situation for a belief, rather than an inner awareness of support for it. |
| 6144 | You hold a child in your arms, so it is not mental substance, or mental state, or software [Merricks] |
| Full Idea: When you hold your child, you do exactly that - hold the child himself or herself - and not some stand-in. This implies that we are not two substances, and we are not mental states nor akin to software. | |
| From: Trenton Merricks (Objects and Persons [2003], §4) | |
| A reaction: And it is not just a brain, either. This is a nice simple example to support the sensible view that a person is a type of animal. Like all other physical objects that is a bit vague, so we should not be distracted by borderline cases like brain bisection. |
| 6140 | Maybe the word 'I' can only refer to persons [Merricks] |
| Full Idea: One might say that the word 'I' can only have a person as its reference. | |
| From: Trenton Merricks (Objects and Persons [2003], §2.IV) | |
| A reaction: To infer the existence of persons from this would be to commit what I think of as the Linguistic Fallacy, of deducing ontology directly from language. We might allow (Dennett fashion) that folk categories require the fiction of persons. |
| 6149 | Free will and determinism are incompatible, since determinism destroys human choice [Merricks] |
| Full Idea: The main recent support for incompatibilism is the 'no choice' argument: we have no choice that the past and the laws of nature entail human actions, we have no choice about what the past or the laws are like, so we have no choice about our actions. | |
| From: Trenton Merricks (Objects and Persons [2003], §6.III) | |
| A reaction: Since I consider free will to be an absurd chimera, I think this argument involves a total misunderstanding of what a 'choice' is. Since the human brain is a wonderfully sophisticated choosing machine, our whole life consists of choices. |
| 6148 | Human organisms can exercise downward causation [Merricks] |
| Full Idea: Human organisms have non-redundant causal powers, and so can exercise downward causation. | |
| From: Trenton Merricks (Objects and Persons [2003], §4.VII) | |
| A reaction: The hallmark of property dualism. This notion needs a lot more expansion and exploration than Merricks gives it, and I don't think it will be enough to provide 'free will', or even, as Merricks hopes, to place humans in a distinct ontological category. |
| 6146 | Before Creation it is assumed that God still had many many mental properties [Merricks] |
| Full Idea: The belief of theists that God might never have created implies that there is a possible world that contains just a single entity with many conscious mental properties. | |
| From: Trenton Merricks (Objects and Persons [2003], §4.II) | |
| A reaction: So if we believe content is wide, we must believe that God was incapable of thought before creation, and thus couldn't plan creation, and so didn't create, and so the Creator is a logical impossibility. Cool. |
| 6147 | The hypothesis of solipsism doesn't seem to be made incoherent by the nature of mental properties [Merricks] |
| Full Idea: The hypothesis of solipsism, that I - an entity with many conscious mental properties - am all that exists, while surely false, is not rendered incoherent simply by the nature of the mental properties. | |
| From: Trenton Merricks (Objects and Persons [2003], §4.II) | |
| A reaction: This, along with the thought of a pre-Creation God, is a nice intuitive case for showing that we strongly believe in some degree of narrow content. |
| 1658 | In early Greece the word for punishment was also the word for vengeance [Vlastos] |
| Full Idea: Down to the last third of the fifth century, 'timoria', whose original and always primary sense is "vengeance", is THE word for "punishment". | |
| From: Gregory Vlastos (Socrates: Ironist and Moral Philosopher [1991], p.186) |