Combining Texts

All the ideas for 'Substance and Individuation in Leibniz', 'works' and 'Definitions'

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


30 ideas

2. Reason / A. Nature of Reason / 7. Status of Reason
Foucault originally felt that liberating reason had become an instrument of domination [Foucault, by Gutting]
     Full Idea: In early work Foucault writes in opposition to the Enlightenment. ..The reason that was supposed to liberate us has itself become the primary instrument of our domination. ..His heroisation of the mad aims to set up an alternative to the regime of reason.
     From: report of Michel Foucault (works [1978]) by Gary Gutting - Foucault: a very short introduction 7
     A reaction: Adorno and Horkheimer are cited as background. I hear Spinoza turning in his grave, because right reason could never be an instrument of domination.
2. Reason / D. Definition / 1. Definitions
Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta]
     Full Idea: Many definitions have three elements: the term that is defined, an expression containing the defined term (the 'definiendum'), and another expression (the 'definiens') that is equated by the definition with this expression.
     From: Anil Gupta (Definitions [2008], 2)
     A reaction: He notes that the definiendum and the definiens are assumed to be in the 'same logical category', which is a right can of worms.
Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta]
     Full Idea: Notable examples of definitions in philosophy have been Plato's (e.g. of piety, in 'Euthyphro'), Anselm's definition of God, the Frege-Russell definition of number, and Tarski's definition of truth.
     From: Anil Gupta (Definitions [2008], Intro)
     A reaction: All of these are notable for the extensive metaphysical conclusions which then flow from what seems like a fairly neutral definition. We would expect that if we were defining essences, but not if we were just defining word usage.
2. Reason / D. Definition / 2. Aims of Definition
A definition needs to apply to the same object across possible worlds [Gupta]
     Full Idea: In a modal logic in which names are non-vacuous and rigid, not only must existence and uniqueness in a definition be shown to hold necessarily, it must be shown that the definiens is satisfied by the same object across possible worlds.
     From: Anil Gupta (Definitions [2008], 2.4)
The 'revision theory' says that definitions are rules for improving output [Gupta]
     Full Idea: The 'revision theory' of definitions says definitions impart a hypothetical character, giving a rule of revision rather than a rule of application. ...The output interpretation is better than the input one.
     From: Anil Gupta (Definitions [2008], 2.7)
     A reaction: Gupta mentions the question of whether such definitions can extend into the trans-finite.
2. Reason / D. Definition / 3. Types of Definition
A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta]
     Full Idea: A definition is 'extensionally adequate' iff there are no actual counterexamples to it. It is 'intensionally adequate' iff there are no possible counterexamples to it. It is 'sense adequate' (or 'analytic') iff it endows the term with the right sense.
     From: Anil Gupta (Definitions [2008], 1.4)
Traditional definitions are general identities, which are sentential and reductive [Gupta]
     Full Idea: Traditional definitions are generalized identities (so definiendum and definiens can replace each other), in which the sentential is primary (for use in argument), and they involve reduction (and hence eliminability in a ground language).
     From: Anil Gupta (Definitions [2008], 2.2)
Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta]
     Full Idea: A traditional definition requires that the definiendum contains the defined term, that definiendum and definiens are of the same logical category, and the definition is conservative (adding nothing new), and makes elimination possible.
     From: Anil Gupta (Definitions [2008], 2.4)
2. Reason / D. Definition / 4. Real Definition
Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta]
     Full Idea: The chemist aims at real definition, whereas the lexicographer aims at nominal definition. ...Perhaps real definitions investigate the thing denoted, and nominal definitions investigate meaning and use.
     From: Anil Gupta (Definitions [2008], 1.1)
     A reaction: Very helpful. I really think we should talk much more about the neglected chemists when we discuss science. Theirs is the single most successful branch of science, the paradigm case of what the whole enterprise aims at.
2. Reason / D. Definition / 6. Definition by Essence
If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta]
     Full Idea: Some definitions aim at precision, others at fairness, or at accuracy, or at clarity, or at fecundity. But if definitions 'give the essence of things' (the Aristotelian formula), then it may not be a unitary kind of activity.
     From: Anil Gupta (Definitions [2008], 1)
     A reaction: We don't have to accept this conclusion so quickly. Human interests may shift the emphasis, but there may be a single ideal definition of which these various examples are mere parts.
2. Reason / D. Definition / 10. Stipulative Definition
Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta]
     Full Idea: Stipulative definition imparts a meaning to the defined term, and involves no commitment that the assigned meaning agrees with prior uses (if any) of the term
     From: Anil Gupta (Definitions [2008], 1.3)
     A reaction: A nice question is how far one can go in stretching received usage. If I define 'democracy' as 'everyone is involved in decisions', that is sort of right, but pushing the boundaries (children, criminals etc).
2. Reason / D. Definition / 11. Ostensive Definition
Ostensive definitions look simple, but are complex and barely explicable [Gupta]
     Full Idea: Ostensive definitions look simple (say 'this stick is one meter long', while showing a stick), but they are effective only because a complex linguistic and conceptual capacity is operative in the background, of which it is hard to give an account.
     From: Anil Gupta (Definitions [2008], 1.2)
     A reaction: The full horror of the situation is brought out in Quine's 'gavagai' example (Idea 6312)
4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets
The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta]
     Full Idea: The ordered pair <x,y> is defined as the set {{x},{x,y}}. This does captures its essential uses. Pairs <x,y> <u,v> are identical iff x=u and y=v, and the definition satisfies this. Function matters here, not meaning.
     From: Anil Gupta (Definitions [2008], 1.5)
     A reaction: This is offered as an example of Carnap's 'explications', rather than pure definitions. Quine extols it as a philosophical paradigm (1960:§53).
8. Modes of Existence / A. Relations / 1. Nature of Relations
Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne]
     Full Idea: The scholastics treated it as a step in the right explanatory direction to analyze a relational statement of the form 'aRb' into two subject-predicate statements, attributing different relational predicates to a and to b.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2.1)
     A reaction: The only alternative seems to be Russell's view of relations as pure universals, having a life of their own, quite apart from their relata. Or you could take them as properties of space, time (and powers?), external to the relata?
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne]
     Full Idea: If we go for the necessity-of-origins view, A and B are different if the origin of A is different from the origin of B. But one is left with the further question 'When is the origin of A distinct from the origin of B?'
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
     A reaction: There may be an answer to this, in a regress of origins that support one another, but in the end the objection is obviously good. You can't begin to refer to an 'origin' if you can't identify anything in the first place.
Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne]
     Full Idea: Scholastics distinguished criteria of numerical difference from questions of individuation proper, since numerical difference is a symmetrical notion.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
     A reaction: This apparently old-fashioned point appears to be conclusively correct. Modern thinkers, though, aren't comfortable with proper individuation, because they don't believe in concepts like 'essence' and 'substance' that are needed for the job.
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne]
     Full Idea: There is a contemporary property construal of haecceities, ...and a Scotistic construal as primitive, 'colourless' thisnesses which, unlike singleton-set haecceities, are aimed to do some explanatory work.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.4)
     A reaction: [He associates the contemporary account with David Kaplan] I suppose I would say that individuation is done by properties, but not by some single property, so I take it that I don't believe in haecceities at all. What individuates a haecceity?
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne]
     Full Idea: We could think of 'substance' on the model of a mass noun, rather than a count noun.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.3)
     A reaction: They offer this to help Leibniz out of a mess, but I think he would be appalled. The proposal seems close to 'prime matter' in Aristotle, which never quite does the job required of it. The idea is nice, though, and should be taken seriously.
9. Objects / B. Unity of Objects / 2. Substance / c. Types of substance
We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne]
     Full Idea: In the 'blueprint' approach to substance, we confront at least three questions: What is it for a thing to be an individual substance? What is it for a thing to be the kind of substance that it is? What is it to be that very individual substance?
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.1)
     A reaction: My working view is that the answer to the first question is that substance is essence, that the second question is overrated and parasitic on the third, and that the third is the key question, and also reduces to essence.
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne]
     Full Idea: There is a widespread assumption, now and in the past, that substances are essentially substances: nothing is actually a substance but possibly a non-substance.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2)
     A reaction: It seems to me that they clearly mean, in this context, that substances are 'necessarily' substances, not that they are 'essentially' substances. I would just say that substances are essences, and leave the necessity question open.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne]
     Full Idea: The modern view of essence is that the essence of a particular thing is given by the set of predicate-functions essential to it, and the essence of any kind is given by the set of predicate-functions essential to every possible member of that kind.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.2.2)
     A reaction: Thus the modern view has elided the meanings of 'essential' and 'necessary' when talking of properties. They are said to be 'functions' from possible worlds to individuals. The old view (and mine) demands real essences, not necessary properties.
Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne]
     Full Idea: The modern essentialist gives the same metaphysical treatment to every grammatical predicate - by associating a function from worlds to extensions for each.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 2.2)
     A reaction: I take this to mean that essentialism is the view that if some predicate attaches to an object then that predicate is essential if there is an extension of that predicate in all possible worlds. In English, essential predicates are necessary predicates.
9. Objects / E. Objects over Time / 12. Origin as Essential
Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne]
     Full Idea: A necessity-of-origins approach cannot work to distinguish things that come into being genuinely ex nihilo, and cannot work to distinguish things sharing a single origin.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 7.4.1)
     A reaction: Since I am deeply suspicious of essentiality or necessity of origin (and they are not, I presume, the same thing) I like these two. Twins have always bothered me with the second case (where order of birth seems irrelevant).
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne]
     Full Idea: It might be suggested that even the extreme modal realist can countenance transworld identity for abstract objects.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 3.2.2 n46)
     A reaction: This may sound right for uncontroversial or well-defined abstracta such as numbers and circles, but even 'or' is ambiguous, and heaven knows what the transworld identity of 'democracy' is!
13. Knowledge Criteria / E. Relativism / 1. Relativism
Foucault challenges knowledge in psychology and sociology, not in the basic sciences [Foucault, by Gutting]
     Full Idea: Foucault's project is to question quite specific claims to cognitive authority, made by many psychologists and social scientists. He has not problems with other domains, such as mathematics and the basic sciences.
     From: report of Michel Foucault (works [1978]) by Gary Gutting - Foucault: a very short introduction 5
     A reaction: Nowadays we describe his target as Epistemic Injustice (see book of that title by Miranda Fricker).
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne]
     Full Idea: The philosopher comfortable with an 'order of being' has richer resources to make sense of the 'in virtue of' relation than that provided only by causal relations between states of affairs, positing in addition other sorts of explanatory relationships.
     From: Cover,J/O'Leary-Hawthorne,J (Substance and Individuation in Leibniz [1999], 1.1.2)
     A reaction: This might best be characterised as 'ontological dependence', and could be seen as a non-causal but fundamental explanatory relationship, and not one that has to depend on a theistic world view.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
Unlike Marxists, Foucault explains thought internally, without deference to conscious ideas [Foucault, by Gutting]
     Full Idea: Unlike Marxists, Foucault's project is to offer an internal account of human thinking, without assuming a privileged status for the conscious content of that thought.
     From: report of Michel Foucault (works [1978]) by Gary Gutting - Foucault: a very short introduction 4
     A reaction: His project is historical. Personally I resent anyone who claims to understand my thought better than I do. I suppose my intellectual duty is to read Foucault, and see (honestly) whether his project applies to me.
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
The author function of any text is a plurality of selves [Foucault, by Gutting]
     Full Idea: Foucault maintains that for any 'authored' text a plurality of selves fulfils the author function.
     From: report of Michel Foucault (works [1978]) by Gary Gutting - Foucault: a very short introduction 2
     A reaction: This is a completely different concept of a 'self' from the one normally found in this database. I would call it the sociological concept of self, as something changing with context. So how many selves is 'Jane Austen'?
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
Nature is not the basis of rights, but the willingness to risk death in asserting them [Foucault]
     Full Idea: The decision 'to prefer the risk of death to the certainty of having to obey' is the 'last anchor point' for any assertion of rights, 'one more solid and closer to the experience than "natural rights"'.
     From: Michel Foucault (works [1978], EW III:449)
     A reaction: I recall a group of Afrikaan men going to face certain death, rather than give up apartheid.
25. Social Practice / D. Justice / 3. Punishment / d. Reform of offenders
Power is used to create identities and ways of life for other people [Foucault, by Shorten]
     Full Idea: For Foucault power is less about repressing people or issuing commands, and more about producing identities and ways of living.
     From: report of Michel Foucault (works [1978]) by Andrew Shorten - Contemporary Political Theory 01
     A reaction: I take this to be the culmination of the Hegelian view of a person, as largely created by social circumstances rather than by biology. I'm beginning to think that Foucault may be a very important philosopher - although elusive.