21 ideas
| 9376 | A sentence may simultaneously define a term, and also assert a fact [Boghossian] |
| Full Idea: It doesn't follow from the fact that a given sentence is being used to implicitly define one of its ingredient terms, that it is not a factual statement. 'This stick is a meter long at t' may define an ingredient terms and express something factual. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This looks like a rather good point, but it is tied in with a difficulty about definition, which is deciding which sentences are using a term, and which ones are defining it. If I say 'this stick in Paris is a meter long', I'm not defining it. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
| Full Idea: Conventualism is a factualist view: it presupposes that sentences of logic have truth values. It differs from a realist view in its conception of the source of those truth values, not on their existence. I call the denial of truths Non-Factualism. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: It barely seems to count as truth is we say 'p is true because we say so'. It is a truth about an agreement, not a truth about logic. Driving on the left isn't a truth about which side of the road is best. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 9369 | 'Snow is white or it isn't' is just true, not made true by stipulation [Boghossian] |
| Full Idea: Isn't it overwhelmingly obvious that 'Either snow is white or it isn't' was true before anyone stipulated a meaning for it, and that it would have been true even if no one had thought about it, or chosen it to be expressed by one of our sentences? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: Boghossian would have to believe in propositions (unexpressed truths) to hold this - which he does. I take the notion of truth to only have relevance when there are minds around. Otherwise the so-called 'truths' are just the facts. |
| 9367 | The a priori is explained as analytic to avoid a dubious faculty of intuition [Boghossian] |
| Full Idea: The central impetus behind the analytic explanation of the a priori is a desire to explain the possibility of a priori knowledge without having to postulate a special evidence-gathering faculty of intuition. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: I don't see at all why one has to postulate a 'faculty' in order to talk about intuition. I take an intuition to be an apprehension of a probable truth, combined with an inability to articulate how the conclusion was arrived at. |
| 9373 | That logic is a priori because it is analytic resulted from explaining the meaning of logical constants [Boghossian] |
| Full Idea: The analytic theory of the apriority of logic arose indirectly, as a by-product of the attempt to explain in what a grasp of the meaning of the logical constants consists. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: Preumably he is referring to Wittgenstein's anguish over the meaning of the word 'not' in his World War I notebooks. He first defined the constants by truth tables, then asserted that they were purely conventional - so logic is conventional. |
| 9380 | We can't hold a sentence true without evidence if we can't agree which sentence is definitive of it [Boghossian] |
| Full Idea: If there is no sentence I must hold true if it is to mean what it does, then there is no basis on which to argue that I am entitled to hold it true without evidence. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: He is exploring Quine's view. Truth by convention depends on agreeing which part of the usage of a term constitutes its defining sentence(s), and that may be rather tricky. Boghossian says this slides into the 'dreaded indeterminacy of meaning'. |
| 9384 | We may have strong a priori beliefs which we pragmatically drop from our best theory [Boghossian] |
| Full Idea: It is consistent with a belief's being a priori in the strong sense that we should have pragmatic reasons for dropping it from our best overall theory. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], n 6) | |
| A reaction: Does 'dropping it' from the theory mean just ignoring it, or actually denying it? C.I. Lewis is the ancestor of this view. Could it be our 'best' theory, while conflicting with beliefs that were strongly a priori? Pragmatism can embrace falsehoods. |
| 9374 | If we learn geometry by intuition, how could this faculty have misled us for so long? [Boghossian] |
| Full Idea: If we learn geometrical truths by intuition, how could this faculty have misled us for so long? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This refers to the development of non-Euclidean geometries, though the main misleading concerns parallels, which involves infinity. Boghossian cites 'distance' as a concept the Euclideans had misunderstood. Why shouldn't intuitions be wrong? |
| 9378 | If meaning depends on conceptual role, what properties are needed to do the job? [Boghossian] |
| Full Idea: Conceptual Role Semantics must explain what properties an inference or sentence involving a logical constant must have, if that inference or sentence is to be constitutive of its meaning. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: This is my perennial request that if something is to be defined by its function (or role), we must try to explain what properties it has that make its function possible, and those properties will be the more basic explanation. |
| 9377 | 'Conceptual role semantics' says terms have meaning from sentences and/or inferences [Boghossian] |
| Full Idea: 'Conceptual role semantics' says the logical constants mean what they do by virtue of figuring in certain inferences and/or sentences involving them and not others, ..so some inferences and sentences are constitutive of an expression's meaning. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: If the meaning of the terms derives from the sentences in which they figure, that seems to be meaning-as-use. The view that it depends on the inferences seems very different, and is a more interesting but more risky claim. |
| 9372 | Could expressions have meaning, without two expressions possibly meaning the same? [Boghossian] |
| Full Idea: Could there be a fact of the matter about what each expression means, but no fact of the matter about whether they mean the same? | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §II) | |
| A reaction: He is discussing Quine's attack on synonymy, and his scepticism about meaning. Boghossian and I believe in propositions, so we have no trouble with two statements having the same meaning. Denial of propositions breeds trouble. |
| 17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
| Full Idea: Boghossian distinguishes metaphysical analyticity (truth purely in virtue of meaning, debunked by Quine, he says) from epistemic analyticity (knowability purely in virtue of understanding - a notion in good standing). | |
| From: report of Paul Boghossian (Analyticity Reconsidered [1996]) by Carrie Jenkins - Grounding Concepts 2.4 | |
| A reaction: [compressed] This fits with Jenkins's claim that we have a priori knowledge just through understanding and relating our concepts. She, however, rejects that idea that a priori is analytic. |
| 9368 | Epistemological analyticity: grasp of meaning is justification; metaphysical: truth depends on meaning [Boghossian] |
| Full Idea: The epistemological notion of analyticity: a statement is 'true by virtue of meaning' provided that grasp of its meaning alone suffices for justified belief in its truth; the metaphysical reading is that it owes its truth to its meaning, not to facts. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §I) | |
| A reaction: Kripke thinks it is neither, but is a purely semantic notion. How could grasp of meaning alone be a good justification if it wasn't meaning which was the sole cause of the statement's truth? I'm not convinced by his distinction. |
| 8991 | Foucault can't accept that power is sometimes decent and benign [Foucault, by Scruton] |
| Full Idea: It became impossible for Foucault to accept that power is sometimes decent and benign. | |
| From: report of Michel Foucault (Power/Knowledge [1980]) by Roger Scruton - Upon Nothing: Swansea lecture p.12 | |
| A reaction: Actually Idea 7425 suggests that Foucault has no dream of eliminating power, but he does seem to be utterly in favour of maximum autonomy, and to regard paternalism as inherently evil. What sort of parent would Foucault have been? |