20 ideas
| 17266 | Using modal logic, philosophers tried to handle all metaphysics in modal terms [Correia/Schnieder] |
| Full Idea: In the heyday of modal logic, philosophers typically tried to account for any metaphysical notions in modal terms. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 2.4) | |
| A reaction: Lewisian realism about possible worlds actually gets rid of purely 'modal' terms, but I suppose they include possible worlds in their remark. Annoying for modal logicians to be told they had a 'heyday' - a nice example of the rhetoric of philosophy. |
| 17263 | Why do rationalists accept Sufficient Reason, when it denies the existence of fundamental facts? [Correia/Schnieder] |
| Full Idea: What is most puzzling about the rationalist tradition is the steadfast certainty with which the Principle of Sufficient Reason was often accepted, since it in effect denies that there are fundamental facts. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 2.2) | |
| A reaction: A very simple and interesting observation. The principle implies either a circle of reasons, or an infinite regress of reasons. Nothing can be labelled as 'primitive' or 'foundational' or 'given'. The principle is irrational! |
| 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. |
| 17270 | Is existential dependence by grounding, or do grounding claims arise from existential dependence? [Correia/Schnieder] |
| Full Idea: We may take existential dependence to be a relation induced by certain cases of grounding, but one may also think that facts about existential dependence are prior to corresponding ground claims, and in fact ground those claims. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 4.3) | |
| A reaction: I would vote for grounding, since dependence seems more abstract, and seems to demand explanation, whereas grounding seems more like a feature of reality, and to resist further intrinsic explanation (on the whole). |
| 17268 | Grounding is metaphysical and explanation epistemic, so keep them apart [Correia/Schnieder] |
| Full Idea: To us it seems advisable to separate the objective notion of grounding, which belongs to the field of metaphysics, from the epistemically loaded notion of explanation. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 4.2) | |
| A reaction: Paul Audi is the defender of the opposite view. I'm with Audi. The 'epistemically loaded' pragmatic aspect is just contextual - that we have different interests in different aspects of the grounding on different occasions. |
| 17267 | The identity of two facts may depend on how 'fine-grained' we think facts are [Correia/Schnieder] |
| Full Idea: There is a disagreement on the issue of factual identity, concerning the 'granularity' of facts, the question of how fine-grained they are. | |
| From: Correia,F/Schnieder,B (Grounding: an opinionated introduction [2012], 3.3) | |
| A reaction: If they are very fine-grained, then no two descriptions of a supposed fact will capture the same details. If we go broadbrush, facts become fuzzy and less helpful. 'Fact' was never going to be a clear term. |
| 6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
| Full Idea: The soul is not a mere rasa tabula, a naked and passive thing, with no innate furniture of its own, nor any thing in it, but what was impressed upon it without; for then there could not possibly be any such thing as moral good and evil, just and unjust. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Bk IV Ch 6.4) | |
| A reaction: He goes on to quote Hobbes saying there is no good in objects themselves. I don't see why we must have an innate moral capacity, provided that we have a capacity to make judgements. |
| 6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
| Full Idea: The sight cannot judge of sounds, nor the hearing of light and colours; wherefore that which judges of all the senses and their several objects, cannot be itself any sense, but something of a superior nature. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.VI.1) | |
| A reaction: How nice to find a seventeenth century English writer rebelling against empiricism! |
| 6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
| Full Idea: Sense which lies flat and grovelling in the individuals, and is stupidly fixed in the material form, is not able to rise up or ascend to an abstract universal notion. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.III.III.2) | |
| A reaction: This still strikes me as being one of the biggest problems with reductive physicalism, that a lump of meat in your head can grasp abstractions (whatever they are) and universal concepts. Personally I am a physicalist, but it is weird. |
| 6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
| Full Idea: To keep faith and perform covenants is that which natural justice obligeth to absolutely. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.4) | |
| A reaction: A nice example of an absolute moral intuition, but one which can clearly be challenged. Covenants (contracts) wouldn't work unless everyone showed intense commitment to keeping them, even beyond the grave, and we all benefit from good contracts. |
| 6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
| Full Idea: Obligation to obey all positive laws is older than all laws. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
| A reaction: Clearly villains can pass wicked laws, so there can't be an obligation to obey all laws (even if they are 'positive', which seems to beg the question). Nevertheless this is a good reason why laws cannot be the grounding of morality. |
| 6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
| Full Idea: Omnipotent will cannot make things like or equal one to another, without the natures of likeness and equality. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.I) | |
| A reaction: This is one of the many classic 'paradoxes of omnipotence'. The best strategy is to define omnipotence as 'being able to do everything which it is possible to do'. Anything beyond that is inviting paradoxical disaster. |
| 6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
| Full Idea: If the arbitrary will and pleasure of God is the first and only rule of good and justice, it follows that nothing can be so grossly wicked or unjust but if it were commanded by this omnipotent Deity, it must forthwith become holy, just and righteous. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.I.I.5) | |
| A reaction: This is the strong (Platonic) answer to the Euthyphro Question (Idea 336). One answer is that God would not command in such a way - but why not? We may say that God and goodness merge into one, but we are interested in ultimate authority. |
| 6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |
| Full Idea: If it were not morally good and just in its own nature before any positive command of God, that God should be obeyed by his creatures, the bare will of God himself could not beget any obligation upon anyone. | |
| From: Ralph Cudworth (On Eternal and Immutable Morality [1688], Ch.II.3) | |
| A reaction: This strikes me as a self-evident truth, and a big problem for anyone who wants to make God the source of morality. You don't have to accept anyone's authority just because they are powerful or clever (though they do bestow a certain natural authority!). |