display all the ideas for this combination of texts
3 ideas
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. |
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
Full Idea: We call 'cardinal number' the general concept which, by means of our active faculty of thought, arises when we make abstraction from an aggregate of its various elements, and of their order. From this double abstraction the number is an image in our mind. | |
From: George Cantor (Beitrage [1915], §1), quoted by Kit Fine - Cantorian Abstraction: Recon. and Defence Intro | |
A reaction: [compressed] This is the great Cantor, creator of set theory, endorsing the traditional abstractionism which Frege and his followers so despise. Fine offers a defence of it. The Frege view is platonist, because it refuses to connect numbers to the world. |