| 9845 | We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege] |
| Full Idea: Given the reference (bedeutung) of an expression and a part of it, obviously the reference of the remaining part is not always determined. So we may not define a symbol or word by defining an expression in which it occurs, whose remaining parts are known | |
| From: Gottlob Frege (Grundgesetze der Arithmetik 2 (Basic Laws) [1903], §66) | |
| A reaction: Dummett cites this as Frege's rejection of contextual definitions, which he had employed in the Grundlagen. I take it not so much that they are wrong, as that Frege decided to set the bar a bit higher. |
| 9844 | Originally Frege liked contextual definitions, but later preferred them fully explicit [Frege, by Dummett] |
| Full Idea: In his middle period, Frege became hostile to contextual definitions, and any definition other than an explicit one, ..but at the time of the 'Grundlagen' he conceived of his context principle as licensing contextual definitions. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Michael Dummett - Frege philosophy of mathematics Ch.11 | |
| A reaction: His context principle says words only have a meaning in a context. Intuitively, I would say that there is no correct answer to how something should be defined. Totally circularity is hopeless, but presuppositions just weaken a definition. |
| 9822 | Nothing should be defined in terms of that to which it is conceptually prior [Frege, by Dummett] |
| Full Idea: Frege appeals to a general principle that nothing should be defined in terms of that to which it is conceptually prior. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §64) by Michael Dummett - Frege philosophy of mathematics Ch.3 | |
| A reaction: The point is that the terms of the definition would depend on the thing being defined. But of all the elusive concepts, that of 'conceptual priority' is one of the slipperiest. An example is the question of precedence between 'parallel' and 'direction'. |
| 21560 | Any linguistic expression may lack meaning when taken out of context [Russell] |
| Full Idea: Any sentence, a single word, or a single component phrase, may often be quite devoid of meaning when separated from its context. | |
| From: Bertrand Russell (Substitutional Classes and Relations [1906], p.165) | |
| A reaction: Contextualism is now extremely fashionable, in philosophy of language and in epistemology. Here Russell is looking for a contextual way to define classes [so says Lackey, the editor]. |
| 19047 | Bentham's contextual definitions preserved terms after their denotation became doubtful [Quine] |
| Full Idea: If Bentham found some term convenient but ontologically embarrassing, contextual definition enabled him in some cases to continue to enjoy the services of the term while disclaiming its denotation. | |
| From: Willard Quine (Five Milestones of Empiricism [1975], p.68) | |
| A reaction: In Quine's terms this would be to withdraw the term from the periphery of the theory, where it has to meet the world, and make it part of the inner connections of the theory. He suggests that Bentham invented this technique. |
| 19048 | Contextual definition shifted the emphasis from words to whole sentences [Quine] |
| Full Idea: Contextual definition precipitated a revolution in semantics. The primary vehicle of meaning is seen no longer as the word, but as the sentence. | |
| From: Willard Quine (Five Milestones of Empiricism [1975], p.69) | |
| A reaction: I think the idea is that the term is now supported entirely by its surrounding language, and not by its denotation of something in the world. |
| 8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
| Full Idea: A definition endows a word with complete determinacy of meaning relative to other words. But we could determine the meaning of a new word absolutely by specifying contexts which are to be true and contexts which are to be false. | |
| From: Willard Quine (Truth by Convention [1935], p.89) | |
| A reaction: This is the beginning of Quine's distinction between the interior of 'the web' and its edges. The attack on the analytic/synthetic distinction will break down the boundary between the two. Surprising to find 'absolute' anywhere in Quine. |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| Full Idea: The standard sense of a 'contextual definition' permits the eliminating of the defined expression, by transforming any sentence containing it into an equivalent one not containing it. | |
| From: Michael Dummett (Frege philosophy of mathematics [1991], Ch.11) | |
| A reaction: So the whole definition might be eliminated by a single word, which is not equivalent to the target word, which is embedded in the original expression. Clearly contextual definitions have some problems |
| 10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
| Full Idea: Late nineteenth century mathematicians said that, although plus, minus and 0 could not be precisely defined, they could be partially 'implicitly defined' as a group. This nonsense was rejected by Frege and others, as expressed in Russell 1903. | |
| From: Wilfrid Hodges (Model Theory [2005], 2) | |
| A reaction: [compressed] This is helpful in understanding what is going on in Frege's 'Grundlagen'. I won't challenge Hodges's claim that such definitions are nonsense, but there is a case for understanding groups of concepts together. |
| 10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
| Full Idea: Frege gave up on the attempt to introduce natural numbers by contextual definition, but the project has been revived by neo-logicists. | |
| From: report of Crispin Wright (Frege's Concept of Numbers as Objects [1983]) by Kit Fine - The Limits of Abstraction II |
| 9961 | 'Contextual definitions' replace whole statements, not just expressions [Mautner] |
| Full Idea: Usually in a definition the definiens (definition) can replace the definiendum (expression defined), but in a 'contextual definition' only the whole statement containing the definiens can replace the whole statement containing the definiendum. | |
| From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], 'definition') | |
| A reaction: These definitions are crucial to Frege's enterprise in the 'Grundlagen'. Logicians always want to achieve definition with a single neat operation, but in ordinary language we talk around a definition, giving a variety of possibilities (as in teaching). |
| 10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |
| Full Idea: An 'implicit definition' characterizes a structure or class of structures by giving a direct description of the relations that hold among the places of the structure. | |
| From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro) | |
| A reaction: This might also be thought of as a 'functional definition', since it seems to say what the structure or entity does, rather than give the intrinsic characteristics that make its relations and actions possible. |
| 18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
| Full Idea: A 'contextual' definition shows how to eliminate a description from a context. | |
| From: Bernard Linsky (Quantification and Descriptions [2014], 2) | |
| A reaction: I'm trying to think of an example, but what I come up with are better described as 'paraphrases' than as 'definitions'. |
| 9955 | Contextual definitions replace a complete sentence containing the expression [George/Velleman] |
| Full Idea: A contextual definition shows how to analyse an expression in situ, by replacing a complete sentence (of a particular form) in which the expression occurs by another in which it does not. | |
| From: A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.2) | |
| A reaction: This is a controversial procedure, which (according to Dummett) Frege originally accepted, and later rejected. It might not be the perfect definition that replacing just the expression would give you, but it is a promising step. |