Combining Texts

All the ideas for 'In Defense of Essentialism', 'The Nature of Mathematics' and 'The Limits of Abstraction'

unexpand these ideas     |    start again     |     specify just one area for these texts


28 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophy is an experimental science, resting on common experience [Peirce]
     Full Idea: Philosophy, although it uses no microscopes or other apparatus of special observation, is really an experimental science, resting on that experience which is common to us all.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], I)
     A reaction: The 'experimental' either implies that thought-experiments are central to the subject, or that philosophers are discussing the findings of scientists, but at a high level of theory and abstraction. Peirce probably means the latter. I can't disagree.
2. Reason / B. Laws of Thought / 3. Non-Contradiction
Self-contradiction doesn't reveal impossibility; it is inductive impossibility which reveals self-contradiction [Peirce]
     Full Idea: It is an anacoluthon to say that a proposition is impossible because it is self-contradictory. It rather is thought so to appear self-contradictory because the ideal induction has shown it to be impossible.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
2. Reason / D. Definition / 3. Types of Definition
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.
'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)
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce]
     Full Idea: Mathematics is purely hypothetical: it produces nothing but conditional propositions. Logic, on the contrary, is categorical in its assertions. True, it is a normative science, and not a mere discovery of what really is. It discovers ends from means.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], II)
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Mathematics is close to logic, but is even more abstract [Peirce]
     Full Idea: The whole of the theory of numbers belongs to logic; or rather, it would do so, were it not, as pure mathematics, pre-logical, that is, even more abstract than logic.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], IV)
     A reaction: Peirce seems to flirt with logicism, but rejects in favour of some subtler relationship. I just don't believe that numbers are purely logical entities.
7. Existence / A. Nature of Existence / 4. Abstract Existence
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.
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.
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.
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA]
     Full Idea: Some deep essentialists resist the need to explain the structure under de re modal properties, taking them as primitive. One version (which we can call 'substance theory') takes them to fall under a sortal concept, with no further explanation.
     From: L.A. Paul (In Defense of Essentialism [2006], §1)
     A reaction: A very helpful identification of what Wiggins stands for, and why I disagree with him. The whole point of essences is to provide a notion that fits in with sciences, which means they must have an explanatory role, which needs structures.
If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA]
     Full Idea: If the substance essentialist holds that the sort an object belongs to determines its de re modal properties (rather than the other way round), then he needs to give an (ontological, not conceptual) explanation of what determines an object's sort.
     From: L.A. Paul (In Defense of Essentialism [2006], §1)
     A reaction: See Idea 14193 for 'substance essentialism'. I find it quite incredible that anyone could think that a thing's sort could determine its properties, rather than the other way round. Even if sortals are conventional, they are not arbitrary.
Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA]
     Full Idea: The explanation of material constitution given by substance essentialism is that there are multiple objects. A person is essentially human-shaped (falling under the human sort), while their hunk of tissue is accidentally human-shaped (as tissue).
     From: L.A. Paul (In Defense of Essentialism [2006], §1)
     A reaction: At this point sortal essentialism begins to look crazy. Persons are dubious examples (with sneaky dualism involved). A bronze statue is essentially harder to dent than a clay one, because of its bronze. If you remake it of clay, it isn't the same statue.
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA]
     Full Idea: Absolutely unrestricted qualitative composition would imply that objects with incompatible properties and objects such as winged pigs or golden mountains were actual.
     From: L.A. Paul (In Defense of Essentialism [2006], §5)
     A reaction: Note that this is 'qualitative' composition, and not composition of parts. The objection seems to rule out unrestricted qualitative composition, since you could hardly combine squareness with roundness.
9. Objects / D. Essence of Objects / 2. Types of Essence
Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA]
     Full Idea: Essentialism says that objects have their properties essentially. 'Deep' essentialists take the (nontrivial) essential properties of an object to determine its nature. 'Shallow' essentialists substitute context-dependent truths for the independent ones.
     From: L.A. Paul (In Defense of Essentialism [2006], Intro)
     A reaction: If the deep essence determines a things nature, we should not need to say 'nontrivial'. This is my bete noire, the confusion of essential properties with necessary ones, where necessary properties (or predicates, at least) can indeed be trivial.
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA]
     Full Idea: The deep essentialist holds that most objects have essential properties such that there are many ways they could not be, or many changes through which they could not persist. Objects' modal profiles characterize their natures.
     From: L.A. Paul (In Defense of Essentialism [2006], Intro)
     A reaction: This is the view I like, especially the last bit. If your modal profile doesn't determine your nature, then what does? Think of how you sum up a person at a funeral. Your modal profile is determined by dispositions and powers.
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA]
     Full Idea: Two objections to deep essentialism are that it falters when faced with a skeptical objection concerning arbitrariness, and the need for a reductive account of de re modality.
     From: L.A. Paul (In Defense of Essentialism [2006], Intro)
     A reaction: An immediate response to the second objection might be to say that modal facts about things are not reducible. The charge of arbitrariness (i.e. total arbitrariness, not just a bit of uncertainty) is the main thing a theory of essences must deal with.
An object's modal properties don't determine its possibilities [Paul,LA]
     Full Idea: I reject the view that an object's de re modal properties determine its relations to possibilia.
     From: L.A. Paul (In Defense of Essentialism [2006], §3)
     A reaction: You'll have to read Paul to see why, but I flat disagree with her on this. The whole point of accepting such properties is to determine the modal profile of the thing, and hence see how it can fit into and behave in the world.
10. Modality / B. Possibility / 1. Possibility
Some logical possibility concerns single propositions, but there is also compatibility between propositions [Peirce]
     Full Idea: Many say everything is logically possible which involves no contradiction. In this sense two contradictory propositions may be severally possible. In the substantive sense, the contradictory of a possible proposition is impossible (if we were omniscient).
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA]
     Full Idea: A 'modal realist' believes that there are many concrete worlds, while the 'actualist' believes in only one concrete world, the actual world. The 'ersatzist' is an actualist who takes nonactual possible worlds and their contents to be abstracta.
     From: L.A. Paul (In Defense of Essentialism [2006], Intro)
     A reaction: My view is something like that modal realism is wrong, and actualism is right, and possible worlds (if they really are that useful) are convenient abstract fictions, constructed (if we have any sense) out of the real possibilities in the actual world.
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Experience is indeed our only source of knowledge, provided we include inner experience [Peirce]
     Full Idea: If Mill says that experience is the only source of any kind of knowledge, I grant it at once, provided only that by experience he means personal history, life. But if he wants me to admit that inner experience is nothing, he asks what cannot be granted.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898])
     A reaction: Notice from Idea 14785 that Peirce has ideas in mind, and not just inner experiences like hunger. Empiricism certainly begins to look more plausible if we expand the notion of experience. It must include what we learned from prior experience.
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The world is one of experience, but experiences are always located among our ideas [Peirce]
     Full Idea: The real world is the world of sensible experience, and it is part of the process of sensible experience to locate its facts in the world of ideas.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
     A reaction: This is the neatest demolition of the sharp dividing line between empiricism and rationalism that I have ever encountered.
18. Thought / E. Abstraction / 1. Abstract Thought
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.
18. Thought / E. Abstraction / 2. Abstracta by Selection
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.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
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)
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.
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.
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.
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / b. Defining ethics
Ethics is the science of aims [Peirce]
     Full Idea: Ethics is the science of aims.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], II)
     A reaction: Intriguing slogan. He is discussing the aims of logic. I think what he means is that ethics is the science of value. 'Science' may be optimistic, but I would sort of agree with his basic idea.