20 ideas
| 10143 | 'Creative definitions' do not presuppose the existence of the objects defined [Fine,K] |
| Full Idea: What I call 'creative definitions' are made from a standpoint in which the existence of the objects that are to be assigned to the terms is not presupposed. | |
| From: Kit Fine (The Limits of Abstraction [2002], II.1) |
| 9143 | Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert] |
| Full Idea: Fine distinguishes 'implicit definitions', where we must know it is satisfiable before it is deployed, 'creative definitions', where objects are introduced in virtue of the definition, ..and 'contextual definitions', based on established vocabulary. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 060) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 3 | |
| A reaction: Fine is a fan of creative definition. This sounds something like the distinction between cutting nature at the perceived joints, and speculating about where new joints might be inserted. Quite a helpful thought. |
| 10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
| Full Idea: Abelard's theory of substantial integral wholes is not a pure mereology in the modern sense, since he holds that there are privileged divisions; ..the division of a whole must be into its principal parts. Some wholes have a natural division. | |
| From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2 | |
| A reaction: This is a mereology that cuts nature at the joints, rather than Lewis's 'unrestricted composition', so I find Abelard rather appealing. |
| 10145 | Abstracts cannot be identified with sets [Fine,K] |
| Full Idea: It is impossible for a proponent of both sets and abstracts to identify the abstracts, in any reasonable manner, with the sets. | |
| From: Kit Fine (The Limits of Abstraction [2002], IV.1) | |
| A reaction: [This observation emerges from a proof Fine has just completed] Cf Idea 10137. The implication is that there is no compromise view available, and one must choose between abstraction or sets as one's account of numbers and groups of concepts. |
| 10136 | Points in Euclidean space are abstract objects, but not introduced by abstraction [Fine,K] |
| Full Idea: Points in abstract Euclidean space are abstract objects, and yet are not objects of abstraction, since they are not introduced through a principle of abstraction of the sort envisaged by Frege. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.1) | |
| A reaction: The point seems to be that they are not abstracted 'from' anything, but are simpy posited as basic constituents. I suggest that points are idealisations (of smallness) rather than abstractions. They are idealised 'from' substances. |
| 10144 | Postulationism says avoid abstract objects by giving procedures that produce truth [Fine,K] |
| Full Idea: A procedural form of postulationism says that instead of stipulating that certain statements are true, one specifies certain procedures for extending the domain to one in which the statement will in fact be true, without invoking an abstract ontology. | |
| From: Kit Fine (The Limits of Abstraction [2002], II.5) | |
| A reaction: The whole of philosophy might go better if it was founded on procedures and processes, rather than on objects. The Hopi Indians were right. |
| 10396 | If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P] |
| Full Idea: Abelard argued that if the universal 'animal' were completely present in both Socrates and an ass, making each wholly an animal, then the same thing, animal, will be simultaneously rational and irrational, with contraries present in the whole thing. | |
| From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2 | |
| A reaction: If we have universals for rationality and irrationality, they can distinguish the two. But we must also say that rationality is not an aspect of animal, which seems to mean that mind isn't either. What is the essence of an animal? Not reason? |
| 10395 | Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P] |
| Full Idea: Abelard was an irrealist about universals, but also about propositions, events, times other than the present, natural kinds, relations, wholes, absolute space, hylomorphic composites, and the like. The concrete individual is enough to populate the world. | |
| From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2 | |
| A reaction: If a Nominalist claims that 'only particulars exist', this makes him an extreme nominalist, and remarkably materialistic for his time (though he accepted the soul, as well as God). |
| 15384 | Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio] |
| Full Idea: Abelard concluded that only words can be 'predicated of many'. A universal is nothing but a general linguistic predicate, and its universality depends not on its mode of being, but on its mode of signifying. | |
| From: report of Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter' | |
| A reaction: Abelard seems to be the originator of what is now called Predicate Nominalism, with Nelson Goodman as his modern representative. If it is just words, is there no fact of two things having the 'same' property? |
| 8481 | The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein] |
| Full Idea: The de dicto-de re modality distinction dates back to Abelard. | |
| From: report of Peter Abelard (works [1135]) by Alex Orenstein - W.V. Quine Ch.7 | |
| A reaction: Most modern philosophers couldn't (apparently) care less where a concept originated, but one of the principles of this database is that such things do matter. I'm not sure why, but if we want the whole picture, we need the historical picture. |
| 9144 | Fine's 'procedural postulationism' uses creative definitions, but avoids abstract ontology [Fine,K, by Cook/Ebert] |
| Full Idea: Fine says creative definitions can found mathematics. His 'procedural postulationism' says one stipulates not truths, but certain procedures for extending a domain. The procedures can be stated without invoking an abstract ontology. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 100) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 4 | |
| A reaction: (For creative definitions, see Idea 9143) This sounds close in spirit to fictionalism, but with the emphasis on the procedure (which can presumably be formalized) rather than a pure act of imaginative creation. |
| 10141 | Many different kinds of mathematical objects can be regarded as forms of abstraction [Fine,K] |
| Full Idea: Many different kinds of mathematical objects (natural numbers, the reals, points, lines, figures, groups) can be regarded as forms of abstraction, with special theories having their basis in a general theory of abstraction. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.4) | |
| A reaction: This result, if persuasive, would be just the sort of unified account which the whole problem of abstact ideas requires. |
| 10135 | We can abstract from concepts (e.g. to number) and from objects (e.g. to direction) [Fine,K] |
| Full Idea: A principle of abstraction is 'conceptual' when the items upon which it abstracts are concepts (e.g. a one-one correspondence associated with a number), and 'objectual' if they are objects (parallel lines associated with a direction). | |
| From: Kit Fine (The Limits of Abstraction [2002], I) |
| 9142 | Fine considers abstraction as reconceptualization, to produce new senses by analysing given senses [Fine,K, by Cook/Ebert] |
| Full Idea: Fine considers abstraction principles as instances of reconceptualization (rather than implicit definition, or using the Context Principle). This centres not on reference, but on new senses emerging from analysis of a given sense. | |
| From: report of Kit Fine (The Limits of Abstraction [2002], 035) by R Cook / P Ebert - Notice of Fine's 'Limits of Abstraction' 2 | |
| A reaction: Fine develops an argument against this view, because (roughly) the procedure does not end in a unique result. Intuitively, the idea that abstraction is 'reconceptualization' sounds quite promising to me. |
| 10137 | Abstractionism can be regarded as an alternative to set theory [Fine,K] |
| Full Idea: The uncompromising abstractionist rejects set theory, seeing the theory of abstractions as an alternative, rather than as a supplement, to the standard theory of sets. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.1) | |
| A reaction: There is also a 'compromising' version. Presumably you still have equivalence classes to categorise the objects, which are defined by their origin rather than by what they are members of... Cf. Idea 10145. |
| 10138 | An object is the abstract of a concept with respect to a relation on concepts [Fine,K] |
| Full Idea: We can see an object as being the abstract of a concept with respect to a relation on concepts. For example, we may say that 0 is the abstract of the empty concept with respect to the relation of one-one correspondence. | |
| From: Kit Fine (The Limits of Abstraction [2002], I.2) | |
| A reaction: This is Fine's attempt to give a modified account of the Fregean approach to abstraction. He says that the reference to a relation will solve the problem of identity between abstractions. |
| 15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
| Full Idea: Abelard's problem is that it is not clear how singular forms could do the job they are supposed to do - to account for abstraction, namely - if they were purely singular aspects. | |
| From: comment on Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter' | |
| A reaction: A very nice question! If we say that abstracta are just acquired by ignoring all but that feature in some objects, how do we identify 'that' feature in order to select it? The instances must share something in common to be abstracted. |
| 7319 | If we give up synonymy, we have to give up significance, meaning and sense [Grice/Strawson] |
| Full Idea: If we are to give up the notion of sentence-synonymy as senseless, we must give up the notion of sentence-significance (of a sentence having meaning) as senseless too. But then perhaps we might as well give up the notion of sense. | |
| From: P Grice / P Strawson (In Defense of a Dogma [1956]), quoted by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is very prescient. Nearly all American philosophers seem to embrace Quine's view of analyticity (the philosophical equivalent of Americans putting a man on the moon?), but have they digested the implications (which Quine later largely admits)? |
| 15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
| Full Idea: Abelard argued from the commonly accepted definition of a universal as 'what can be predicated of man', that no external thing can ever be predicated of anything. | |
| From: report of Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter' | |
| A reaction: It sounds to me as if Abelard is confusing predicates with properties! Maybe no external can be a property of anything, but I take predicates to just be part of what you can say about anything, and that had better included external facts. |
| 10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |
| Full Idea: In Abelard's view a natural kind is a well-defined collection of things that have the same features, so that natural kinds have no special status, being no more than discrete integral wholes whose principle of membership is similarity. | |
| From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2 | |
| A reaction: I take a natural kind to be a completely stable and invariant class of things. Presumably this invariance has an underlying explanation, but Abelard seems to take the Humean line that we cannot penetrate beyond the experienced surface. |