28 ideas
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| Full Idea: In conjunction with Extensionality, Pairing entails that given a single non-set, infinitely many sets exist. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) |
| 21695 | The set scheme discredited by paradoxes is actually the most natural one [Quine] |
| Full Idea: Each proposed revision of set theory is unnatural, because the natural scheme is the unrestricted one that the antinomies discredit. | |
| From: Willard Quine (The Ways of Paradox [1961], p.16) | |
| A reaction: You can either takes this free-far-all version of set theory, and gradually restrain it for each specific problem, or start from scratch and build up in safe steps. The latter is (I think) the 'iterated' approach. |
| 21693 | Russell's antinomy challenged the idea that any condition can produce a set [Quine] |
| Full Idea: In the case of Russell's antinomy, the tacit and trusted pattern of reasoning that is found wanting is this: for any condition you can formulate, there is a class whose members are the things meeting the condition. | |
| From: Willard Quine (The Ways of Paradox [1961], p.11) | |
| A reaction: This is why Russell's Paradox is so important for set theory, which in turn makes it important for the foundations of mathematics. |
| 21691 | Antinomies contradict accepted ways of reasoning, and demand revisions [Quine] |
| Full Idea: An 'antinomy' produces a self-contradiction by accepted ways of reasoning. It establishes that some tacit and trusted pattern of reasoning must be made explicit and henceforward be avoided or revised. | |
| From: Willard Quine (The Ways of Paradox [1961], p.05) | |
| A reaction: Quine treats antinomies as of much greater importance than mere paradoxes. It is often possible to give simple explanations of paradoxes, but antinomies go to the root of our belief system. This was presumably Kant's intended meaning. |
| 21690 | Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine] |
| Full Idea: The Achilles argument is that (if the front runner keeps running) each time the pursuer reaches a spot where the pursuer has been, the pursued has moved a bit beyond. | |
| From: Willard Quine (The Ways of Paradox [1961], p.03) | |
| A reaction: Quine is always wonderfully lucid, and this is the clearest simple statement of the paradox. |
| 21689 | A barber shaves only those who do not shave themselves. So does he shave himself? [Quine] |
| Full Idea: In a certain village there is a barber, who shaves all and only those men in the village who do not shave themselves. So does the barber shave himself? The barber shaves himself if and only if he does not shave himself. | |
| From: Willard Quine (The Ways of Paradox [1961], p.02) | |
| A reaction: [Russell himself quoted this version of his paradox, from an unnamed source] Quine treats his as trivial because it only concerns barbers, but the full Russell paradox is a major 'antinomy', because it concerns sets. |
| 21694 | Membership conditions which involve membership and non-membership are paradoxical [Quine] |
| Full Idea: With Russell's antinomy, ...each tie the trouble comes of taking a membership condition that itself talks in turn of membership and non-membership. | |
| From: Willard Quine (The Ways of Paradox [1961], p.13) | |
| A reaction: Hence various stipulations to rule out vicious circles or referring to sets of the 'wrong type' are invoked to cure the problem. The big question is how strong to make the restrictions. |
| 21692 | If we write it as '"this sentence is false" is false', there is no paradox [Quine] |
| Full Idea: If we supplant the sentence 'this sentence is false' with one saying what it refers to, we get '"this sentence is false" is false'. But then the whole outside sentence attributes falsity no longer to itself but to something else, so there is no paradox. | |
| From: Willard Quine (The Ways of Paradox [1961], p.07) | |
| A reaction: Quine is pointing us towards type theory and meta-languages to solve the problem. We now have the Revenge Liar, and the problem has not been fully settled. |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| Full Idea: Meinongian abstraction principles say that for any (suitably restricted) class of properties, there exists an abstract entity (arbitrary object, subsistent entity) that possesses just those properties. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 04) | |
| A reaction: This is 'Meinongian' because there will be an object which is circular and square. The nub of the idea presumably resides in what is meant by 'restricted'. An object possessing every conceivable property is, I guess, a step too far. |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| Full Idea: If P is metaphysically necessary, then it is absolutely necessary, and necessary in every real (non-epistemic) sense; and if P is possible in any sense, then it's possible in the metaphysical sense. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Rosen's shot at defining metaphysical necessity and possibility, and it looks pretty good to me. In my terms (drawing from Kit Fine) it is what is necessitated or permitted 'by everything'. So if it is necessitated by logic or nature, that's included. |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| Full Idea: 'Metaphysical' modality is the sort of modality relative to which it is an interesting question whether the laws of nature are necessary or contingent. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: Being an essentialist here, I take it that the stuff of the universe necessitates the so-called 'laws'. The metaphysically interesting question is whether the stuff might have been different. Search me! A nice test of metaphysical modality though. |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| Full Idea: It may be metaphysically necessary in one sense that sets or universals or mereological aggregates exist, while in another sense existence is always a contingent matter. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: This idea depends on Idea 18856 and 18857. Personally I only think mereological aggregates and sets exist when people decide that they exist, so I don't see how they could ever be necessary. I'm unconvinced about his two concepts. |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| Full Idea: According to the Standard Conception of Metaphysical Necessity, P is metaphysically necessary when it holds in every possible world in which the laws of metaphysics (about the form or structure of the actual world) hold | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen has a second meaning, in Idea 18856. He thinks it is crucial to see that there are two senses, because many things come out as metaphysically necessary on one concept, but contingent on the other. Interesting.... |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| Full Idea: According to the Non-Standard conception of Metaphysical Necessity, P is metaphysically necessary when its negation is logically incompatible with the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 10) | |
| A reaction: Rosen's new second meaning of the term. My immediate problem is with it resting on being 'logically' incompatible. Are squares 'logically' incompatible with circles? I like the idea that it rests on 'the nature of things'. (Psst! natures = essences) |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| Full Idea: It is one thing to say that P is necessary in some generic sense because it is a truth of logic (true in all models of a language, perhaps). It is something else to say that P therefore enjoys a special sort of necessity. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 02) | |
| A reaction: This encourages my thought that there is only one sort of necessity (what must be), and the variety comes from the different types of necessity makers (everything there could be, nature, duties, promises, logics, concepts...). |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| Full Idea: Combinatorial theories of possibility take it for granted ....that possible worlds in general share a syntax, as it were, differing only in the constituents from which they are generated, or in the particular manner of their arrangements. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: For instance, it might assume that every world has 'objects', to which 'properties' and 'relations' can be attached, or to which 'functions' can apply. |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| Full Idea: To a first approximation, P is correctly conceivable iff it would be conceivable for a logically ominiscient being who was fully informed about the nature of things. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 05) | |
| A reaction: Isn't the last bit covered by 'ominiscient'? Ah, I think the 'logically' only means they have a perfect grasp of what is consistent. This is to meet the standard problem, of ill-informed people 'conceiving' of things which are actually impossible. |
| 2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
| Full Idea: There are convictions which are common to most societies; but there are others which are not, and no way is given by intuitionists of telling which are the authoritative data. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.454) | |
| A reaction: It seems unfair on intuitionists to say they haven't given a way to evaluate such things, given that they have offered intuition. The issue is what exactly they mean by 'intuition'. |
| 2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
| Full Idea: If it comes to deciding what intuitions and dispositions to cultivate, we cannot rely on the intuitions themselves, as intuitionists do. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.461) | |
| A reaction: Makes intuitionists sound a bit dim. Surely Hume identifies dispositions (such as benevolence) which should be cultivated, because they self-evidently improve social life? |
| 2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
| Full Idea: Emotivists concluded too hastily that because naturalism and intuitionism are false, you cannot reason about moral questions, because they assumed that the only questions you can reason about are factual ones. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: Personally I have a naturalistic view of ethics (based on successful functioning, as indicated by Aristotle), so not my prob. Why can't we reason about expressive emotions? We reason about art. |
| 2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
| Full Idea: Universal prescriptivists hold that 'ought'-judgements are prescriptive like plain imperatives, but differ from them in being universalisable. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.457) | |
| A reaction: Sounds a bit tautological. Which comes first, the normativity or the universalisability? |
| 2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
| Full Idea: Non-descriptivists (e.g. prescriptivists) reject descriptivism in its naturalist or intuitionist form, because they are both destined to collapse into relativism. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.453) | |
| A reaction: I'm not clear from this why prescriptism would not also turn out to be relativist, if it includes evaluations along with facts. |
| 2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
| Full Idea: Ethical descriptivism is the view that ethical sentence-meaning is wholly determined by truth-conditions. …Prescriptivists think there is a further element of meaning, which expresses prescriptions or evaluations or attitudes which we assent to. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.452) | |
| A reaction: Not sure I understand either of these. If all meaning consists of truth-conditions, that will apply to ethics. If meaning includes evaluations, that will apply to non-ethics. |
| 2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
| Full Idea: Prescriptivists claim that there are rules of reasoning which govern non-descriptive as well as descriptive speech acts. The standard example is possible logical inconsistency between contradictory prescriptions. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: The example doesn't seem very good. Inconsistency can appear in any area of thought, but that isn't enough to infer full 'rules of reasoning'. I could desire two incompatible crazy things. |
| 2708 | An 'ought' statement implies universal application [Hare] |
| Full Idea: In any 'ought' statement there is implicit a principle which says that the statement applies to all precisely similar situations. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.456) | |
| A reaction: No two situations can ever be 'precisely' similar. Indeed, 'precisely similar' may be an oxymoron (at least for situations). Kantians presumably like this idea. |
| 2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
| Full Idea: Prescriptivists hold that moral judgements commit the speaker to motivations and actions, but non-moral facts by themselves do not do this. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.459) | |
| A reaction: Surely hunger motivates to action? I suppose the key word is 'commit'. But lazy people are allowed to make moral judgements. |
| 2710 | Moral judgements must invoke some sort of principle [Hare] |
| Full Idea: To make moral judgements is implicitly to invoke some principle, however specific. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.458) |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |
| Full Idea: According to the Mill-Ramsey-Lewis account of the laws of nature, a generalisation is a law just in case it is a theorem of every true account of the actual world that achieves the best overall balance of simplicity and strength. | |
| From: Gideon Rosen (The Limits of Contingency [2006], 08) | |
| A reaction: The obvious objection is that many of the theorems will be utterly trivial, and that is one thing that the laws of nature are not. Unless you are including 'metaphysical laws' about very very fundamental things, like objects, properties, relations. |