18 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. |
| 9944 | We understand some statements about all sets [Putnam] |
| Full Idea: We seem to understand some statements about all sets (e.g. 'for every set x and every set y, there is a set z which is the union of x and y'). | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.308) | |
| A reaction: His example is the Axiom of Choice. Presumably this is why the collection of all sets must be referred to as a 'class', since we can talk about it, but cannot define it. |
| 9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
| Full Idea: I do not believe mathematics either has or needs 'foundations'. | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: Agreed that mathematics can function well without foundations (given that the enterprise got started with no thought for such things), the ontology of the subject still strikes me as a major question, though maybe not for mathematicians. |
| 9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
| Full Idea: I believe that under certain circumstances revisions in the axioms of arithmetic, or even of the propositional calculus (e.g. the adoption of a modular logic as a way out of the difficulties in quantum mechanics), is fully conceivable. | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.303) | |
| A reaction: One can change the axioms of a system without necessarily changing the system (by swapping an axiom and a theorem). Especially if platonism is true, since the eternal objects reside calmly above our attempts to axiomatise them! |
| 9940 | Maybe mathematics is empirical in that we could try to change it [Putnam] |
| Full Idea: Mathematics might be 'empirical' in the sense that one is allowed to try to put alternatives into the field. | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.303) | |
| A reaction: He admits that change is highly unlikely. It take hardcore Millian arithmetic to be only changeable if pebbles start behaving very differently with regard to their quantities, which appears to be almost inconceivable. |
| 9941 | Science requires more than consistency of mathematics [Putnam] |
| Full Idea: Science demands much more of a mathematical theory than that it should merely be consistent, as the example of the various alternative systems of geometry dramatizes. | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: Well said. I don't agree with Putnam's Indispensability claims, but if an apparent system of numbers or lines has no application to the world then I don't consider it to be mathematics. It is a new game, like chess. |
| 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. |
| 9943 | You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam] |
| Full Idea: Surely the mere fact that we may never know whether the continuum hypothesis is true or false is by itself just no reason to think that it doesn't have a truth value! | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: This is Putnam in 1967. Things changed later. Personally I am with the younger man all they way, but I reserve the right to totally change my mind. |
| 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. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |