Combining Texts

All the ideas for 'fragments/reports', 'The Structure of Objects' and 'Letters to Antoine Arnauld'

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


65 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
Wisdom is the science of happiness [Leibniz]
     Full Idea: Wisdom is the science of happiness.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1690.03.23)
     A reaction: That probably comes down to common sense, or Aristotle's 'phronesis'. I take wisdom to involve understanding, as well as the quest for happiness.
1. Philosophy / A. Wisdom / 2. Wise People
Wise people have fewer acts of will, because such acts are linked together [Leibniz]
     Full Idea: The wiser one is, the fewer separate acts of will one has and the more one's views and acts of will are comprehensive and linked together.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.04.12)
     A reaction: [letter to Landgrave, about Arnauld] It is unusual to find a philosopher who actually tries to analyse the nature of wisdom, instead of just paying lipservice to it. I take Leibniz to be entirely right here. He equates wisdom with rational behaviour.
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Metaphysics is geometrical, resting on non-contradiction and sufficient reason [Leibniz]
     Full Idea: I claim to give metaphysics geometric demonstrations, assuming only the principle of contradiction (or else all reasoning becomes futile), and that nothing exists without a reason, or that every truth has an a priori proof, from the concept of terms.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 XI)
     A reaction: For the last bit, see Idea 12910. This idea is the kind of huge optimism about metaphysic which got it a bad name after Kant, and in modern times. I'm optimistic about metaphysics, but certainly not about 'geometrical demonstrations' of it.
2. Reason / D. Definition / 4. Real Definition
Definitions can only be real if the item is possible [Leibniz]
     Full Idea: Definitions to my mind are real, when one knows that the thing defined is possible; otherwise they are only nominal, and one must not rely on them.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 XI)
     A reaction: It is interesting that things do not have to actual to have real definitions. For Leibniz, what is possible will exist in the mind of God. For me what is possible will exist in the potentialities of the powers of what is actual.
3. Truth / A. Truth Problems / 1. Truth
The predicate is in the subject of a true proposition [Leibniz]
     Full Idea: In a true proposition the concept of the predicate is always present in the subject.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: This sounds very like the Kantian notion of an analytic truth, but Leibniz is applying it to all truths. So Socrates must contain the predicate of running as part of his nature (or essence?), if 'Socrates runs' is to be true.
A truth is just a proposition in which the predicate is contained within the subject [Leibniz]
     Full Idea: In every true affirmative proposition, necessary or contingent, universal or particular, the concept of the predicate is in a sense included in that of the subject; the predicate is present in the subject; or else I do not know what truth is.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14)
     A reaction: Why did he qualify this with "in a sense"? This is referred to as the 'concept containment theory of truth'. This is an odd view of the subject. If the truth is 'Peter fell down stairs', we don't usually think the concept of Peter contains such things.
4. Formal Logic / G. Formal Mereology / 1. Mereology
The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki]
     Full Idea: The 'aggregative' objection to classical extensional mereology is that it assigns simply the wrong, set-like conditions of existence and spatio-temporal location to ordinary material objects.
     From: Kathrin Koslicki (The Structure of Objects [2008], 5.1)
     A reaction: [She attributes this to Kit Fine] The point is that there is more to a whole than just some parts, otherwise you could scatter the parts across the globe (or even across time) and claim that the object still existed. It's obvious really.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki]
     Full Idea: Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8)
     A reaction: [compressed]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki]
     Full Idea: 'Roses are red; therefore, roses are colored' may be necessarily truth-preserving, but it would not be classified as logically valid by standard systems of logic.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
There is no multiplicity without true units [Leibniz]
     Full Idea: There is no multiplicity without true units.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30)
     A reaction: Hence real numbers do not embody 'multiplicity'. So either they don't 'embody' anything, or they embody 'magnitudes'. Does this give two entirely different notions, of measure of multiplicity and measures of magnitude?
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Some questions concern mathematical entities, rather than whole structures [Koslicki]
     Full Idea: Those who hold that not all mathematical questions can be concerned with structural matters can point to 'why are π or e transcendental?' or 'how are the prime numbers distributed?' as questions about particular features in the domain.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.1 n6)
     A reaction: [She cites Mac Lane on this] The reply would have to be that we only have those particular notions because we have abstracted them from structures, as in deriving π for circles.
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
What is not truly one being is not truly a being either [Leibniz]
     Full Idea: What is not truly one being is not truly a being either.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Alain Badiou - Briefings on Existence 1
     A reaction: Badiou quotes this as identifying Being with the One. I say Leibniz had no concept of 'gunk', and thought everything must have a 'this' identity in order to exist, which is just the sort of thing a logician would come up with.
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
A thing 'expresses' another if they have a constant and fixed relationship [Leibniz]
     Full Idea: One thing 'expresses' another (in my terminology) when there exists a constant and fixed relationship between what can be said of one and of the other. This is the way that a perspectival projection expresses its ground-plan.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09)
     A reaction: Arnauld was puzzled by what Leibniz might mean by 'express', and it occurs to me that Leibniz was fishing for the modern concept of 'supervenience'. It also sounds a bit like the idea of 'covariance' between mind and world. Maybe he means 'function'.
8. Modes of Existence / A. Relations / 3. Structural Relations
Structures have positions, constituent types and number, and some invariable parts [Koslicki]
     Full Idea: Structures make available positions or places for objects, and place restraints on the type of constituent, and on their configuration. ...These lead to restrictions on the number of objects, and on which parts of the structure are invariable.
     From: Kathrin Koslicki (The Structure of Objects [2008], 9.6)
     A reaction: [compressed] That's a pretty good first shot at saying what a structure is, which I have so far not discovered any other writer willing to do. I take this to be an exploration of what Aristotle meant by 'form'.
8. Modes of Existence / B. Properties / 6. Categorical Properties
'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki]
     Full Idea: The 'categorical' properties are roughly those that concern what goes on in the actual world; the properties excluded from that family are the 'hypothetical' ones, which concern what goes on in other worlds.
     From: Kathrin Koslicki (The Structure of Objects [2008], 3.2.3.1)
     A reaction: The awkward guest at this little party is the 'dispositional' properties, which are held to exist in the actual world, but have implications for other worlds. I'm a fan of them.
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
A substance contains the laws of its operations, and its actions come from its own depth [Leibniz]
     Full Idea: Each indivisible substance contains in its nature the law by which the series of its operations continues, and all that has happened and will happen to it. All its actions come from its own depths, except for dependence on God.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14)
     A reaction: I take the combination of 'laws' and 'forces', which Leibniz attributes to Aristotelian essences, to be his distinctive contribution towards giving us an Aristotelian metaphysic which is suitable for modern science.
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Philosophy needs the precision of the unity given by substances [Leibniz]
     Full Idea: Philosophy cannot be better reduced to something precise, than by recognising only substances or complete beings endowed with a true unity, with different states that succeed one another; all else is phenomena, abstractions or relations.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7
     A reaction: This idea bothers me. Has the whole of modern philosophy been distorted by this yearning for 'precision'? It has put mathematicians and logicians in the driving seat. Do we only attribute unity because it suits our thinking?
I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki]
     Full Idea: My project is to put the notion of structure or form squarely back at the center of any adequate account of the notion of part, whole and object.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: Excellent. It is the fault of logicians, who presumably can't cope with such elusive and complex concepts, that we have ended up with objects as lists of things or properties, or quantifications over them.
