15 ideas
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
7306 | If the only property of a name was its reference, we couldn't explain bearerless names [Miller,A] |
Full Idea: If having a reference were the only semantic property in terms of which we could explain the functioning of names, we would be in trouble with respect to names that simply have no bearer. | |
From: Alexander Miller (Philosophy of Language [1998], 2.1.1) | |
A reaction: (Miller is discussing Frege) 'Odysseus' is given as an example. Instead of switching to a bundle of descriptions, we could say that we just imagine an object which is stamped with the name. Names always try to refer. |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
7322 | Constitutive scepticism is about facts, and epistemological scepticism about our ability to know them [Miller,A] |
Full Idea: We should distinguish 'constitutive scepticism' (about the existence of certain sorts of facts) from the traditional 'epistemological scepticism' (which concedes that the sort of fact in question exists, but questions our right to claim knowledge of it). | |
From: Alexander Miller (Philosophy of Language [1998], 4.7) | |
A reaction: I would be inclined to call the first type 'ontological scepticism'. Miller is discussing Quine's scepticism about meaning. Atheists fall into the first group, and agnostics into the second. An important, and nicely simple, distinction. |
7325 | Dispositions say what we will do, not what we ought to do, so can't explain normativity [Miller,A] |
Full Idea: Dispositional facts are facts about what we will do, not about what we ought to do, and as such cannot capture the normativity of meaning. | |
From: Alexander Miller (Philosophy of Language [1998], 6.2) | |
A reaction: Miller is discussing language, but this raises a nice question for all behaviourist accounts of mental events. Perhaps there is a disposition to behave in a guilty way if you do something you think you shouldn't do. (Er, isn't 'guilt' a mental event?) |
7324 | Explain meaning by propositional attitudes, or vice versa, or together? [Miller,A] |
Full Idea: Grice wants to explain linguistic meaning in terms of the content of propositional attitudes, Dummett has championed the view that propositional attitudes must be explained by linguistic meaning, while Davidson says they must be explained together. | |
From: Alexander Miller (Philosophy of Language [1998], 6.1) | |
A reaction: A useful map. My intuition says propositional attitudes come first, for evolutionary reasons. We are animals first, and speakers second. Thought precedes language. A highly social animal flourishes if it can communicate. |
7323 | If truth is deflationary, sentence truth-conditions just need good declarative syntax [Miller,A] |
Full Idea: On a deflationary concept of truth, for a sentence to possess truth-conditions it is sufficient that it be disciplined by norms of correct usage, and that it possess the syntax distinctive of declarative sentences. | |
From: Alexander Miller (Philosophy of Language [1998], 5.3) | |
A reaction: Idea 6337 gives the basic deflationary claim. He mentions Boghossian as source of this point. So much the worse for the deflationary concept of truth, say I. What are the truth-conditions of "Truth rotates"? |
7315 | 'Jones is a married bachelor' does not have the logical form of a contradiction [Miller,A] |
Full Idea: The syntactic notion of contradiction (p and not-p) is well understood, but is no help in explaining analyticity, since "Jones is a married bachelor" is not of that syntactic form. | |
From: Alexander Miller (Philosophy of Language [1998], 4.2) | |
A reaction: This point is based on Quine. This means we cannot define analytic sentences as those whose denial is a contradiction, even though that seems to be true of them. Both the Kantian and the modern logical versions of analyticity are in trouble. |
7328 | The principle of charity is holistic, saying we must hold most of someone's system of beliefs to be true [Miller,A] |
Full Idea: Properly construed, the principle of charity is a holistic constraint applying, not to individual beliefs, but rather to systems of belief: we must interpret a speaker so that most of the beliefs in his system are, by our lights, true. | |
From: Alexander Miller (Philosophy of Language [1998], 8.7) | |
A reaction: This is a lot more plausible than applying the principle to individual sentences, particularly if you are in the company of habitual ironists or constitutional liars. |
7329 | Maybe we should interpret speakers as intelligible, rather than speaking truth [Miller,A] |
Full Idea: A more sophisticated version of the principle of charity holds that we interpret speakers not as necessarily having beliefs that are true by our own lights, but as having beliefs that are intelligible by our own lights. | |
From: Alexander Miller (Philosophy of Language [1998], 8.7) | |
A reaction: Consider Idea 4161 in the light of this. Presumably this means that we treat them as having a coherent set of beliefs, even if they seem to us to fail to correspond to reality. I prefer the stronger version that there has to be some proper truth in there. |
7333 | The Frege-Geach problem is that I can discuss the wrongness of murder without disapproval [Miller,A] |
Full Idea: The main problem faced by non-cognitivism is known as the Frege-Geach problem: if I say "If murder is wrong, then getting your brother to murder people is wrong", that is an unasserted context, and I don't necessarily express disapproval of murder. | |
From: Alexander Miller (Philosophy of Language [1998], 9.2) | |
A reaction: The emotivist or non-cognitivist might mount a defence by saying there is some second-order or deep-buried emotion involved. Could a robot without feelings even understand what humans meant when they said "It is morally wrong"? |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |