25 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. |
| 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. |
| 7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
| Full Idea: A problem for resemblance nominalism is that in saying that two particulars 'resemble' one another, it is necessary to specify in what respect they do so (e.g. colour, shape, size), and this threatens to reintroduce what appears to be talk of universals. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: We see resemblance between faces instantly, long before we can specify the 'respects' of the resemblance. This supports the Humean hard-wired view of resemblance, rather than some appeal to Platonic universals. |
| 7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
| Full Idea: Later philosophers emphasised different strands of Aristotle's concept of substances: Leibniz (in his theory of monads) emphasised their unity; Spinoza emphasised their ontological independence; Locke emphasised their role in relation to qualities. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.4) | |
| A reaction: Note that this Aristotelian idea had not been jettisoned in the late seventeenth century, unlike other Aristotelianisms. I think it is only with the success of atomism in chemistry that the idea of substance is forced to recede. |
| 7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
| Full Idea: According to one school of thought, perception is simply a mode of belief-acquisition,and there is no reason to suppose that any element of sensation is literally involved in perception. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: Blindsight would be an obvious supporting case for this view. I think this point is crucial in understanding what is wrong with Jackson's 'knowledge argument' (involving Mary, see Idea 7377). Sensation gives knowledge, so it can't be knowledge. |
| 7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
| Full Idea: Only a causal theory of perception will respect the facts of physiology and physics ...meaning a theory which maintains that for a subject to perceive a physical object the subject should enjoy some appropriate perceptual experience caused by the object. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.3) | |
| A reaction: If I hallucinate an object, then presumably I am not allowed to say that I 'perceive' it, but that seems to make the causal theory an idle tautology. If we are in virtual reality then there aren't any objects. |
| 19544 | Closure says if you know P, and also know P implies Q, then you must know Q [Dretske] |
| Full Idea: Closure is the epistemological principle that if S knows that P is true and knows that P implies Q, then, evidentially speaking, this is enough for S to know that Q is true. Nothing more is needed. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.25) | |
| A reaction: [Dretske was the first to raise this issue] It is 'closure' because it applies to every case of Q, which is every implication of P that is known. The issue is whether we really do know all such Qs. Dretske doubts it. See his zebra case. |
| 19545 | We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske] |
| Full Idea: One doesn't have to regret everything one knows to be implied by what one regrets. Tom regrets drinking three martinis, but doesn't regret what he knows to be implied by this - that he drank 'something', or that the past is real. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.28) | |
| A reaction: A nice case of analogy! He's right about regret. Perceptual and inferential knowledge have different grounds. To deny inferential knowledge seems to be a denial that modus ponens can be a justification. But MP gives truth, not knowledge. |
| 19547 | Reasons for believing P may not transmit to its implication, Q [Dretske] |
| Full Idea: Some reasons for believing P do not transmit to things, Q, known to be implied by P. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.29) | |
| A reaction: That seems true enough. I see someone limping, but infer that their leg is damaged. The only question is whether I should accept the inference. How can I accept that inference, but then back out of that knowledge? |
| 19546 | Knowing by visual perception is not the same as knowing by implication [Dretske] |
| Full Idea: A way of knowing there are cookies in the jar - visual perception - is not a way of knowing what one knows to be implied by this - that visual appearances are not misleading. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.29) | |
| A reaction: Why is the 'way of knowing' relevant? Isn't the only question that of whether implication of a truth is in infallible route to a truth (modus ponens)? If you know THAT it is true, then you must believe it, and implication is top quality justification. No? |
| 19548 | The only way to preserve our homely truths is to abandon closure [Dretske] |
| Full Idea: The only way to preserve knowledge of homely truths, the truths everyone takes themselves to know, is to abandon closure. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.32) | |
| A reaction: His point is that knowledge of homely truths seems to imply knowledge of the background facts needed to support them, which he takes to be an unreasonable requirement. I recommend pursuing contextualism, rather than abandoning closure. |
| 19549 | P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske] |
| Full Idea: The evidence that gives me knowledge of P (there are cookies in the jar) can exist without evidence for knowing Q (they are not fake), despite my knowing that P implies Q. So closure fails. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.33) | |
| A reaction: His more famous example is the zebra. How can P imply Q if there is no evidence for Q? Maybe 'there are cookies in the jar' does not entail they are not fake, once you disambiguate what is being said? |
| 19550 | We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske] |
| Full Idea: The reality of the past (a 'heavyweight implication') ...is something we know to be implied by things we remember, but it is not itself something we remember. | |
| From: Fred Dretske (The Case against Closure (and reply) [2005], p.35) | |
| A reaction: If I begin to doubt that the past is real, then I must necessarily begin to doubt my ordinary memories. This seems to be the modus tollens of knowledge closure. Doesn't that imply that the modus ponens was valid, and closure is correct? |
| 7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
| Full Idea: There is the question of the identity of a person over or across time ('diachronic' personal identity), and there is also the question of what makes for personal identity at a time ('synchronic' personal identity). | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.5) | |
| A reaction: This seems to me to be the first and most important distinction in the philosophy of personal identity, and they regularly get run together. Locke, for example, has an account of synchronic identity, which is often ignored. It applies to objects too. |
| 7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
| Full Idea: 'Mentalese' would be neither conventional nor a means of public communication so that even to call it a language is seriously misleading. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: It is, however, supposed to contain symbolic representations which are then used as tokens for computation, so it seems close to a language, if (for example) symbolic logic or mathematics were accepted as languages. But who understands it? |
| 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. |
| 7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
| Full Idea: If meaning is a private mental picture, what does 'the cat is NOT on the mat' mean, and how does it differ from 'the dog is not on the mat?'. | |
| From: E.J. Lowe (Locke on Human Understanding [1995], Ch.7) | |
| A reaction: Not insurmountable. We picture an empty mat, combined with a cat (or whatever) located somewhere else. A mental 'picture' of something shouldn't be contrued as a single image in a neat black frame. |