If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki]
     Full Idea: If a whole is just a structure, we wonder how the guests could really be part of the dinner party seating structure, when the complex whole is fully exhausted by the structure that specifies the slots.
     From: Kathrin Koslicki (The Structure of Objects [2008], 4.2.2)
     A reaction: This cuts both ways. A dinner party may necessarily require guests, but the seating plan can be specified in the absence of any guests, who may never turn up. A seating plan is not a dinner party. Perhaps we have two objects here.
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
Accidental unity has degrees, from a mob to a society to a machine or organism [Leibniz]
     Full Idea: There are degrees of accidental unity, and an ordered society has more unity than a chaotic mob, and an organic body or a machine has more unity than a society.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30)
     A reaction: This immediately invites questions about the extremes. Why does the very highest degree of 'accidental unity' not achieve 'true unity'? And why cannot a very ununified aggregate have a bit of unity (as in unrestricted mereological composition)?
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
We find unity in reason, and unity in perception, but these are not true unity [Leibniz]
     Full Idea: A pair of diamonds is merely an entity of reason, and even if one of them is brought close to another, it is an entity of imagination or perception, that is to say a phenomenon; contiguity, common movement and the same end don't make substantial unity.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7
     A reaction: This invites the question of what you have to do to two objects to give them substantial unity. The distinction between unity 'of reason' and unity 'of perception' is good.
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
A body is a unified aggregate, unless it has an indivisible substance [Leibniz]
     Full Idea: One will never find a body of which it may be said that it is truly one substance, ...because entities made up by aggregation have only as much reality as exists in the constituent parts. Hence the substance of a body must be indivisible.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11)
     A reaction: Leibniz rejected atomism, and he evidently believed that pure materialists must deny the real existence of physical objects. Common sense suggests that causal bonds bestow a high degree of unity on bodies (if degrees are allowed).
Unity needs an indestructible substance, to contain everything which will happen to it [Leibniz]
     Full Idea: Substantial unity requires a complete, indivisible and naturally indestructible entity, since its concept embraces everything that is to happen to it, which cannot be found in shape or motion.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11.28/12.8)
     A reaction: Hence if a tile is due to be broken in half (Arnauld's example), it cannot have had unity in the first place. To what do we refer when we say 'the tile was broken'?
Every bodily substance must have a soul, or something analogous to a soul [Leibniz]
     Full Idea: Every bodily substance must have a soul, or at least an entelechy which is analogous to the soul.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09)
     A reaction: He routinely commits to a 'soul', and then pulls back and says it may only be an 'analogy'. He had deep doubts about his whole scheme, which emerged in the late correspondence with Des Bosses. This not monads, says Garber.
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
Aggregates don’t reduce to points, or atoms, or illusion, so must reduce to substance [Leibniz]
     Full Idea: In aggregates one must necessarily arrive either at mathematical points from which some make up extension, or at atoms (which I dismiss), or else no reality can be found in bodies, or finally one must recognises substances that possess a true unity.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2
     A reaction: Garber calls this Leibniz's Aggregate Argument. Leibniz is, of course, talking of physical aggregates which have unity. He consistently points out that a pile of logs has no unity at all. But is substance just that-which-provides-unity?
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki]
     Full Idea: That objects are compounds of matter and form yields a solution to the Problem of Constitution: the clay is merely a proper part of the statue (viz. its matter); the 'remainder' of the statue is its formal or structural components which distinguish it.
     From: Kathrin Koslicki (The Structure of Objects [2008], Info)
     A reaction: Thus philosophers have thought that it might consist of two objects because they have failed to grasp what an 'object' is. I would add that we need to mention 'essence', so that the statue can survive minor modifications. This is the solution!
Statue and clay differ in modal and temporal properties, and in constitution [Koslicki]
     Full Idea: The statue and the clay appear to differ in modal properties (such as being able to survive squashing), and temporal properties (coming into existence after the lump of clay), and in constitution (only the statue is constituted of the clay).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2)
     A reaction: I think the modal properties are the biggest problem here. You can't say a thing and its constitution are different objects, as they are necessarily connected. Structure comes into existence at t, but the structure isn't the whole object.
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki]
     Full Idea: The notion of structure or form, far from being a mysterious and causally inert invention of philosophers, lies at the very center of many scientific and other rigorous endeavours, such as mathematics, logic, linguistics, chemistry and music.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: This echoes my own belief exactly, and places Aristotle at the centre of the modern stage. Her list of subjects is intriguing, and will need a bit of thought.
9. Objects / C. Structure of Objects / 6. Constitution of an Object
There are at least six versions of constitution being identity [Koslicki]
     Full Idea: The view that constitution is identity has many versions: eliminativism (van Inwagen), identity relative to time (Gallois), identity relativized to sort (Geach), four-dimensionalism (Lewis, Sider), contingent identity (Gibbard), dominant kinds (Burke).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2 n17)
     A reaction: [she offers other names- useful footnote] Eliminativism says there is no identity. Gallois's view is Heraclitus. Geach seems to deny nature, since sorts are partly conventional. 4-D, nah! Gibbard: it could be the thing but lack its identity? Kinds wrong.
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
For three-dimensionalist parthood must be a three-place relation, including times [Koslicki]
     Full Idea: Parthood (for the three-dimensionalist) must be a three-place relation between pairs of objects and times, not the timeless two-place relation at work in the original Calculus of Individuals.
     From: Kathrin Koslicki (The Structure of Objects [2008], 2.2)
The parts may be the same type as the whole, like a building made of buildings [Koslicki]
     Full Idea: A building may be composed of proper parts which are themselves buildings; a particular pattern may be composed of proper parts which are themselves patterns (even the same pattern, on a smaller scale).
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.12)
     A reaction: This strikes me as a rather important observation, if you are (erroneously) trying to establish the identity of a thing simply by categorising its type.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki]
     Full Idea: The modern theory of parts and wholes was intended primarily to replace set theory; in this way, wholes came out looking as much like sets as they possibly could, without set theory's commitment to an infinite hierarchy of abstract objects.
     From: Kathrin Koslicki (The Structure of Objects [2008], Intro)
     A reaction: A very nice clarificatory remark, which explains well this rather baffling phenomenon of people who think there is nothing more to a whole than a pile of parts, as if a scrap heap were the same as a fleet of motor cars.
Wholes are entities distinct from their parts, and have different properties [Koslicki]
     Full Idea: A commitment to wholes is a commitment to entities that are numerically distinct from their parts (by Leibniz's Law, they don't share all of their properties - the parts typically exist, but the whole doesn't, prior to its creation).
     From: Kathrin Koslicki (The Structure of Objects [2008], 3.1)
     A reaction: Presumably in classical mereology no act of 'creation' is needed, since all the parts in the universe already form all the possible wholes into which they might combine, however bizarrely.
Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki]
     Full Idea: In my approach (as in that of Plato and Aristotle), wholes are in no way identified with parts; rather, a commitment to wholes is a commitment to entities numerically distinct from their proper parts.
     From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.11)
     A reaction: Calling the whole an 'entity' doesn't seem to capture it. She seems to think there are some extra parts, in addition to the material parts, that make something a whole. I think this might be a category mistake. A structure is an abstraction.
9. Objects / D. Essence of Objects / 1. Essences of Objects
Basic predicates give the complete concept, which then predicts all of the actions [Leibniz]
     Full Idea: Apart from those that depend on others, one must only consider together all the basic predicates in order to form the complete concept of Adam adequate to deduce from it everything that is ever to happen to him, as much as is necessary to account for it.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06)
     A reaction: This (implausibly) goes beyond mere prediction of properties. Eve's essence seems to be relevant to Adam's life. Note that the complete concept is not every predicate, but only those 'necessary' to predict the events. Cf Idea 13082.
Essences exist in the divine understanding [Leibniz]
     Full Idea: Essences exist in the divine understanding before one considers will.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: This is a sort of religious neo-platonism. The great dream seems to be that of mind-reading God, and the result is either Pythagoras (it's numbers!), or Plato (it's pure ideas!), or this (it's essences!). See D.H.Lawrence's poem on geranium and mignottes.
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Bodies need a soul (or something like it) to avoid being mere phenomena [Leibniz]
     Full Idea: Every substance is indivisible and consequently every corporeal substance must have a soul or at least an entelechy which is analogous to the soul, since otherwise bodies would be no more than phenomena.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], G II 121), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2
     A reaction: There is a large gap between having 'a soul' and having something 'analogous to a soul'. I take the analogy to be merely as originators of action. Leibniz wants to add appetite and sensation to the Aristotelian forms (but knows this is dubious!).
9. Objects / D. Essence of Objects / 10. Essence as Species
Truths about species are eternal or necessary, but individual truths concern what exists [Leibniz]
     Full Idea: The concept of a species contains only eternal or necessary truths, whereas the concept of an individual contains, regarded as possible, what in fact exists or what is related to the existence of things and to time.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06)
     A reaction: This seems to be what is behind the preference some have for kind-essences rather than individual essences. But the individual must be explained, as well as the kind. Not all tigers are identical. The two are, of course, compatible.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
If varieties of myself can be conceived of as distinct from me, then they are not me [Leibniz]
     Full Idea: I can as little conceive of different varieties of myself as of a circle whose diameters are not all of equal length. These variations would all be distinct one from another, and thus one of these varieties of myself would necessarily not be me.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05.13)
     A reaction: This seems to be, at the very least, a rejection of any idea that I could have a 'counterpart'. It is unclear, though, where he would place a version of himself who learned a new language, or who might have had, but didn't have, a haircut.
If someone's life went differently, then that would be another individual [Leibniz]
     Full Idea: If the life of some person, or something went differently than it does, nothing would stop us from saying that it would be another person, or another possible universe which God had chosen. So truly it would be another individual.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.14)
     A reaction: Plantinga quotes this as an example of 'worldbound individuals'. This sort of remark leads to people saying that Leibniz believes all properties are essential, since they assume that his notion of essence is bound up with identity. But is it?
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
I cannot think my non-existence, nor exist without being myself [Leibniz]
     Full Idea: I am assured that as long as I think, I am myself. For I cannot think that I do not exist, nor exist so that I be not myself.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05.13)
     A reaction: Elsewhere he qualifies the Cogito, but here he seems to straighforwardly endorse it.
11. Knowledge Aims / B. Certain Knowledge / 5. Cogito Critique
I can't just know myself to be a substance; I must distinguish myself from others, which is hard [Leibniz]
     Full Idea: It is not enough for understanding the nature of myself, that I feel myself to be a thinking substance, one would have to form a distinct idea of what distinguishes me from all other possible minds; but of that I have only a confused experience.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14)
     A reaction: Not a criticism I have encountered before. Does he mean that I might be two minds, or might be a multitude of minds? It seems to be Hume's problem, that you are aware of experiences, but not of the substance that unites them.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
Nothing should be taken as certain without foundations [Leibniz]
     Full Idea: Nothing should be taken as certain without foundations.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30)
     A reaction: This might leave open the option, if you were a modern 'Fallibilist', that something might lack foundations, and so not be certain, and yet still qualify as 'knowledge'. That is my view. Knowledge resides somewhere between opinion and certainty.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Nature is explained by mathematics and mechanism, but the laws rest on metaphysics [Leibniz]
     Full Idea: One must always explain nature along mathematical and mechanical lines, provided one knows that the very principles or laws of mechanics or of force do not depend upon mathematical extension alone but upon certain metaphysical reasons.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: I like this, and may even use it as the epigraph of my masterwork. Recently Stephen Hawking (physicist) has been denigrating philosophy, but I am with Leibniz on this one.
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
To fully conceive the subject is to explain the resulting predicates and events [Leibniz]
     Full Idea: Even in the most contingent truths, there is always something to be conceived in the subject which serves to explain why this predicate or event pertains to it, or why this has happened rather than not.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06)
     A reaction: The last bit, about containing what has happened, seems absurd, but the rest of it makes sense. It is just the Aristotelian essentialist view, that a full understanding of the inner subject will both explain and predict the surface properties.
15. Nature of Minds / A. Nature of Mind / 1. Mind / b. Purpose of mind
Mind is a thinking substance which can know God and eternal truths [Leibniz]
     Full Idea: Minds are substances which think, and are capable of knowing God and of discovering eternal truths.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09)
     A reaction: 'God' is there because the ability to grasp the ontological argument is seen as basic. Note a firm commitment to substance-dualism, and a rationalist commitment to the spotting of necessary truths as basic. He is not totally wrong.
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
It seems probable that animals have souls, but not consciousness [Leibniz]
     Full Idea: It appears probable that the brutes have souls, though they are without consciousness.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.12.08)
     A reaction: This will be a response to Descartes, who allowed animals sensations, but not minds or souls. Personally I cannot make head or tail of Leibniz's claim. What makes it "apparent" to him?
16. Persons / F. Free Will / 7. Compatibilism
Everything which happens is not necessary, but is certain after God chooses this universe [Leibniz]
     Full Idea: It is not the case that everything which happens is necessary; rather, everything which happens is certain after God made choice of this possible universe, whose notion contains this series of things.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05)
     A reaction: I think this distinction is best captured as 'metaphysical necessity' (Leibniz's 'necessity'), and 'natural necessity' (his 'certainty'). 'Certainty' seems a bad word, as it is either certain de dicto or de re. Is God certain, or is the thing certain?
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Concepts are what unite a proposition [Leibniz]
     Full Idea: There must always be some basis for the connexion between the terms of a proposition, and it is to be found in their concepts.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: We face the problem that bothered Russell, of the unity of the proposition. We are also led to the question of HOW our concepts connect the parts of a proposition. Do concepts have valencies? Are they incomplete, as Frege suggests?
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Beauty increases with familiarity [Leibniz]
     Full Idea: The more one is familiar with things, the more beautiful one finds them.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14)
     A reaction: This is always the reply given to those who say that science kills our sense of beauty. The first step in aesthetic life is certainly to really really pay attention to things.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
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?
22. Metaethics / C. The Good / 2. Happiness / a. Nature of happiness
Happiness is advancement towards perfection [Leibniz]
     Full Idea: Happiness, or lasting contentment, consists of continual advancement towards a greater perfection.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1690.03.23)
     A reaction: To the modern mind this smacks of the sort of hubris to which only the religious mind can aspire, but it's still rather nice. The idea of grubby little mammals approaching perfection sounds wrong, but which other animal has even thought of perfection?
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
I think the corpuscular theory, rather than forms or qualities, best explains particular phenomena [Leibniz]
     Full Idea: I still subscribe fully to the corpuscular theory in the explanation of particular phenomena; in this sphere it is of no value to speak of forms or qualities.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 14.07.1686)
     A reaction: I am puzzled by Garber's summary in Idea 12728, and a bit unclear on Leibniz's views on atoms. More needed.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki]
     Full Idea: Theoretical terms such as 'mass', 'force', 'motion', 'species' and 'phlogiston' seem to indicate that the Kripke/Putnam approach to natural kind terms is committed to an excessive amount of stability in the meaning and reference of such expressions.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.6.2)
     A reaction: This sounds right to me. The notion of 'rigid' designation gives a nice framework for modal logic, but it doesn't seem to fit the shifting patterns of scientific thought.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
