| 18203 | Avoid non-predicative classifications and definitions [Poincaré] |
| Full Idea: Never consider any objects but those capable of being defined in a finite number of word ...Avoid non-predicative classifications and definitions. | |
| From: Henri Poincaré (The Logic of Infinity [1909], p.63), quoted by Penelope Maddy - Naturalism in Mathematics II.4 |
| 8746 | To avoid vicious circularity Russell produced ramified type theory, but Ramsey simplified it [Russell/Whitehead, by Shapiro] |
| Full Idea: Russell insisted on the vicious circle principle, and thus rejected impredicative definitions, which resulted in an unwieldy ramified type theory, with the ad hoc axiom of reducibility. Ramsey's simpler theory was impredicative and avoided the axiom. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Stewart Shapiro - Thinking About Mathematics 5.2 | |
| A reaction: Nowadays the theory of types seems to have been given up, possibly because it has no real attraction if it lacks the strict character which Russell aspired to. |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 18126 | A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock] |
| Full Idea: The idea is that the same set may well have different canonical specifications, i.e. there may be different ways of stating its membership conditions, and so long as one of these is predicative all is well. If none are, the supposed set does not exist. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 |
| 18128 | Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock] |
| Full Idea: It is a conceptualist approach that Russell is relying on. ...The view is that some abstract objects ...exist only because they are definable. It is the definition that would (if permitted) somehow bring them into existence. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: I'm suddenly thinking that predicativism is rather interesting. Being of an anti-platonist persuasion about abstract 'objects', I take some story about how we generate them to be needed. Psychological abstraction seems right, but a bit vague. |
| 18124 | Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock] |
| Full Idea: The Vicious Circle Principle says, roughly, that whatever involves, or presupposes, or is only definable in terms of, all of a collection cannot itself be one of the collection. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908], p.63,75) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: This is Bostock's paraphrase of Russell, because Russell never quite puts it clearly. The response is the requirement to be 'predicative'. Bostock emphasises that it mainly concerns definitions. The Principle 'always leads to hierarchies'. |
| 21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
| Full Idea: We need rules for deciding what norms are predicative and what are not, unless we adopt the view (which has much to recommend it) that no norms are predicative. ...[146] A predative propositional function is one which determines a class. | |
| From: Bertrand Russell (Difficulties of Transfinite Numbers and Types [1905], p.141) | |
| A reaction: He is referring to his 'no class' theory, which he favoured at that time. |
| 21558 | 'Predicative' norms are those which define a class [Russell] |
| Full Idea: Norms (containing one variable) which do not define classes I propose to call 'non-predicative'; those which do define classes I shall call 'predicative'. | |
| From: Bertrand Russell (Difficulties of Transfinite Numbers and Types [1905], p.141) |
| 8747 | Realists are happy with impredicative definitions, which describe entities in terms of other existing entities [Gödel, by Shapiro] |
| Full Idea: Gödel defended impredicative definitions on grounds of ontological realism. From that perspective, an impredicative definition is a description of an existing entity with reference to other existing entities. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by Stewart Shapiro - Thinking About Mathematics 5.3 | |
| A reaction: This is why constructivists must be absolutely precise about definition, where realists only have to do their best. Compare building a car with painting a landscape. |
| 10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
| Full Idea: Impredicative definitions are admitted into ordinary mathematics. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], p.464) | |
| A reaction: The issue is at what point in building an account of the foundations of mathematics (if there be such, see Putnam) these impure definitions should be ruled out. |
| 18131 | If abstracta only exist if they are expressible, there can only be denumerably many of them [Bostock] |
| Full Idea: If an abstract object exists only when there is some suitable way of expressing it, then there are at most denumerably many abstract objects. | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.2) | |
| A reaction: Fine by me. What an odd view, to think there are uncountably many abstract objects in existence, only a countable portion of which will ever be expressed! [ah! most people agree with me, p.243-4] |
| 18134 | Predicativism makes theories of huge cardinals impossible [Bostock] |
| Full Idea: Classical mathematicians say predicative mathematics omits areas of great interest, all concerning non-denumerable real numbers, such as claims about huge cardinals. There cannot be a predicative version of this theory. | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.3) | |
| A reaction: I'm not sure that anyone will really miss huge cardinals if they are prohibited, though cryptography seems to flirt with such things. Are we ever allowed to say that some entity conjured up by mathematicians is actually impossible? |
| 18135 | If mathematics rests on science, predicativism may be the best approach [Bostock] |
| Full Idea: It has been claimed that only predicative mathematics has a justification through its usefulness to science (an empiricist approach). | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.3) | |
| A reaction: [compressed. Quine is the obvious candidate] I suppose predicativism gives your theory roots, whereas impredicativism is playing an abstract game. |
| 18136 | If we can only think of what we can describe, predicativism may be implied [Bostock] |
| Full Idea: If we accept the initial idea that we can think only of what we ourselves can describe, then something like the theory of predicativism quite naturally results | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.3) | |
| A reaction: I hate the idea that we can only talk of what falls under a sortal, but 'what we can describe' is much more plausible. Whether or not you agree with this approach (I'm pondering it), this makes predicativism important. |
| 18132 | The predicativity restriction makes a difference with the real numbers [Bostock] |
| Full Idea: It is with the real numbers that the restrictions imposed by predicativity begin to make a real difference. | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.3) |
| 18133 | The usual definitions of identity and of natural numbers are impredicative [Bostock] |
| Full Idea: The predicative approach cannot accept either the usual definition of identity or the usual definition of the natural numbers, for both of these definitions are impredicative. | |
| From: David Bostock (Philosophy of Mathematics [2009], 8.3) | |
| A reaction: [Bostock 237-8 gives details] |
| 13663 | Some reject formal properties if they are not defined, or defined impredicatively [Shapiro] |
| Full Idea: Some authors (Poincaré and Russell, for example) were disposed to reject properties that are not definable, or are definable only impredicatively. | |
| From: Stewart Shapiro (Foundations without Foundationalism [1991], 7.1) | |
| A reaction: I take Quine to be the culmination of this line of thought, with his general rejection of 'attributes' in logic and in metaphysics. |
| 8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
| Full Idea: A definition of a mathematical entity is 'impredicative' if it refers to a collection that contains the defined entity. The definition of 'least upper bound' is impredicative as it refers to upper bounds and characterizes a member of this set. | |
| From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2) | |
| A reaction: The big question is whether mathematics can live with impredicative definitions, or whether they threaten to be viciously circular, and undermine the whole enterprise. |
| 15370 | Predicativism says mathematical definitions must not include the thing being defined [Horsten] |
| Full Idea: Predicativism has it that a mathematical object (such as a set of numbers) cannot be defined by quantifying over a collection that includes that same mathematical object. To do so would be a violation of the vicious circle principle. | |
| From: Leon Horsten (The Tarskian Turn [2011], 07.7) | |
| A reaction: In other words, when you define an object you are obliged to predicate something new, and not just recycle the stuff you already have. |