17 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
Full Idea: Philosophy says it is not right even to stretch out a finger without some reason. | |
From: Epictetus (fragments/reports [c.57], 15) | |
A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!). |
10928 | Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine] |
Full Idea: Perhaps there is no objection to quantifying into modal contexts as long as the values of any variables thus quantified are limited to intensional objects, but they also lead to disturbing examples. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: [Quine goes on to give his examples] I take it that possibilities are features of actual reality, not merely objects of thought. The problem is that they are harder to know than actual objects. |
14970 | Normal system K has five axioms and rules [Cresswell] |
Full Idea: Normal propositional modal logics derive from the minimal system K: wffs of PC are axioms; □(p⊃q)⊃(□p⊃□q); uniform substitution; modus ponens; necessitation (α→□α). | |
From: Max J. Cresswell (Modal Logic [2001], 7.1) |
14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
Full Idea: If a frame contains any dead end or blind world, then D is not valid on that frame, ...but D is valid on every serial frame. | |
From: Max J. Cresswell (Modal Logic [2001], 7.1.1) |
14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
Full Idea: In S4 there are exactly 14 distinct modalities, and any modality may be reduced to one containing no more than three modal operators in sequence. | |
From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
A reaction: The significance of this may be unclear, but it illustrates one of the rewards of using formal systems to think about modal problems. There is at least an appearance of precision, even if it is only conditional precision. |
14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
Full Idea: S5 contains the four main reduction laws, so the first of any pair of operators may be deleted. Hence all but the last modal operator may be deleted. This leaves six modalities: p, ◊p, □p, and their negations. | |
From: Max J. Cresswell (Modal Logic [2001], 7.1.2) |
14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
Full Idea: If one wants the quantifiers in each world to range only over the things that exist in that world, and one doesn't believe that the same things exist in every world, one would probably not want the Barcan formula. | |
From: Max J. Cresswell (Modal Logic [2001], 7.2.2) | |
A reaction: I haven't quite got this, but it sounds to me like I should reject the Barcan formula (but Idea 9449!). I like a metaphysics to rest on the actual world (with modal properties). I assume different things could have existed, but don't. |
10925 | Failure of substitutivity shows that a personal name is not purely referential [Quine] |
Full Idea: Failure of substitutivity shows that the occurrence of a personal name is not purely referential. | |
From: Willard Quine (Reference and Modality [1953], §1) | |
A reaction: I don't think I understand the notion of a name being 'purely' referential, as if it somehow ceased to be a word, and was completely transparent to the named object. |
10926 | Quantifying into referentially opaque contexts often produces nonsense [Quine] |
Full Idea: If to a referentially opaque context of a variable we apply a quantifier, with the intention that it govern that variable from outside the referentially opaque context, then what we commonly end up with is unintended sense or nonsense. | |
From: Willard Quine (Reference and Modality [1953], §2) |
14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
Full Idea: A relation is 'Euclidean' if aRb and aRc imply bRc. | |
From: Max J. Cresswell (Modal Logic [2001], 7.1.2) | |
A reaction: If a thing has a relation to two separate things, then those two things will also have that relation between them. If I am in the same family as Jim and as Jill, then Jim and Jill are in the same family. |
10930 | Quantification into modal contexts requires objects to have an essence [Quine] |
Full Idea: A reversion to Aristotelian essentialism is required if quantification into modal contexts is to be insisted on. An object must be seen as having some of its traits necessarily. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: This thought leads directly to Kripke's proposal of rigid designation of objects (and Lewis response of counterparts), which really gets modal logic off the ground. Quine's challenge remains - the modal logic entails a huge metaphysical commitment. |
14645 | To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine] |
Full Idea: To be necessarily greater than 7 is not a trait of a number, but depends on the manner of referring to the number. | |
From: Willard Quine (Reference and Modality [1953], §2) | |
A reaction: The most concise quotation of Quine's objection to 'de re' modality. The point is whether the number might have been referred to as 'the number of planets'. So many of these problems are solved by fixing unambiguous propositions first. |
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
Full Idea: A de dicto necessary truth says that something is φ, that this proposition is a necessary truth, i.e. that in every accessible world something (but not necessarily the same thing in each world) is φ. | |
From: Max J. Cresswell (Modal Logic [2001], 7.2.1) | |
A reaction: At last, a really clear and illuminating account of this term! The question is then invited of what is the truthmaker for a de dicto truth, assuming that the objects themselves are truthmakers for de re truths. |
9201 | Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K] |
Full Idea: Quine's metaphysical argument is that if 9 is 7+2 the number 9 will be necessarily greater than 7, but when 9 is described as the number of planets, the number will not be necessarily greater than 7. The necessity depends on how it is described. | |
From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 3 | |
A reaction: Thus necessity would be entirely 'de dicto' and not 'de re'. It sounds like a feeble argument. If I describe the law of identity (a=a) as 'my least favourite logical principle', that won't make it contingent. Describe 9, or refer to it? See Idea 9203. |
10927 | Necessity only applies to objects if they are distinctively specified [Quine] |
Full Idea: Necessity does not properly apply to the fulfilment of conditions by objects (such as the number which numbers the planets), apart from special ways of specifying them. | |
From: Willard Quine (Reference and Modality [1953], §3) | |
A reaction: This appears to say that the only necessity is 'de dicto', and that there is no such thing as 'de re' necessity (of the thing in itself). How can Quine deny that there might be de re necessities? His point is epistemological - how can we know them? |
9203 | We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K] |
Full Idea: 'Necessarily 9>7' may be true while the sentence 'necessarily the number of planets < 7' is false, even though it is obtained by substituting a coreferential term. So quantification in these contexts is unintelligible, without a clear object. | |
From: report of Willard Quine (Reference and Modality [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 4 | |
A reaction: This is Quine's second argument against modality. See Idea 9201 for his first. Fine attempts to refute it. The standard reply seems to be to insist that 9 must therefore be an object, which pushes materialist philosophers into reluctant platonism. |
10931 | We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine] |
Full Idea: To say an object is soluble in water is to say that it would dissolve if it were in water,..which implies that 'necessarily if x is in water then x dissolves'. Yet we do not know if there is a suitable sense of 'necessarily' into which we can so quantify. | |
From: Willard Quine (Reference and Modality [1953], §4) | |
A reaction: This is why there has been a huge revival of scientific essentialism - because Krike seems to offer exacty the account which Quine said was missing. So can you have modal logic without rigid designation? |