Natural kinds support inductive inferences, from previous samples to the next one [Koslicki]
     Full Idea: Natural kinds are said to stand out from other classifications because they support legitimate inductive inferences ...as when we observe that past samples of copper conduct electricity and infer that the next sample will too.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.3.1)
     A reaction: A slightly more precise version of the Upanishad definition of natural kinds which I favour (Idea 8153). If you can't predict the next one from the previous one, it isn't a natural kind. You can't quite predict the next tiger from the previous one.
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki]
     Full Idea: Candidate species concepts can be intrinsic: morphological, physiological or genetic similarity; or relational: biology such as interbreeding and reproductive isolation, ecology, such as mate recognition in a niche, or phylogenetics (ancestor relations).
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1)
     A reaction: She says the relational ones are more popular, but I gather they all hit problems. See John Dupré on the hopelessness of the whole task.
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Should vernacular classifications ever be counted as natural kind terms? [Koslicki]
     Full Idea: It is controversial whether classificatory expressions from the vernacular should ever really be counted as genuine natural kind terms.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.2)
     A reaction: This is a similar confrontation between the folk and the scientific specialist as we find in folk psychology. There are good defences of folk psychology, and it looks plausible to defend the folk classifications as having priority.
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Each possible world contains its own laws, reflected in the possible individuals of that world [Leibniz]
     Full Idea: As there exist an infinite number of possible worlds, there exists also an infinite number of laws, some peculiar to one world, some to another, and each individual of any one world contains in the concept of him the laws of his world.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06)
     A reaction: Since Leibniz's metaphysics is thoroughly God-driven, he will obviously allow God to create any laws He wishes, and hence scientific essentialism seems to be rejected, even though Leibniz is keen on essences. Unless the stuff is different...
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
There are apparently no scientific laws concerning biological species [Koslicki]
     Full Idea: It has been observed that there are apparently no scientific laws concerning biological species.
     From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1)
     A reaction: The central concept of biology I take to be a 'mechanism'. and I suspect that this view of science is actually applicable in physics and chemistry, with so-called 'laws' being a merely superficial description of what is going on.
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
Motion alone is relative, but force is real, and establishes its subject [Leibniz]
     Full Idea: Motion in itself separated from force is merely relative, and one cannot establish its subject. But force is something real and absolute.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14)
     A reaction: The striking phrase here is that force enables us to 'establish its subject'. That is, force is at the heart of reality, and hence, through causal relations, individuates objects. That's how I read it.
28. God / B. Proving God / 3. Proofs of Evidence / e. Miracles
Everything, even miracles, belongs to order [Leibniz]
     Full Idea: Everything, even miracles, belongs to order.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: This is very reminiscent of Plato, for whom there was no more deeply held belief than that the cosmos is essentially orderly. Coincidences are a nice problem, if they are events with no cause.
Miracles are extraordinary operations by God, but are nevertheless part of his design [Leibniz]
     Full Idea: Miracles, or the extraordinary operations of God, none the less belong within the general order; they are in conformity with the principal designs of God, and consequently are included in the notion of this universe, which is the result of those designs.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05)
     A reaction: Some philosophers just make up things to suit themselves. What possible grounds can he have for claiming this? At best this is tautological, saying that, by definition, if anything at all happens, it must be part of God's design. Move on to Hume…
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
Immortality without memory is useless [Leibniz]
     Full Idea: Immortality without memory would be useless.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X)
     A reaction: I would say that having a mind of any sort needs memory. The question for immortality is whether it extends back to human life. See 'Wuthering Heights' (c. p90) for someone who remembers Earth as so superior to paradise that they long to return there.
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
The soul is indestructible and always self-aware [Leibniz]
     Full Idea: Not only is the soul indestructible, but it always knows itself and remains self-conscious.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11)
     A reaction: Personally I am not even self-aware during much of my sleeping hours, and I would say that I cease to be self-aware if I am totally absorbed in something on which I concentrate.
29. Religion / D. Religious Issues / 2. Immortality / c. Animal Souls
Animals have souls, but lack consciousness [Leibniz]
     Full Idea: It appears probable that animals have souls although they lack consciousness.
     From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11)
     A reaction: Personally I would say that they lack souls but have consciousness, but then I am in no better position to know the answer than Leibniz was. Arnauld asks what would happen to the souls of 100,000 silkworms if they caught fire!