14 ideas
22519 | Philosophers are revealed by their fears [Billington] |
Full Idea: To understand any philosopher, ask 'What are they afraid of?'. | |
From: Ray Billington (talk [2010]) | |
A reaction: Yes! So... Plato - disorder. Aristotle - ignorance. Augustine - sin. Descartes - uncertainty. Spinoza - fragmentation. Leibniz - superficiality. Hume - speculation. Bentham - egotism. Kant - self-deception. Nietzsche - nihilism. Russell - imprecision. |
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. |
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. |
19269 | 'Quus' means the same as 'plus' if the ingredients are less than 57; otherwise it just produces 5 [Kripke] |
Full Idea: I will define 'quus' by x-quus-y = x + y, if x, y < 57, and otherwise it equals 5. Who is to say that this is not the function I previously meant by '+'? | |
From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 2) | |
A reaction: Kripke's famous example, to illustrate the big new scepticism introduced by Wittgenstein's questions about the rationality of following a rule. I suspect that you have to delve into psychology to understand rule-following, rather than logic. |
19271 | No rule can be fully explained [Kripke] |
Full Idea: Every explanation of a rule could conceivably be misunderstood. | |
From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 3) | |
A reaction: This is Kripke's summary of what he takes to be Wittgenstein's scepticism about rules. |
7305 | Kripke's Wittgenstein says meaning 'vanishes into thin air' [Kripke, by Miller,A] |
Full Idea: Quine and Kripke's Wittgenstein attempt to argue that there are no facts about meaning, that the notion of meaning, as Kripke puts it, 'vanishes into thin air'. | |
From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Alexander Miller - Philosophy of Language Pref | |
A reaction: A tempting solution to the problem. If, though, it is possible for someone to say something that is self-evidently meaningless, or to accuse someone of speaking (deep down) without meaning, then that needs explaining. |
19270 | If you ask what is in your mind for following the addition rule, meaning just seems to vanish [Kripke] |
Full Idea: What can there be in my mind that I make use of when I follow a general rule to add in the future? It seems that the entire idea of meaning vanishes into thin air. | |
From: Saul A. Kripke (Wittgenstein on Rules and Private Language [1982], 2) | |
A reaction: Introspection probably isn't the best way to investigate the phenomenon of meaning. Indeed it seems rather old-fashioned and Cartesian. Kripke says, though, that seeking 'tacit' rules is even worse [end of note 22]. |
11076 | Community implies assertability-conditions rather than truth-conditions semantics [Kripke, by Hanna] |
Full Idea: If we take account of the fact that a speaker is in a community, then we must adopt an assertability-conditions semantics (based on what is legitimately assertible), and reject truth-conditional semantics (based on correspondence to the facts). | |
From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Robert Hanna - Rationality and Logic 6.1 | |
A reaction: [Part of Hanna's full summary of Kripke's argument] This sounds wrong to me. There are conditions where it is agreed that a lie should be told. Two people can be guilty of the same malapropism. |
11075 | The sceptical rule-following paradox is the basis of the private language argument [Kripke, by Hanna] |
Full Idea: Kripke argues that the 'rule-following paradox' is essential to the more controversial private language argument, and introduces a radically new form of scepticism. | |
From: report of Saul A. Kripke (Wittgenstein on Rules and Private Language [1982]) by Robert Hanna - Rationality and Logic 6.1 | |
A reaction: It certainly seems that Kripke is right to emphasise the separateness of the two, as the paradox is quite persuasive, but the private language argument seems less so. |